Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'v39btt51nadrj45h15tnfokmf3' in /var/www/church/includes/database.mysql.inc on line 121
Attività formative di III livello | Gruppo di Logica e Geometria della Cognizione
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


Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'v39btt51nadrj45h15tnfokmf3' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/235', '', '18.207.255.67', 1728527277) in /var/www/church/includes/database.mysql.inc on line 121