Vai al contenuto principale Vai al footer
Università degli Studi di Parma Università degli Studi di Parma
Degree course in
Mathematics
Università degli Studi di Parma
Department of Mathematical, Physical and Computer Sciences

MATHEMATICAL LOGIC
cod. 1005720

Academic year 2014/15
3° year of course - Second semester
Professor
Academic discipline
Logica matematica (MAT/01)
Field
A scelta dello studente
Type of training activity
Student's choice
56 hours
of face-to-face activities
6 credits
hub: PARMA
course unit
in - - -
lectures timetable unavailable
exam calls
Print

Learning objectives

- - -

Prerequisites

None. A basic knowledge of some programming language and some familiarity with mathematical structures (groups, rings, fields) are useful.

Course unit content

"Standard" course on mathematical logic: First Order Logic and Recursion Theory

Full programme

Propositional calculus, First Order Logic, Deduction and completeness, Recursion, Computability, Dedidability, Indecidability

Bibliography

A. Fornasiero. Notes of the course on Mathematical Logic. Parma 2015.

A. Berarducci.
"Logica Matematica" course notes.
Part I and II.

C. Toffalori, P. Cintioli.
Logica matematica, McGraw-Hill, 2000.


G. Lolli.
Lezioni di logica matematica, Boringhieri, 1978.

H.B. Enderton.
A mathematical introduction to logic, Academic Press, 1972.

Teaching methods

- - -

Assessment methods and criteria

Oral Exam

Other information

Course homepage, with the course notes: http://www.dm.unipi.it/~fornasiero/teaching/logica_Parma15/index.html