Corsi di Studio in Matematica


Dal giorno 03/12/2019 e' attivo il nuovo sito del Dipartimento di Matematica e Fisica con le informazioni aggiornate all'indirizzo matematicafisica.uniroma3.it

A.A. 2022-2023



LM410 Teoremi sulla logica 1

Docente

Roberto Maieli Lorenzo Tortora de Falco

 
codice ateneo20410451
cfu/ECTS9
semestreI Semestre
anno di corsoLaurea Triennale III Anno Altri insegnamenti e Laurea Magistrale
valutazionescritto e orale
mutuato:dal CdLM in Matematica
propedeuticità:-
tipologiab (SC), b/c (LM)
SSD MAT/01
pagina web
 
Obiettivi Formativi
Acquisire buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonché dei principali risultati che la concernono.

L'insegnamento è svolto anche dal prof. Roberto Maieli