Linguagens Formais e Teoria da Computação (2017)

Horário: Segundas e Quartas - 11:00 às 13:00

Sala 217

Programa do Curso

Critério de avaliação

Duas provas (P1 e P2) e uma verificação suplementar (VS).
Seja a média das provas (MP) = (P1+P2)/2.
Se MP ≥ 6, o aluno está aprovado.
Se MP < 4, o aluno está reprovado.
Se 4 ≤ MP < 6, o aluno deve fazer VS, ficará aprovado se VS ≥ 6 e reprovado caso contrário.

Bibliografia

Livro-texto: Harry R. Lewis e Christos H. Papadimitriou, Elementos de Teoria da Computação, 2a. ed, Bookman, 2008.
Livros complementares:
Judith L. Gersting, Fundamentos Matemáticos para a Ciência da Computação. Editora LTC, 2001.
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, 2nd. Edition, Addison Wesley, 2001.
Paulo Blauth Menezes, Linguagens Formais e Autômatos, Série livros didáticos, no. 3, Instituto de Informática da UFRGS. .
Tiarajú Asmuz Diverio, Paulo Blauth Menezes. Teoria da Computação, Série livros didáticos, no. 5, Instituto de Informática da UFRGS.

Slides de aulas

  • Conjuntos - Parte I
  • Conjuntos - Parte II
  • Conjuntos - Parte III
  • Técnicas de Demonstração
  • Indução Matemática

    • Slides do prof. P. Blauth Menezes (baseado no livro Linguagens Formais e Autômatos)
  • Aula 1
  • Aula 2
  • Aula 3
  • Aula 4
  • Aula 5
  • Aula 6
  • Aula 7
  • Aula 8
  • Aula 9

    • Datas importantes

    Data da P1: 18/10/17
    Data da P2: 11/12
    Data da VR e vista da P2: 13/12
    Data da VS: 18/12
    Vista da VS: 20/12

    Listas

  • Lista 1 (Entrega )
  • Lista 1 (Entrega opcional no dia 11/12)

    • Notas (Incluindo VR)

  • NOTAS LF