Logic (2015/2016)

Course code
4S00084
Name of lecturer
Matteo Cristani
Coordinator
Matteo Cristani
Number of ECTS credits allocated
6
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
II semestre dal Mar 1, 2016 al Jun 10, 2016.

Lesson timetable

II semestre
Day Time Type Place Note
Wednesday 11:30 AM - 1:30 PM lesson Lecture Hall Gino Tessari  
Friday 8:30 AM - 10:30 AM lesson Lecture Hall Gino Tessari  

Learning outcomes

Goal of the course is to provide the base of propositional and predicate calculi.

Syllabus

Propositional language: connectives, truth tables, evaluations;
Prawitz deduction systems;
Structures, relevant examples: monoids, natural numbers, graphs;
Natural deduction;
First order logic: Tarski semantics, logical consequence.

Assessment methods and criteria

Exam is written

STUDENT MODULE EVALUATION - 2015/2016