Teoria da Computação

De Wiki DAINF
(Diferença entre revisões)
(Objetivos)
(Bibliografia básica)
 
(7 edições intermediárias de um usuário não apresentadas)
Linha 1: Linha 1:
 +
== Informações ==
 +
 +
* Código da disciplina: IF65C
 +
* Cursos: [[Engenharia de Computação]] (5o. período) e [[Bacharelado em Sistemas de Informação]] (3o. período)
 +
 +
== Oferecimentos ==
 +
 +
* [[Teoria da Computação - Turma S73 - 2010.1]]
 +
 
== Objetivos ==
 
== Objetivos ==
  
Linha 7: Linha 16:
 
Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing.
 
Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing.
 
Tese de Church. Não-computabilidade. Complexidade Computacional.
 
Tese de Church. Não-computabilidade. Complexidade Computacional.
 +
 +
 +
== Bibliografia básica ==
 +
* Lewis, H.R.; Papadimitriou, C.H. "Elementos de Teoria da Computação". 2. Ed., Bookmann, 2000, 336 p. ISBN: 8573075341.
 +
* Hopcroft, J.E.; Motwani, R.; Ullman, J.D."Introdução a Teoria de Autômatos, Linguagens e Computação". Campus, 2002, 584 p., ISBN: 8535210725.
 +
* Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.
 +
 +
=== Bibibliografia Complementar ===
 +
 +
* GURARI, Eitan. '''An Introduction to the Theory of Computation'''. Computer Science Press, 1989. Disponível em: <http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html>. Acesso em: 21 junho 2010.
 +
 +
== Software ==
 +
 +
* [http://www.jflap.org/ JFLAP]
  
 
== Referências ==
 
== Referências ==
  
 
[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]
 
[http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/Teoria.htm TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner]

Edição atual tal como 18h02min de 21 de junho de 2010

Tabela de conteúdo

Informações

Oferecimentos

Objetivos

Os objetivos da disciplina Teoria da Computação são “propiciar ao aluno o conhecimento de Linguagens Formais e elementos de Teoria da Computação, bem como de suas aplicações em Engenharia de Computação”. O papel desta disciplina é o de mostrar os formalismos envolvidos nas etapas de análise léxica e sintática de linguagens, bem como os fundamentos teóricos do processo de computação e suas limitações.

Ementa

Alfabetos e Linguagens. Autômatos Finitos. Linguagens Livres de Contexto. Máquinas de Turing. Tese de Church. Não-computabilidade. Complexidade Computacional.


Bibliografia básica

  • Lewis, H.R.; Papadimitriou, C.H. "Elementos de Teoria da Computação". 2. Ed., Bookmann, 2000, 336 p. ISBN: 8573075341.
  • Hopcroft, J.E.; Motwani, R.; Ullman, J.D."Introdução a Teoria de Autômatos, Linguagens e Computação". Campus, 2002, 584 p., ISBN: 8535210725.
  • Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.

Bibibliografia Complementar

Software

Referências

TEORIA DA COMPUTAÇÃO, Prof. Celso Kaestner

Ferramentas pessoais