Programação
Geral
Aulas às 3as (14h) e 6as (10h) pelo Google Meet: https://meet.google.com/fht-knqe-uqc
Plantões de monitoria às segundas e quintas 12h-13h, pelo mesmo link da aula.
1 de setembro
- Introdução ao curso
- Lógica e Monty Python - Como identificar uma bruxa (texto) (
)
- MU-puzzle
- Zebra-puzzle
4 de setembro
- Introdução à Lógica Proposicional - sintaxe
- Dedução natural, regras do e
Seções 1.1, 1.3 e início da 1.2 do livro
29 de setembro
Seção 1.4.1 do livro.Semântica da Lógica Proposicional
- Tabela verdade
- Consequência lógica