Bem-vindo à página da disciplina de Informática Teórica. Disciplina do curso de graduação Licenciatura em Computação do IFPE de Afogados da Ingazeira.
Componente Curricular: Informática Teórica; Pré-requisito: IP; Carga horária total h/a: 80 Horas-aula práticas: 60; Horas-aula teóricas: 20; Créditos: 4; Co-requisito: -; Carga horária total h/r: 60
Ementa
Programas e máquinas. Autômatos; Funções recursivas. Máquina de Turing. Análise de Algoritmos. Complexidade computacional. Computabilidade.
Referências Básicas
SIPSER, Michael. Introdução à Teoria da Computação. São Paulo, SP. 2º Ed. Thomson Pioneira. 2007.
HOPCROFT, John E. Introduction to automata theory, languages, and computation. 2. ed. Boston: Addison-Wesley, 2001.
SINGH, Arindama; GRIES, David; SCHNEIDER, Fred B. Elements of computation theory. London: Springer, 2009.
Referências Complementares
T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein. Introduction to Algorithms. Cambridge, Massachusetts. 3rd edition, MIT Press, 2009.
SEBESTA, Robert W. Conceitos de linguagens de programação. 4. ed. Porto Alegre : Bookman, 2000. xii, 624 p.
Louden, Kenneth C. Compiladores – Princípios e Práticas. São Paulo SP. Edição: 1, Editora: Thomson Pioneira, 2004.
DIVERIO, Tiarajú Asmuz; MENEZES, Paulo Blauth. Teoria da computação: máquinas universais e computabilidade. Porto Alegre, Brasil. 3 Ed. Bookman. 2011.
RAMOS, Marcus Vinícius Midena; NETO, João José; VEJA, Ítalo Santiago. Linguagens formais: teoria, modelagem e implementação. Porto Alegre, Brasil. Bookman Editora, 2009.