Insegnamento - Università Roma Tre

MC440 - LOGICA CLASSICA DEL PRIMO ORDINE (obiettivi)

Codice

20402118

Lingua

ITA

Tipo di attestato

Attestato di profitto

Crediti

7

Settore scientifico disciplinare

MAT/04

Ore Aula

60

Attività formativa

Attività formative caratterizzanti

Canale Unico

Docente	ABRUSCI VITO MICHELE (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) DISPENSE DISPONIBILI ON-LINE
Date di inizio e termine delle attività didattiche	Dal al
Modalità di frequenza	Non obbligatoria

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) DISPENSE DISPONIBILI ON-LINE
Date di inizio e termine delle attività didattiche	Dal al
Modalità di frequenza	Non obbligatoria