Teoria da Computação - Turma S73 - 2010.1
De Wiki DAINF
(Diferença entre revisões)
(→Livro-base) |
(→Aulas regulares) |
||
| (19 edições intermediárias de um usuário não apresentadas) | |||
| Linha 2: | Linha 2: | ||
* Página Wiki da Disciplina: [[Teoria da Computação]] | * Página Wiki da Disciplina: [[Teoria da Computação]] | ||
| − | * Professores | + | * Moodle da Disciplina: http://moodle.dainf.ct.utfpr.edu.br/course/view.php?id=20 |
| + | * Professores: | ||
** Murilo Vicente da Silva (até maio de 2010) | ** Murilo Vicente da Silva (até maio de 2010) | ||
** [[Adolfo Neto]] (a partir de 14/06/2010) | ** [[Adolfo Neto]] (a partir de 14/06/2010) | ||
| − | |||
= Planejamento = | = Planejamento = | ||
| + | |||
| + | == Aulas regulares == | ||
* 14/06 - Visão geral de todo o assunto restante da disciplina. | * 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. | * 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 | * 05/07 - Prova 2 | ||
** 06/07 - Último dia para entrega das notas do semestre. | ** 06/07 - Último dia para entrega das notas do semestre. | ||
* 12/07 - Prova Final | * 12/07 - Prova Final | ||
| − | ** | + | ** 13/07 - Último dia para entrega das notas das provas finais. |
| + | |||
| + | == Reposição de aulas == | ||
| + | |||
| + | * 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) | ||
= Material para Estudo = | = 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. | + | * 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. | * 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! | ||
| + | * GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação, 5ª Edição, Rio de Janeiro: LTC, 2004. | ||
| + | |||
| + | |||
| + | == Vídeos == | ||
| + | |||
| + | * [http://www.youtube.com/watch?v=cYw2ewoO6c4 The LEGO Turing Machine] | ||
| + | ** [http://legoofdoom.blogspot.com/ Blog do projeto da LEGO Turing Machine] | ||
| + | |||
| + | |||
| + | === Páginas === | ||
| + | |||
| + | * [http://www.mapageweb.umontreal.ca/cousined/lego/5-machines/turing/turing.html Turing machine] | ||
| + | * [http://en.wikipedia.org/wiki/CYK_algorithm CYK algorithm] | ||
| + | * [http://en.wikipedia.org/wiki/Turing_machine Turing machine (Wikipedia)] | ||
Edição atual tal como 09h11min de 5 de julho de 2010
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)
Planejamento
Aulas regulares
- 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.
Reposição de aulas
- 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)
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>. 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.
Vídeos
