Dr. E. S.

Pereira

Sumario

Introducao
Cronograma

Avaliacoes

Analise
de Computabilidade e Complexidade de
Algoritmos

Bibliografia

Professor Dr. Eduardo S. Pereira.

8 de agosto de 2016

Dr. E. S. Pereira

Dr. E. S.
Pereira

Sumario

Introducao

Introducao

Cronograma

Avaliacoes

Bibliografia

Cronograma

Avaliacoes
Bibliografia

Dr. E. S. Pereira


Introducao

Dr. E. S.
Pereira

Sumario

Sobre o Professor
Graduado em Fsica - UFSJ;

Introducao

Mestrado e Doutorado em Astrofsica - INPE;

Cronograma

Pos-Doutorado
em Astrofsica, Bolsa FAPESP, INPE;

Avaliacoes
Bibliografia

Diretor Tecnologico
(CTO) na StartUp
ReportoLive/Bustrends;
Apaixonado por desenvolvimento usando principalmente
Python;
Mais de dez artigos publicados em revistas cientficas de alto
impacto
Areas de Pesquisa: Astrofsica Computacional; Ondas
Estelar, Inteligencia

Gravitacionais; Formacao
artificial,
Engenharia Espacial,...
Dr. E. S. Pereira

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da Disciplina e Metodologia de Trabalho.
Apresentacao
do Plano de Estudo. Revisao
conceitos
Apresentacao

matematicos
fundamentais.
A Tese de Church-Turing

Maquina
de Turing e elementos de computabilidade;

Maquinas
de Turing determinsticas.
A classe de complexidade P. Linear teorema Speed-up.

Dr. E. S. Pereira

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da Disciplina e Metodologia de Trabalho.
Apresentacao
do Plano de Estudo. Revisao
conceitos
Apresentacao

matematicos
fundamentais.
A Tese de Church-Turing

Maquina
de Turing e elementos de computabilidade;

Maquinas
de Turing determinsticas.
A classe de complexidade P. Linear teorema Speed-up.

Dr. E. S. Pereira

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da Disciplina e Metodologia de Trabalho.
Apresentacao
do Plano de Estudo. Revisao
conceitos
Apresentacao

matematicos
fundamentais.
A Tese de Church-Turing

Maquina
de Turing e elementos de computabilidade;

Maquinas
de Turing determinsticas.
A classe de complexidade P. Linear teorema Speed-up.

Dr. E. S. Pereira

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da Disciplina e Metodologia de Trabalho.
Apresentacao
do Plano de Estudo. Revisao
conceitos
Apresentacao

matematicos
fundamentais.
A Tese de Church-Turing

Maquina
de Turing e elementos de computabilidade;

Maquinas
de Turing determinsticas.
A classe de complexidade P. Linear teorema Speed-up.

Dr. E. S. Pereira

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da Disciplina e Metodologia de Trabalho.
Apresentacao
do Plano de Estudo. Revisao
conceitos
Apresentacao

matematicos
fundamentais.
A Tese de Church-Turing

Maquina
de Turing e elementos de computabilidade;

Maquinas
de Turing determinsticas.
A classe de complexidade P. Linear teorema Speed-up.

Dr. E. S. Pereira

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
busca e otimizacao

Problemas de decisao,
Indecibilidade. Problemas de parada.
Enumerabilidade Recursiva. Tempo polinomial

Atividades de Avaliacao.
e complexidade em computabilidade
Otimizacao

Dr. E. S. Pereira

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
busca e otimizacao

Problemas de decisao,
Indecibilidade. Problemas de parada.
Enumerabilidade Recursiva. Tempo polinomial

Atividades de Avaliacao.
e complexidade em computabilidade
Otimizacao

Dr. E. S. Pereira

10

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
busca e otimizacao

Problemas de decisao,
Indecibilidade. Problemas de parada.
Enumerabilidade Recursiva. Tempo polinomial

Atividades de Avaliacao.
e complexidade em computabilidade
Otimizacao

Dr. E. S. Pereira

11

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
busca e otimizacao

Problemas de decisao,
Indecibilidade. Problemas de parada.
Enumerabilidade Recursiva. Tempo polinomial

Atividades de Avaliacao.
e complexidade em computabilidade
Otimizacao

Dr. E. S. Pereira

12

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
busca e otimizacao

Problemas de decisao,
Indecibilidade. Problemas de parada.
Enumerabilidade Recursiva. Tempo polinomial

Atividades de Avaliacao.
e complexidade em computabilidade
Otimizacao

Dr. E. S. Pereira

13

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
polinomiais algoritmos pseudo-polinomiais
Transformacoes
NP - Completude forte
Algoritmos polinomiais.
Reducao.
NP e NP-Completude
Diagonalizacao.

deterministica. A classe NP.

Maquina
de Turing nao
NP-Completude
PSPACE, NPSPACE,

Dr. E. S. Pereira

14

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
polinomiais algoritmos pseudo-polinomiais
Transformacoes
NP - Completude forte
Algoritmos polinomiais.
Reducao.
NP e NP-Completude
Diagonalizacao.

deterministica. A classe NP.

Maquina
de Turing nao
NP-Completude
PSPACE, NPSPACE,

Dr. E. S. Pereira

15

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
polinomiais algoritmos pseudo-polinomiais
Transformacoes
NP - Completude forte
Algoritmos polinomiais.
Reducao.
NP e NP-Completude
Diagonalizacao.

deterministica. A classe NP.

Maquina
de Turing nao
NP-Completude
PSPACE, NPSPACE,

Dr. E. S. Pereira

16

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
polinomiais algoritmos pseudo-polinomiais
Transformacoes
NP - Completude forte
Algoritmos polinomiais.
Reducao.
NP e NP-Completude
Diagonalizacao.

deterministica. A classe NP.

Maquina
de Turing nao
NP-Completude
PSPACE, NPSPACE,

Dr. E. S. Pereira

17

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
polinomiais algoritmos pseudo-polinomiais
Transformacoes
NP - Completude forte
Algoritmos polinomiais.
Reducao.
NP e NP-Completude
Diagonalizacao.

deterministica. A classe NP.

Maquina
de Turing nao
NP-Completude
PSPACE, NPSPACE,

Dr. E. S. Pereira

18

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Cronograma

de Turing
Maquina
de Turing com oraculos.
Reducao

Avaliacoes
Bibliografia

Complexidade de Espaco. Classe determinsticas de

complexidade de espaco
Linear Space compression Theorem

Fundamentos de ciencias
da computabilidade
e complexidade de computabilidade
Otimizacao

Dr. E. S. Pereira

19

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Cronograma

de Turing
Maquina
de Turing com oraculos.
Reducao

Avaliacoes
Bibliografia

Complexidade de Espaco. Classe determinsticas de

complexidade de espaco
Linear Space compression Theorem

Fundamentos de ciencias
da computabilidade
e complexidade de computabilidade
Otimizacao

Dr. E. S. Pereira

20

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Cronograma

de Turing
Maquina
de Turing com oraculos.
Reducao

Avaliacoes
Bibliografia

Complexidade de Espaco. Classe determinsticas de

complexidade de espaco
Linear Space compression Theorem

Fundamentos de ciencias
da computabilidade
e complexidade de computabilidade
Otimizacao

Dr. E. S. Pereira

21

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Cronograma

de Turing
Maquina
de Turing com oraculos.
Reducao

Avaliacoes
Bibliografia

Complexidade de Espaco. Classe determinsticas de

complexidade de espaco
Linear Space compression Theorem

Fundamentos de ciencias
da computabilidade
e complexidade de computabilidade
Otimizacao

Dr. E. S. Pereira

22

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Cronograma

de Turing
Maquina
de Turing com oraculos.
Reducao

Avaliacoes
Bibliografia

Complexidade de Espaco. Classe determinsticas de

complexidade de espaco
Linear Space compression Theorem

Fundamentos de ciencias
da computabilidade
e complexidade de computabilidade
Otimizacao

Dr. E. S. Pereira

23

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da
Algoritmos Polinomiais em linguagem de programacao

computacao
Completude e complexidade em computabilidade
Prova Escrita Oficial

Exerccios de Revisao.
Prova Substitutiva

Dr. E. S. Pereira

24

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da
Algoritmos Polinomiais em linguagem de programacao

computacao
Completude e complexidade em computabilidade
Prova Escrita Oficial

Exerccios de Revisao.
Prova Substitutiva

Dr. E. S. Pereira

25

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da
Algoritmos Polinomiais em linguagem de programacao

computacao
Completude e complexidade em computabilidade
Prova Escrita Oficial

Exerccios de Revisao.
Prova Substitutiva

Dr. E. S. Pereira

26

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da
Algoritmos Polinomiais em linguagem de programacao

computacao
Completude e complexidade em computabilidade
Prova Escrita Oficial

Exerccios de Revisao.
Prova Substitutiva

Dr. E. S. Pereira

27

Cronograma

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Cronograma
da
Algoritmos Polinomiais em linguagem de programacao

computacao
Completude e complexidade em computabilidade
Prova Escrita Oficial

Exerccios de Revisao.
Prova Substitutiva

Dr. E. S. Pereira

28


Avaliacoes

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Listas

Avaliacoes
Bibliografia

Praticas
e Seminarios
Provas

Dr. E. S. Pereira

29

Bibliografia

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes
Bibliografia

Livros Texto
SIPSER, M. Introduction to the Theory of Computation. 3.
Boston. Cengage Learning. 2013.

Dr. E. S. Pereira

30

FIM

Dr. E. S.
Pereira

Sumario

Introducao
Cronograma

Avaliacoes

Grato

Bibliografia

MUITO OBRIGADO.

Dr. E. S. Pereira

31