Teaching - Università Roma Tre

MC440 - FIRST ORDER CLASSICAL LOGIC (objectives)

Code

20402118

Language

ITA

Type of certificate

Profit certificate

Credits

7

Scientific Disciplinary Sector Code

MAT/04

Contact Hours

60

Type of Activity

Core compulsory activities

Teacher	ABRUSCI VITO MICHELE (syllabus) 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 (reference books) DISPENSE DISPONIBILI ON-LINE
Dates of beginning and end of teaching activities	From to
Attendance	not mandatory

Teacher	TORTORA DE FALCO LORENZO (syllabus) 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 (reference books) DISPENSE DISPONIBILI ON-LINE
Dates of beginning and end of teaching activities	From to
Attendance	not mandatory