Foundations of Computing - LOGICA (2012/2013)

Course code
4S02789
Name of lecturer
Andrea Masini
Number of ECTS credits allocated
6
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
II semestre dal Mar 4, 2013 al Jun 14, 2013.

To show the organization of the course that includes this module, follow this link * Course organization

Lesson timetable

II semestre
Day Time Type Place Note
Wednesday 10:30 AM - 1:30 PM lesson Lecture Hall I  
Thursday 2:30 PM - 4:30 PM lesson Lecture Hall I  

Learning outcomes

The course aims to introduce mathematical logic. The main semantical and syntactical methods for first order logic will be introduced.

Syllabus

1) Propositional logic:
Syntax and semantics; Hilbert deductive systems.
Soundness and completeness.
__________
2) First order logics:
connectives, variables, quantifiers. Tarski semantics of first order language.
Hilbert deductive systems. Soundness and completeness. Compactness.
__________
3) Topics in proof theory:
The sequent calculus LK. Cut elimination. Subformula property. Consistency of predicate logics.
__________
4) Formalization of mathematical structures.

Reference books
Author Title Publisher Year ISBN Note
Andrea Asperti, Agata Ciabattoni Logica a Informatica McGraw-Hill 2007

Assessment methods and criteria

Written exam.

Teaching aids

Documents