Ementa:
Lógica Proposicional e de Quantificadores. Sistemas dedutivos naturais, axiomáticos e tableaux analíticos. Consistência, Compacidade, Completude e Correção.
Ano de Catálogo: 2023
Créditos: 4
Número mínimo de alunos: 1
Número de alunos matriculados: 74
Idioma de oferecimento: Português
Horários/Salas:
Docentes:
Reservas:
| Hora | Segunda | Terça | Quarta | Quinta | Sexta | Sábado |
|---|---|---|---|---|---|---|
| 07:00 | ||||||
| 08:00 | A - PA02 | |||||
| 09:00 | A - PA02 | |||||
| 10:00 | A - PA02 | |||||
| 11:00 | A - PA02 | |||||
| 12:00 | ||||||
| 13:00 | ||||||
| 14:00 | ||||||
| 15:00 | ||||||
| 16:00 | ||||||
| 17:00 | ||||||
| 18:00 | ||||||
| 19:00 | ||||||
| 20:00 | ||||||
| 21:00 | ||||||
| 22:00 | ||||||
| 23:00 |