To Introduce students to themes, concepts, methods and results of logic that are at the basis of every discipline, in order to provide students - having any kind of background- with a deep interdisciplinary approach and an appropriate training for school teaching
Curriculum
teacher profile teaching materials
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
Mutuazione: 20410592 LM400 - INTRODUZIONE ALLA LOGICA in Matematica L-35 ABRUSCI VITO MICHELE
Programme
1. The themes of logic2. 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
Core Documentation
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018Type of delivery of the course
Classroom lessonsAttendance
in presenceType of evaluation
At the student's choice, written test or oral test. The test covers main themes of the chapters of the course, and deep contents of 4 chapters at the student's choice teacher profile teaching materials
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
Mutuazione: 20410592 LM400 - INTRODUZIONE ALLA LOGICA in Matematica L-35 ABRUSCI VITO MICHELE
Programme
1. The themes of logic2. 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
Core Documentation
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018Type of delivery of the course
Classroom lessonsAttendance
in presenceType of evaluation
At the student's choice, written test or oral test. The test covers main themes of the chapters of the course, and deep contents of 4 chapters at the student's choice