IF689 - Informática Teórica

Informações gerais

Professor: Fred Freitas
E-mail: fred@cin.ufpe.br

Aluno de Mestrado: Renan Fernandes
E-mail: rlf5@cin.ufpe.br

Monitores: Ian Mateus (imvm@cin.ufpe.br) e Jailson Gomes (jjgsj@cin.ufpe.br)
Google Classroom da disciplina

Avaliações

Slides das aulas

Bibliografia

Bibliografia Básica

Introdução à Teoria da Computação, Michael Sipser, Thomson Pioneira, ISBN 8522104999, 2007. (Tradução brasileira de Introduction to the Theory of Computation, Michael Sipser, Second Edition, PWS Publishing Company, February 2005, ISBN 0-534-95097-3.)

Bibliografia Suplementar

Introdução à Teoria dos Autômatos, Linguagens e Computação, John E. Hopcroft, Rajeev Motwani e Jeffrey D. Ullman, Editora Campus, Outubro 2002, ISBN 85-352-1072-5. (Tradução brasileira de: Introduction to Automata Theory, Languages, and Computation, 2/E, Addison-Wesley, 2001, ISBN: 0-201-44124-1.

Elements of the Theory of Computation (Second Edition), Harry R. Lewis and Christos Papadimitriou, Prentice-Hall, 1998, ISBN: 0-13-262478-8.

Automata and Computability, Dexter Kozen, Springer, 1997, ISBN: 0-387-94907-0.

Computational Complexity, Christos Papadimitriou, Addison Wesley, 1994, ISBN: 0-201-53082-1.