Teoria de Linguagens/Dinter
Segundo semestre/2010
- Livro texto: Introdução
aos Fundamentos da Computação, Pioneira Thomson Learning, 2006.
O livro está sendo vendido na Livraria da UFMG, Praça de Serviços.
Veja uma errata
Veja soluções dos exercícios do capítulo 1 (em um formato provisório).
Cópias dos slides:
Algumas livrarias com venda on line:
- Veja o Plano de Curso.
- As seguintes páginas podem auxiliar no aprendizado de certos conceitos:
- Veja um texto bom e conciso sobre demonstrações
de teoremas. Ele foi baixado de
http://www.math.dartmouth.edu/archive/m38s04/public_html/. Observe, particularmente, os
itens 4 e 7 da seção 3!
- Veja algumas técnicas
de prova que nunca devem ser usadas...
- Veja uma demonstração poética da indecidibilidade do
problema da parada (em PS).
- Monitoria:
- Monitor: Marcelo Gabriel Almiron
- Atendimento: via e-mail, skype ou presencialmente.
- Local: sala 3027/DCC-ICEx/UFMG
- E-mail: malmiron@dcc.ufmg.br
- Skype: malmiron.dcc.ufmg
- Provas:
- Primeira Prova:
- Data: 17/09. Adiada para 01/10
- Assunto: ítens 1.10 e 1.11; capítulo 2, com exceção do item 2.2.2 e seção 2.5.
- Valor: 26 pontos (ou 18; veja a lista preparatória).
- Veja a lista preparatória a ser entregue até o dia 17/09, antes da prova.
- Veja a solução do professor.
- Segunda Prova (uma lista de exercícios a ser liberada até o dia 08/10):
- Eis o enunciado.
- Data: entregar até 29/10. Adiada para 05/11.
- Assunto: capítulo 3.
- Valor: 27 pontos. Valor alterado para 47 pontos.
- Terceira Prova:
- Data: 19/11.
- Assunto: capítulos 4 e 5.
- Valor: 27 pontos.
- Veja a lista preparatória a ser entregue até o dia 19/11, antes da prova.
- Veja a solução do professor (já corrigida graças à Sílvia).
- Prova Suplementar (não obrigatória):
- Data: 10/12 às 10h.
- Local: sala 2016, ICEx/UFMG. Atenção: local modificado para sala 2010.
- Assunto: capítulos 2 e 5.
- Valor: 30 pontos (3 extra).
- Importante: a nota substituirá a menor dentre as notas L1+P1 e L3+P3.
- Exames de qualificação da área de Teoria de 2/2007 a 2/2010:
- Seminários
- Cancelados
- Veja suas notas.