MATHEMATICAL LOGIC I
cod. 14877

Academic year 2009/10
3° year of course - First semester
Professor
Academic discipline
Logica matematica (MAT/01)
Field
A scelta dello studente
Type of training activity
Student's choice
48 hours
of face-to-face activities
6 credits
hub: PARMA
course unit
in - - -

Learning objectives

# <br />
Learning of the basic elements of first-order predicate Logic.

Prerequisites

- - -

Course unit content

<br />A calculus of sequents for the classical propositional logic. First-order languages and predicate natural deduction. <br />
<br />
Semantics. Non-contradictory sets and satisfiable sets of formulas. Various equivalent formulations of the completeness theorem and the various classical metatheorems as its corollaries. 

Full programme

- - -

Bibliography

[1] H. Enderton, A Mathematical Introduction to Logic, Academic Press 1972. <br />
<br />
[2] W. S. HATCHER, Fondamenti della matematica, Boringhieri 1973. <br />
<br />
[3] E. Mendelson, Introduzione alla logica matematica, Boringhieri 1972. <br />
<br />
[4] C. Reggiani & M. Servi, Lezioni di Logica Matematica, 1, Libreria S. Croce 2002.

Teaching methods

Oral lectures plus assignment of exercises to carry out that will then be corrected during the laboratory hours by the students in turns.

Assessment methods and criteria

- - -

Other information

- - -