Foundations of Computing - LOGICA (2014/2015)

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 sem. dal Mar 2, 2015 al Jun 12, 2015.

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

Lesson timetable

II sem.
Day Time Type Place Note
Wednesday 8:30 AM - 11:30 AM lesson Lecture Hall I  
Friday 10:30 AM - 1:30 PM lesson Lecture Hall I  

Learning outcomes

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

Syllabus

i) The syntax and semantics of first order logic;
ii) Natural Deduction for first order logic;
iii) soundness and completeness of the system of natural deduction; i
v) logics of linear time:syntax and semantics
v) deductive systems for linear time logics
vi) branching time logics: syntax and semantics
vii) deductive systems for branching time logics

Assessment methods and criteria

Written exam.

Teaching aids

Documents