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
scheda docente
materiale didattico
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
Programma
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
Testi Adottati
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018Modalità Erogazione
Classroom lessonsModalità Frequenza
in presenceModalità Valutazione
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
scheda docente
materiale didattico
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
Programma
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
Testi Adottati
V. Michele Abrusci, LOGICA - Lezioni di primo livello, Quarta edizione, Wolters Kluwer, 2018Modalità Erogazione
Classroom lessonsModalità Frequenza
in presenceModalità Valutazione
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