| LOGIC AND COMMUNICATION
(objectives)
TO KNOW MAIN THEMES OF LOGIC AND LOGICAL CONCEPTS WHICH ARE NECESSARY FOR A CORRECT REASONING AND AN EFFICIENT COMMUNICATION, ALSO AS AN INTRODUCTION TO THE TRAINING IN CONTEMPORARY COMPUTER SCIENCE.
|
|
Code
|
20702728 |
|
Language
|
ITA |
|
Type of certificate
|
Profit certificate
|
|
Credits
|
12
|
|
Scientific Disciplinary Sector Code
|
M-FIL/02
|
|
Contact Hours
|
72
|
|
Type of Activity
|
Core compulsory activities
|
|
Teacher
|
ABRUSCI VITO MICHELE
(syllabus)
IL PROGRAMMA SI ARTICOLA IN DUE UNITÀ DIDATTICHE.
PRIMA UNITÀ DIDATTICA (36 ORE)
A) I TEMI DELLA LOGICA
B) LOGICA CLASSICA (PROPOSIZIONI, DIMOSTRAZIONI, PRINCIPALI CONNETTIVI PROPOSIZIONALI)
C) PANORAMICA SUI TEMI DELLA SECONDA UNITÀ DIDATTICA
SECONDA UNITÀ DIDATTICA (36 ORE)
A) LOGICA CLASSICA (QUANTIFICATORI, LOGICA DEL PRIMO ORDINE, CLASSI E INSIEMI, CODICI BINARI E ALGBERA DI BOOLE)
B) MACCHINA DI TURING E CALCOLABILITÀ
C) ASSIOMATIZZAZIONE DELLA LOGICA.
(reference books)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, CEDAM, PADOVA, 2009
|
|
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)
A) I TEMI DELLA LOGICA
B) LOGICA CLASSICA (PROPOSIZIONI, DIMOSTRAZIONI, PRINCIPALI CONNETTIVI PROPOSIZIONALI)
C) PANORAMICA SUI TEMI DELLA SECONDA UNITÀ DIDATTICA
SECONDA UNITÀ DIDATTICA (36 ORE)
A) LOGICA CLASSICA (QUANTIFICATORI, LOGICA DEL PRIMO ORDINE, CLASSI E INSIEMI, CODICI BINARI E ALGBERA DI BOOLE)
B) MACCHINA DI TURING E CALCOLABILITÀ
C) ASSIOMATIZZAZIONE DELLA LOGICA.
(reference books)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, CEDAM, PADOVA, 2009
|
|
Dates of beginning and end of teaching activities
|
From to |
|
Attendance
|
not mandatory
|
|
|
Università Roma Tre