Mathematical logic (2020/2021)

Course code
4S001096
Name of lecturer
Peter Michael Schuster
Coordinator
Peter Michael Schuster
Number of ECTS credits allocated
6
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Language of instruction
English
Location
VERONA
Period
I semestre dal Oct 1, 2020 al Jan 29, 2021.

Lesson timetable

Go to lesson schedule

Learning outcomes

The course is intended to introduce into the interaction between syntax (formal languages and calculi) and semantics (interpretations and models) as is fundamental for abstract mathematics and theoretical informatics.