Teoria da Computação (Alameda)

Turma 10102 da LEIC-Alameda - 5ª feira, 11h00-13h00, sala V124

Docente: Vitor Saraiva

Sumários das aulas práticas

  1. 06Out2005 Construção de autómatos finitos deterministas. Exercícios 1.1.3 a), b); 1.1.5 a), b); 1.1.9 a); 1.1.16 a), c); 1.1.17.
  2. 13Out2005 Exercícios sobre minimizaçao e equivalência de AFD: 1.2.12 a), b); 1.2.2; 1.2.7 a), b). Breve análise de 1.2.6.
  3. 20Out2005 Exercícios sobre equivalência de AFD: 1.2.6. Exercícios sobre AFND: 1.3.5. Teste.
  4. 27Out2005 Gramáticas, expressões regulares: Exercícios 2.1.2(i), 2.1.2(ii), 2.1.3(c), 2.1.3(g), 2.1.3(j), 2.2.6(a), 3.1(a) (alguns casos), 3.3 d), e), g), j), n).
  5. 03Nov2005 Exercícios sobre autómatos finitos e expressões regulares, construção de AFND a partir de uma expressão regular: 3.12 a), b), c). Exercícios sobre Semântica da Lógica Proposicional: 1.3 f), i), b); 1.4 j) iv), s); 1.5 c) i), g).
  6. 10Nov2005 Sistema T: 2.1 a), h); 1f) e 2p) do apêndice à secção 2; 2.3 aplicado a 1.4(h)(v) e a 1.5(r). Extensão do sistema T com regras para a equivalência.
  7. 17Nov2005 Resolução do exercício 2.4 que remete para os exercícios 1.8 j) i), v), c)ii) relativo ao sistema T.
    Resolução do exercício 1.7 c) e g) relativo à semântica da Lógica de 1ª ordem.
  8. 24Nov2005 Resolução do exercício 2.14 que remete para 1.15. Exercícios sobre o Sistema R: 3.5 c), i); 3.7 a), b).
  9. 30Nov2005 (Substitui aula 1Dez) Resolução de exercícios sobre a máquina URM: 1.3(a), 1.3(b)(i), 1.3(b)(ii), 1.3(c) para aridades 1 e 2; 1.4(a), 1.4(c); 1.6(g); 1.7(p)(i).
  10. 6Dez2005 (Substitui aula 8Dez) Resolução de exercícios sobre a máquina URM: 1.6(v )(i), z) e 1.10g).
  11. 15Dez2005

Última actualização: 06 de Outubro de 2005.