Componente Curricular: Informática Teórica
Pré-requisito: IP
Carga horária total h/a: 80
Horas-aula práticas: 60 *
Créditos: 4
Co-requisito: –
Horas-aula teóricas: 20*
Carga Horária total h/r: 60
*Serão 80 h/a de teoria.
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.
Aulas
- Aula 01
- Aula 02
- Aula 03
- Aula 04
- Aula 05
- Aula 06
- Aula 07
- Aula 08
- Aula 09