Foundations of Computing - LOGICA (2013/2014)

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 3, 2014 al Jun 13, 2014.

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  
Friday 8:30 AM - 11:30 AM 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:
-propositions and connectives
-semantics
-natural deduction
-soundness and completeness
2)Predicate logics:
-quantifiers
-structures
-similarity types
-semantics
-identity
-natural deduction
-soundness and completeness
3)basic model theory
4)Intuitionistic logic:
-propositional and predicate intuitionistic logics
-kripke semantics;
5) Incompleteness;
6)Normalization

Reference books
Author Title Publisher Year ISBN Note
Andrea Asperti, Agata Ciabattoni Logica a Informatica McGraw-Hill 2007
Dirk van Dalen Logic and Structure (Edizione 4) Springer-Verlag 2004 3540208798

Assessment methods and criteria

Written exam.

Teaching aids

Documents