Modules | Area | Type | Hours | Teacher(s) | |
LOGICA (S) | M-FIL/02 | LEZIONI | 36 |
|
Acquisizione di alcune conoscenze sulla metateoria della logica del primo ordine.
Some knowledge of the metatheory of first-order logic.
Esame orale.
Oral exam.
Uso dei principali risultati.
Use of the main results.
Esame orale.
Oral exam.
Nessuno.
None.
Nessuna.
None.
E' preferibile avere conoscenze logiche di base.
It is advisable 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 ad alcuni risultati fondamentali (sintattici e semantici) nella metateoria della logica del primo ordine.
The course is an introduction to some basic results (both syntactic and semantic) in the metatheory of first-order logic.
Manuale di base: C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa University Press, 2009. Altri testi in aggiunta, su risultati più avanzati, saranno indicati dal docente in itinere.
Basic textbook: C. Marletti, E. Moriconi, M. Mariani, Argomenti di Logica, Pisa University Press, 2009 (Italian). Other texts in addition, on more advanced results, will be given by the instructor during the course. For international students other textbooks will be suggested.
Nessuna.
None.
Esame orale.
Oral exam.
Nessuno.
None.
Il corso inizierà il 01/10/2018.
The course will begin on 01/10/2018.