Foundations of mathematics I (2010/2011)

Course code
4S02752
Name of lecturer
Ruggero Ferro
Coordinator
Ruggero Ferro
Number of ECTS credits allocated
6
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Language of instruction
Italian
Location
VERONA
Period
II semestre dal Mar 1, 2011 al Jun 15, 2011.

Lesson timetable

II semestre
Day Time Type Place Note
Tuesday 4:30 PM - 6:30 PM lesson Lecture Hall E  
Thursday 4:30 PM - 6:30 PM lesson Lecture Hall E  

Learning outcomes

To develop a critical a conscious attitude towards the mathematical notions. To give meaning to the fundamental mathematical notions, analyzing which problems they are meant to face.

Syllabus

Difficulties in stating the mathematical notions. Sets. Relations and functions. Natural numbers and induction. Integer and rational numbers. Infinite sets. Real numbers. Ordinals and cardinals. Structures and language. The notion of a computational system.

Assessment methods and criteria

Open questions written test, and possible oral integration.