Mathematics | University of Parma

Professor
Academic discipline: Logica matematica (MAT/01)
Field: Formazione teorica avanzata
Type of training activity: Characterising

48 hours
of face-to-face activities

6 credits

hub: PARMA

course unit
in - - -

lectures timetable unavailable

exam calls

Learning objectives

To introduce the students to the themes of formallogic.

Prerequisites

None. Welcomed are previous exposures to Algebra, Analysis and Geometry.

Course unit content

A bsic approach to first order Logic. The following themes will be discussed: Mporphology (wff and sentences), Semantics, Sintax (sequents, deductive operator and formal theorems) and classical metatheorems (General Validity and Completeness, Loewenheim-Skolem for denumerable languages, Compactness). Some lectures will be devoted to the foromalization of reasoning in the presence of incomplete or time-sensitive knowledge.

Full programme

- - -

Bibliography

1) H. Enderton, A Mathematical Introduction to Logic, A. P. 1972,
2)G. Fischer Servi, Quando l'eccezione è la regola, McGraw-Hill 2001,
3) E. Mendelson, Introduzione alla Logica Matematica, Boringhieri 1972,
4) C. Reggiani & M. Servi,Lezioni di Logica del 1° ordine (dispense), Parma 2013,
5) A. Thyse (ed.), From Modal Logicto Deductive Databases, Wiley & Sons 1989.

Teaching methods

Lectures plus sessions dedicated to discussing students' questions and to solving the problems previously assigned

Assessment methods and criteria

A final oral exam.

Other information