| TEOREMI SULLA LOGICA, 2
(objectives)
The aim is to further study logic, through the main theorems established in the first half of last century
|
|
Code
|
20710122 |
|
Language
|
ITA |
|
Type of certificate
|
Profit certificate
|
|
Credits
|
6
|
|
Scientific Disciplinary Sector Code
|
MAT/01
|
|
Contact Hours
|
36
|
|
Type of Activity
|
Core compulsory activities
|
|
Teacher
|
TORTORA DE FALCO LORENZO
(syllabus)
Applications of compactness theorem, Löwenheim-Skolem theorems. Recursion and decidability, completeness and decidability of a theory, examples. Peano arithmetic and Godel's incompleteness theorems.
(reference books)
Lecture notes
|
|
Dates of beginning and end of teaching activities
|
From 01/10/2015 to 20/12/2015 |
|
Delivery mode
|
Traditional
|
|
Attendance
|
not mandatory
|
|
Evaluation methods
|
Written test
Oral exam
|
|
|
Università Roma Tre