ECTS - University of Pisa
Scheda programma d'esame
LOGIC
LUCA BELLOTTI
Academic year2020/21
CoursePHILOSOPHY AND FORMS OF KNOWLEDGE
Code227MM
Credits6
PeriodSemester 1
LanguageItalian

ModulesAreaTypeHoursTeacher(s)
LOGICA (S)M-FIL/02LEZIONI36
LUCA BELLOTTI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Acquisizione di alcune conoscenze sulla metateoria della logica del primo ordine.
Knowledge

Some knowledge of the metatheory of first-order logic.
Modalità di verifica delle conoscenze

Esame orale.
Assessment criteria of knowledge

Oral exam.
Capacità

Uso dei principali risultati.
Skills

Use of the main results.
Modalità di verifica delle capacità

Esame orale.
Assessment criteria of skills

Oral exam.
Comportamenti

Nessuno.
Behaviors

None.
Modalità di verifica dei comportamenti

Nessuna.
Assessment criteria of behaviors

None.
Prerequisiti (conoscenze iniziali)

E' preferibile avere conoscenze logiche di base.
Prerequisites

It is advisable to have taken a course in basic logic.
Corequisiti

Nessuno.
Co-requisites

None.
Prerequisiti per studi successivi

Nessuno.
Prerequisites for further study

None.
Indicazioni metodologiche

La frequenza non è obbligatoria ma è indispensabile.
Teaching methods

Attending classes is not mandatory but necessary.
Programma (contenuti dell'insegnamento)

Il corso ha per oggetto principale la dimostrazione originaria di Goedel del teorema di completezza semantica per la logica del primo ordine.
Syllabus

The course is on Goedel's original proof of the completeness theorem.
Bibliografia e materiale didattico

J. van Heijenoort, From Frege to Goedel, Harvard UP, Cambridge (Mass.) 1967. Altri testi saranno indicati durante il corso. In ogni caso, tutto il materiale necessario sarà reso disponibile online, nel rispetto del diritto d'autore.
Bibliography

J. van Heijenoort, From Frege to Goedel, Harvard UP,  Cambridge (Mass.) 1967. Other texts will be given by the instructor. All the necessary material will be available online, respecting copyright.
Indicazioni per non frequentanti

Contattare il docente per email.
Non-attending students info

Please contact the instructor by email.

 
Modalità d'esame

Esame orale.
Assessment methods

Oral exam.
Stage e tirocini

Nessuno.
Work placement

None.
Altri riferimenti web

Nessuno.
Additional web pages

None.
Note

Aula meet: https://meet.google.com/wxo-xniy-qfz

All'inizio del corso saranno date indicazioni sull'uso della piattaforma Moodle. 

Commissione: Bellotti (presidente), Moriconi, Turbanti.

Commissione supplente: Moriconi (presidente), Barrotta, Gronda.
Notes

Meet classroom: https://meet.google.com/wxo-xniy-qfz

Instructions on the use of Moodle will be given. 

Examiners: Bellotti (chair), Moriconi, Turbanti.

Substitutes: Moriconi (chair), Barrotta, Gronda.
Updated: 30/07/2020 12:26