Skip to main content
CODE 90705
ACADEMIC YEAR 2016/2017
CREDITS
SCIENTIFIC DISCIPLINARY SECTOR MAT/01
LANGUAGE Italiano
TEACHING LOCATION
SEMESTER 2° Semester
TEACHING MATERIALS AULAWEB

OVERVIEW

Language: Italian

AIMS AND CONTENT

TEACHING METHODS

Teaching style: In presence

SYLLABUS/CONTENT

Logic for the mathematical practice. Formal theories and the deduction calculi.

Type theory. The problem of consistency. First order number theory. Recursive functions. The incompleteness theorems.

Hilbert tenth problem and its solution.

RECOMMENDED READING/BIBLIOGRAPHY

Course notes.

TEACHERS AND EXAM BOARD

Exam Board

GIUSEPPE ROSOLINI (President)

MARCO BORGA

LESSONS

LESSONS START

February 27, 2017

Class schedule

MATHEMATICAL LOGIC 1

EXAMS

Exam schedule

Data appello Orario Luogo Degree type Note
05/06/2017 09:00 GENOVA Orale
29/06/2017 09:00 GENOVA Orale
20/07/2017 09:00 GENOVA Orale
04/09/2017 09:00 GENOVA Orale
20/09/2017 09:00 GENOVA Orale