Teaching - Università Roma Tre

LOGIC AND COMMUNICATION (objectives)

Code

20702728

Language

ITA

Type of certificate

Profit certificate

Credits

6

Scientific Disciplinary Sector Code

M-FIL/02

Contact Hours

-

Laboratory Hours

36

Type of Activity

Core compulsory activities

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 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
Dates of beginning and end of teaching activities	From to
Delivery mode	Traditional
Attendance	not mandatory
Evaluation methods	Written test