Olá para todos.
Esta semana entraremos na parte do curso sobre lógica de primeira ordem.
Na aula do dia 22/10, segunda-feira, faremos uma revisão da sintaxe e
semântica. Além disso, veremos tablôs e dedução natural para LPO.
As apostilas estão na pasta do Dropbox. Vejam também os respectivos
capítulos do Hunter.
Abraços
Nenhum comentário:
Postar um comentário