Teoria da Computação
Raul H.C. Lopes
Outline
- Fundamentos
- Indução
- Conjuntos
- Sistemas formais
- Dedução
- Computabilidade
- Máquinas turing
- Lógica Booleana
- Lógica de Primeira Ordem
- Decidibilidade
- Autômatos e hierarquias de linguagens
- Complexidade
- Classes de complexidade
- Reduções
- P e NP
- Classe NC
- Algoritmos do método probabilístico
Referências básicas
-
Introduction to Metamathematics
Stephen C. Kleene
-
Foundations of Mathematical Logic
Haskell B. Curry
-
Introduction to Automata Theory, Languages, and Computation
John E. Hopcroft, Rajeev Motwani, Jeffreu D. Ullman
-
Computational Complexity
Christos H.Papadimitriou
-
Algorithmic Information Theory
Gregory J. Chaitin
Links de interesse
Ferramentas
Notas de Aula
Exercícios
Trabalhos práticos