Sumários
Prática #10
28 novembro 2008, 11:00 • Ricardo Joao Rodrigues Goncalves
Indecidibilidade: exercícios 8 a), h), i), q), r).
Prática #10
27 novembro 2008, 11:00 • Ricardo Joao Rodrigues Goncalves
Indecidibilidade: exercícios 8 a), h), i), q), r).
Aula Teórica 20
27 novembro 2008, 09:30 • Maria Paula Antunes Abrantes Gouveia
Lógica: motivação. Constituintes de uma lógica: sintaxe, semântica e sistemas dedutivos. Lógica de 1a ordem: sintaxe. Semântica do fragmento proposicional da lógica de 1a ordem: valoração; extensão de valoração a fórmulas proposicionais.
Prática #10
26 novembro 2008, 14:00 • Ricardo Joao Rodrigues Goncalves
Indecidibilidade: exercícios 8 a), h), i), q), r).
Prática #10
26 novembro 2008, 14:00 • Antonio Maria Alarcao Ravara
Indecidibilidade: exercícios 8 a), h), i), q), r).