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.
teacher profile teaching materials
First part (36 hours)
A) The themes of logic
B) Classical Logic: propositions, proofs, main propositional connectives, quantifiers
Second part (36 hours)
A) Classical logic: first-order logic, classes and sets, binary codes, boolean algebra)
B) Turing machine and computability
C) Axiomatization of logic
Programme
The program is subdivided in two parts.First part (36 hours)
A) The themes of logic
B) Classical Logic: propositions, proofs, main propositional connectives, quantifiers
Second part (36 hours)
A) Classical logic: first-order logic, classes and sets, binary codes, boolean algebra)
B) Turing machine and computability
C) Axiomatization of logic
Core Documentation
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, Wolters Kluwer Italia, 2018Type of delivery of the course
Six hours of lessons per week.Type of evaluation
Ten mandatory and two optional questions.