Sumários
Aula Teórica 18
19 dezembro 2006, 10:00 • Maria Paula Antunes Abrantes Gouveia
Lógica: motivação. Linguagem de 1a ordem. Semântica do fragmento proposicional: valorações, satisfação de fórmula por valoração, fórmulas possíveis, contraditórias e válidas, consequência semântica. Exemplos.
Computabilidade e Teste 3
14 dezembro 2006, 11:30 • Ricardo Joao Rodrigues Goncalves
Revisões de computabilidade. Teste 3.
Aula Teórica 17
14 dezembro 2006, 10:00 • Maria Paula Antunes Abrantes Gouveia
Prova da existência de uma função total não computável. Prova da existência de um conjunto não decidível (o cj das expressões Mathematica cuja avaliação termina). Referência à não decidibilidade dos problemas da paragem, da escrita e da equivalência. Teorema de Rice. Referência à existência de vírus.
Computabilidade e Teste 3
12 dezembro 2006, 11:30 • Ricardo Joao Rodrigues Goncalves
Revisões de computabilidade. Teste 3.
Aula Teórica 16
12 dezembro 2006, 10:00 • Maria Paula Antunes Abrantes Gouveia
Conclusão da aula anterior. Enumeração efectiva do conjunto das expressões Mathematica.