Tabela de conteúdo

Informações

Página Wiki da Disciplina: Teoria da Computação
Moodle da Disciplina: http://moodle.dainf.ct.utfpr.edu.br/course/view.php?id=20
Professores:
- Murilo Vicente da Silva (até maio de 2010)
- Adolfo Neto (a partir de 14/06/2010)

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.
- LLC e MTs: estudar por (KAESTNER, 2009).
- Aprender a representar LLCs e MTs usando JFlap.
- Tese de Church: estudar pelo capítulo 3 de (SIPSER, 2007).
01/07 - Não-computabilidade. Complexidade Computacional.
05/07 - Prova 2
- 06/07 - Último dia para entrega das notas do semestre.
12/07 - Prova Final
- 13/07 - Último dia para entrega das notas das provas finais.

Segunda: 15h50-17h30 (2)
- Aula: S73.2009.1
Terça: 10h20-12h00 (2), 15h50-17h30 (2)
Quarta: 8h20-10h00 (2), 13h00-15h30 (3)
Quinta: 8h20-12h00 (4), 14h40-17h30 (3)
Sexta: 8h20-12h00 (4), 14h40-17h30 (3)

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>. UTFPR: 2009. Acesso em: 18 jun. 2010.
Sipser, Michael. “Introdução à Teoria da Computação”. Thomson Pioneira, 2007, 502 p. ISBN: 9788522104994.
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!
GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação, 5ª Edição, Rio de Janeiro: LTC, 2004.