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

• Isabelle: Provador de Teoremas
• PVS: Provador de Teoremas
• Implementação do Haskell

Notas de Aula

• Exercício Básico em Indução

Exercícios

• Ensaio de prova

Trabalhos práticos