Home

Attività formative di III livello

Elenco delle attività formative istituzionali di terzo livello e programma di ciascun corso.

Attività di III livello
(normalmente nella laurea magistrale, con prerequisiti di II livello)
Nuovo ordinamento
Disciplina Settore CFU / ECTS CdS Anno* Sem. Docente
* : L = laurea triennale; M = laurea magistrale
Teoria assiomatica degli insiemi MAT/01 6 Scienze filosofiche M1 I Tortora
Logica matematica MAT/01 12 Teorie della comunicazione M2 II Abrusci


Contenuti dei corsi

Teoria assiomatica degli insiemi

Programma:

  1. Introduzione. Assiomi di Zermelo-Fraenkel
  2. Ordinali
  3. Assioma di scelta
  4. Cardinali
  5. Assioma di fondazione
  6. Modelli e dimostrazioni di non-contraddittorietà


Logica matematica: Logica lineare

Programma:

  1. Dalla logica classica alla logica lineare
  2. Invarianti della riduzione del taglio e costruttività
  3. Geometria delle dimostrazioni e dell’interazione
  4. Sviluppi ed applicazioni della logica lineare