Ementa:
Estudo da estrutura de teorias básicas da matemática, viz teoria de números ou de conjuntos, do ponto de vista metalógico.
Bibliografia:
J.L. Bell. Toposes and Local Set theories: An Introduction. Oxford University Press, 1988.
M.E. Coniglio.On Categorial Combination of Logics. In: Abstract Consequence and Logics: Essays in Honor
of Edelcio G. de Souza, pp. 135-171. Ed.: A. Costa-Leite. Volume 42 of Tribute Series, College Publications,
London, 2020.
M.E. Coniglio, A. Figallo-Orellano and A. C. Golzio. Non-deterministic algebraization of logics by swap
structures. Logic Journal of the IGPL 28, n. 5: 1021-1059, 2020.
M.E. Coniglio and G.V. Toledo. Weakly Free Multialgebras. Bulletin of the Section of Logic, 2021. First
published online: August 23, 2021.
Ano de Catálogo: 2026
Créditos: 8
Número de alunos matriculados: 5
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 | A - | |||||
| 09:00 | A - | |||||
| 10:00 | A - | |||||
| 11:00 | A - | |||||
| 12:00 | ||||||
| 13:00 | ||||||
| 14:00 | ||||||
| 15:00 | ||||||
| 16:00 | ||||||
| 17:00 | ||||||
| 18:00 | ||||||
| 19:00 | ||||||
| 20:00 | ||||||
| 21:00 | ||||||
| 22:00 | ||||||
| 23:00 |