Elementos de Teoria da Computação

Explore os fundamentos: autômatos, gramáticas, máquinas de Turing, computabilidade, reduções e complexidade (P, NP, NP‑completude).

Começar

Quiz de Revisão

Teste seu entendimento com questões de múltipla escolha.

Referências

  • Harry R. Lewis, Christos H. Papadimitriou. Elementos de Teoria da Computação.
  • Michael Sipser. Introduction to the Theory of Computation.
  • Richard M. Karp. Reducibility among combinatorial problems.
  • Stephen Cook. The complexity of theorem-proving procedures.