Logica algebrica e categoriale
A.A. 2026/2027
Obiettivi formativi
Il corso è un'introduzione agli aspetti algebrici e categoriali della logica, tra cui la costruzione di Lindenbaum-Tarski, la teoria della rappresentazione algebrica, la logica interna di una dottrina/categoria, e le categorie sintattiche. Teoremi di completezza (concettuale) per varie logiche saranno studiati dal punto di vista algebrico e categoriale. Il corso presenta metodi e strumenti sufficientemente generali per lo studio di questi concetti in un quadro uniforme.
Risultati apprendimento attesi
Comprensione degli strumenti fondamentali della logica algebrica e categoriale; acquisizione di competenze specifiche su logiche proposizionali e del primo ordine, classiche e non classiche.
Periodo: Primo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
Edizione unica
Responsabile
Periodo
Primo semestre
Docente/i
Ricevimento:
Su appuntamento
Dipartimento di matematica - ufficio 2090