Teacher
|
ABRUSCI VITO MICHELE
(syllabus)
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
(reference books)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, Wolters Kluwer Italia, 2018
|