Ementa:
Problemas gerais de teoria da prova. Lógica sequencial. Sistemas clássicos e não clássicos. Normalização. Aplicações.
Bibliografia:
Gentzen, G. Untersuchungen uber das logische Schliessen, Mathematische Zeitschrift, 39, 176- 210, 405-431 (1935).
Girard, J. Y. ; Y. Lafont and P. Taylor. Proofs and Types, Cambridge University Press, 1989.
Takeuti, G.. ProofTheory. Second edition, North-Holland, 1987.
Prawitz, D. Natural deduction: A proof-theoretical stucly. Mineola, New York: Dover Publications (2006) [1965].
Ano de Catálogo: 2026
Créditos: 8
Número de alunos matriculados: 4
Idioma de oferecimento: Português
Tipo Oferecimento: Regular
Local Oferecimento:
Horários/Salas:
Docentes:
Reservas:
Não possui reservas.| Hora | Segunda | Terça | Quarta | Quinta | Sexta | Sábado |
|---|---|---|---|---|---|---|
| 07:00 | ||||||
| 08:00 | ||||||
| 09:00 | ||||||
| 10:00 | A - | |||||
| 11:00 | A - | |||||
| 12:00 | ||||||
| 13:00 | ||||||
| 14:00 | A - | |||||
| 15:00 | A - | |||||
| 16:00 | ||||||
| 17:00 | ||||||
| 18:00 | ||||||
| 19:00 | ||||||
| 20:00 | ||||||
| 21:00 | ||||||
| 22:00 | ||||||
| 23:00 |