Derived from
|
20702728 LOGIC AND COMMUNICATION in COMMUNICATION STUDIES L-20 N0 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 LOGC : 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, 2016
|