TYPE OF COURSE: COMPULSORY SUBJECTS, CHARACTERISTIC OF THE CLASS
ACADEMIC YEAR: 2013/2014
YEAR OF STUDY: 1
SEMESTER: Second semester
NUMBER OF CREDITS: 6
CONTACT HOURS: 48
INDIVIDUAL WORK HOURS: 90
Learning outcomes of the course unit
To introduce the students to the themes of formallogic.
None. Welcomed are previous exposures to Algebra, Analysis and Geometry.
Course contents summary
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.
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.
Lectures plus sessions dedicated to discussing students' questions and to solving the problems previously assigned