Foundations of mathematics I (2020/2021)

Course code
4S02752
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
Italian
Location
VERONA
Period
I semestre dal Oct 1, 2020 al Jan 29, 2021.

Lesson timetable

Go to lesson schedule

Learning outcomes

The course is an introduction into the fundamental methods and concepts of mathematics, especially into the method of proof and the language of sets.

At the end of the course the student will be expected to demonstrate that s/he has attained adequate skills in synthesis and abstraction, as well as the ability to recognize and produce rigorous proofs and to formalize and solve moderately difficult problems related to the topics of the course.