Logica matematica 2

A.A. 2020/2021
6
Crediti massimi
42
Ore totali
SSD
MAT/01
Lingua
Italiano
Obiettivi formativi
Il corso è un'introduzione alla teoria dei modelli, comprendente però qualche argomento solitamente non trattato in un corso istituzionale (categorie di algebre equazionalmente definibili, Teorema di Birkhoff, dualità di Stone).
Risultati apprendimento attesi
Competenze di base nella teoria dei modelli. Competenze più avanzate su argomenti scelti (classi equazionalmente definibili di algebre, dualità di Stone.)
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
Secondo semestre
MAT/01 - LOGICA MATEMATICA - CFU: 6
Lezioni: 42 ore
Docente: Marra Vincenzo
Docente/i
Ricevimento:
Su appuntamento
Dipartimento di Matematica "Federigo Enriques", via Cesare Saldini 50, studio 2048