Programação final - Lógica

Olá para todos.

Abaixo, o calendário das aulas de Lógica.

Dias 19/20 e 26/27 de novembro: aula normal
Finalização do programa:
Tablôs para lógica de predicados
Indecidibilidade do cálculo de predicados
Mortari pp. 210 a 225 + Apostila complementar (que será disponibilizada em breve).


Dias 3/4 de dezembro
Segunda prova - toda a matéria, especialmente:
Conseqüência lógica no cálculo de predicados
Fórmulas válidas do cálculo de predicados
Decidibilidade do cálculo sentencial vs. indecidibilidade do cálculo de predicados
Tablôs para cálculo de predicados

Dias 10/11 de dezembro
Prova de segunda chamada.

A prova de segunda chama substitui apenas uma prova. Não é possível fazer segunda chamada para as duas provas.
Somente poderão fazer segunda chamada os alunos que justificarem a ausência da prova que não compareceram.

Abraços Rubro-Negros