Modules | Area | Type | Hours | Teacher(s) | |
LOGICA | M-FIL/02 | LEZIONI | 72 |
|
Acquisizione delle conoscenze di base della logica formale contemporanea.
Basic knowledge of contemporary formal logic.
Esame orale.
Oral exam.
Uso dei principali sistemi di prova.
Use of the main proof systems.
Esame orale.
Oral exam.
Nessuno.
None.
Nessuna.
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 è indispensabile.
Attending classes is not mandatory but necessary.
Il corso è un'introduzione alla logica del primo ordine, sia per gli aspetti sintattici che semantici, con particolare attenzione ai sistemi di prova.
The course is an introduction to first-order logic, covering both syntax and semantics, with emphasis on proof systems.
Manuale: C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa University Press, 2009.
Textbook: C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa University Press, 2009 (Italian).
Nessuna.
None.
Esame orale.
Oral exam.
Nessuno.
None.
Nessuna.
None.