Learning objectives
Basic results of first order logic
Prerequisites
Some basic knowledge of algebra and programming
Course unit content
Standard course in Mathematical Logic.
Propositional calculus, first order logic, recursivity and computability, incompleteness.
Full programme
1) Propositional calculus
2) First order logic
3) Proof theory and completeness
4) Recursion
5) Computability
6) Decisability
7) Indecidability
Bibliography
Course notes
Course notes by A. Berarducci
Toffalori-Cintioli "Logica Matematica" McGraw-Hill (2000)
Teaching methods
Lectures
Assessment methods and criteria
Oral exam
Other information
- - -