MATHEMATICAL LOGIC
cod. 00662

Academic year 2015/16
3° year of course - Second semester
Professor
Academic discipline
Logica matematica (MAT/01)
Field
Attività formative affini o integrative
Type of training activity
Related/supplementary
56 hours
of face-to-face activities
6 credits
hub: PARMA
course unit
in - - -

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

- - -