|
Derived from
|
20410592 LM400 - INTRODUZIONE ALLA LOGICA in Mathematics L-35 ABRUSCI VITO MICHELE
(syllabus)
1. The themes of logic
2. Classical logic: propositions, proofs
3. Classical logic: connectives
4. Classical logic: types, variables, quantifiers
5. First-order Classical logic
6. Classes and sets
7. Codes, digits, Boolean algebra
8. Turing Machine
9. Axiomatization and formalization of first-order classical logic
10. Logic and other disciplines
(reference books)
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018
|
Università Roma Tre