Programação
-
-
A propósito do último erro lógico discutido na aula de 10/08, disponibilizo um artigo que escrevi sobre o tema, para a reflexão de vocês.
-
-
Esta ditalização melhor é uma gentileza do Estevam para nós! Agradecida!
-
Esta aula foi de exercícios sobre deduções sintáticas de teoremas do CP1I
-
Nesta aula provamos o Teorema da Dedução e vimos aplicações
-
Nesta semana retomamos exercícios exercícios sobre deduções semânticas e sintáticas no dia 7 e demos início aos seminários hitóricos no dia 9
-
Nesta semana concluímos os seminários históricos e debatemos sobre o seu significado no curso. Algumas noções metateóricas do Cálculo de Predicados de primeira ordem foram comentadas.