Teoria da Computa\c c\~ao
Raul H.C. Lopes
Outline
- Fundamentos
- Indu\c c\~ao
- Conjuntos
- Sistemas formais
- Dedu\c c\~ao
- Computabilidade
- M\'aquinas turing
- L\'ogica Booleana
- L\'ogica de Primeira Ordem
- Decidibilidade
- Aut\^omatos e hierarquias de linguagens
- Complexidade
- Classes de complexidade
- Redu\c c\~oes
- P e NP
- Classe NC
- Algoritmos do m\'etodo probabil\'istico
Refer\^encias b\'asicas
-
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\'icios
Trabalhos pr\'aticos