Insegnamento - Università Roma Tre

MC440 - LOGICA CLASSICA DEL PRIMO ORDINE (obiettivi)

Codice

20402328

Lingua

ITA

Tipo di attestato

Attestato di profitto

Crediti

7

Settore scientifico disciplinare

MAT/01

Ore Aula

60

Attività formativa

Attività formative caratterizzanti

Canale Unico

Docente	TORTORA DE FALCO LORENZO (programma) IL PROGRAMMA SI ARTICOLA IN DUE UNITÀ DIDATTICHE. PRIMA UNITÀ DIDATTICA (36 ORE) • DIMOSTRABILITÀ E SODDISFACIBILITÀ, TRASFORMAZIONE DELLE DIMOSTRAZIONI. • TEOREMA DI COMPATTEZZA DELLA LOGICA DEL PRIMO ORDINE. • TEOREMA DI COMPLETEZZA DELLA LOGICA DEL PRIMO ORDINE. • TEOREMA DI ELIMINAZIONE DEL TAGLIO PER LA LOGICA DEL PRIMO ORDINE. SECONDA UNITÀ DIDATTICA (36 ORE) • TEOREMA DI INCOMPLETEZZA DELLA LOGICA • RELAZIONI TRA LOGICA E COMPUTABILITÀ • RELAZIONI TRA LOGICA E ARITMETICA (testi) PRIMA PARTE DEL CORSO: VITO MICHELE ABRUSCI, LORENZO TORTORA DE FALCO: LOGICA ,VOL. 1, SPRINGER, 2014 SECONDA PARTE DEL CORSO: DISPENSE DISPONIBILI ON LINE.
Date di inizio e termine delle attività didattiche	Dal al
Modalità di frequenza	Non obbligatoria