Complements of Logic

Complements of Logic

AF monodisc.
Course details
Academic year: 
2014/2015
Available in academic year: 
2014/2015
Type of course: 
Characteristic of the class
Department/structure: 
Second cycle degree (Laurea Magistrale) in MATHEMATICS
Scientific-disciplinary sector: 
LOGICA MATEMATICA (MAT/01)
Credits: 
9
Course year: 
1
Teaching staff: 
MONTAGNA FRANCO
Semester: 
First Semester
Hours of lectures: 
72
Hours of self study: 
135
Requirements: 

The students should know some basic logical concepts as Naive set theory, Tarski’s semantics and at least one proof system for classical predicate logic, the completeness theorem and the compactness theorem for classical first-order logic. Knowledge of some basic algebra would be also helpful.