Teoria da Computação
De Wiki DAINF
(Diferença entre revisões)
(Nova página: == 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 s...) |
(→Bibliografia básica) |
||
| (8 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 == | ||
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. | 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 == | == Ementa == | ||
| Linha 10: | 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
- Código da disciplina: IF65C
- Cursos: Engenharia de Computação (5o. período) e Bacharelado em Sistemas de Informação (3o. período)
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
- 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.
