ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| LOGICA | M-FIL/02 | LEZIONI | 36 |
|
Acquisizione delle conoscenze di base della logica formale contemporanea.
Achieving basic knowledge of contemporary formal logic.
Esame orale.
Oral examination
Saper usare i principali sistemi di prova.
Mastering of the main proof systems.
Esame orale.
Oral ezamination.
Nessuno
None
Nessuno
None
E' preferibile ma non indispensabile avere conoscenze logiche di base (es. esame di Istituzioni di logica).
It is advisable but not mandatory to have taken a course in basic logic.
La frequenza non è obbligatoria ma è caldamente raccomandata.
Attending classes is not mandatory but warmly suggested.
Il corso è un'introduzione alla logica del primo ordine, sia per gli aspetti sintattici che per quelli semantici, con particolare attenzione ai sistemi di prova.
The course is an introduction to first-order logic, covering both syntax and semantics of first order theories, with emphasis on proof systems.
Manuale: C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa University Press, 2017.
Più precisamente:
capitolo 1, tutto
capitolo 2, §§ 2.1-2.3
capitolo 3, §§ 3.1-3.3 e 3.6
capitolo 4, tutto
capitolo 5, §§ 5.1-5.2
capitolo 8, §§ 8.1-8.3
Varzi, et al., Logica, McGraw-Hill
Capitoli 1,2 ,8
Textbook: C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa University Press, 2017 (Italian); alternative textbooks in English will be suggested for international students.
More precisely:
chapter 1
chapter 2, §§ 2.1-2.3
chapter 3, §§ 3.1-3.3 e 3.6
chapter 4
chapter 5, §§ 5.1-5.2
chapter 8, §§ 8.1-8.3
Varzi et al. Logica, McGraw-Hill
chapters 1,2,8
Nessuna
None
Esame orale
Oral examination.
Commissione: Moriconi (presidente), Bellotti, Turbanti.
Commissione supplente: Barrotta (presidente), Moriconi, Gronda.
Examiners: Moriconi (chair), Bellotti, Turbanti.
Substitutes: Barrotta (chair), Moriconi, Gronda.
