Teoria da Computação - Turma S73 - 2010.1
De Wiki DAINF
(Diferença entre revisões)
(→Planejamento) |
(→Livro-base) |
||
| Linha 17: | Linha 17: | ||
** 06/07 - Último dia para entrega das notas das provas finais. | ** 06/07 - Último dia para entrega das notas das provas finais. | ||
| − | = | + | = Material para Estudo = |
| + | * KAESTNER, Celso A. A. '''Fundamentos de Teoria da Computação'''. Disponível em: <http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/apostila-linguagens-formais.pdf>. Acesso em: 18 jun. 2010. | ||
* 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. | * 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. | ||
** Disponível na biblioteca! | ** Disponível na biblioteca! | ||
Edição de 10h52min de 18 de junho de 2010
Informações
- Página Wiki da Disciplina: Teoria da Computação
- Professores
- Murilo Vicente da Silva (até maio de 2010)
- Adolfo Neto (a partir de 14/06/2010)
Planejamento
- 14/06 - Visão geral de todo o assunto restante da disciplina.
- 21/06 - Linguagens Livres de Contexto. Máquinas de Turing. Tese de Church.
- 28/06 - Não-computabilidade. Complexidade Computacional.
- 05/07 - Prova 2
- 06/07 - Último dia para entrega das notas do semestre.
- 12/07 - Prova Final
- 06/07 - Último dia para entrega das notas das provas finais.
Material para Estudo
- KAESTNER, Celso A. A. Fundamentos de Teoria da Computação. Disponível em: <http://www.dainf.ct.utfpr.edu.br/~kaestner/Teoria/apostila-linguagens-formais.pdf>. Acesso em: 18 jun. 2010.
- 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.
- Disponível na biblioteca!
