Foundations of mathematics I (2009/2010)

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
2nd Semester dal Mar 1, 2010 al Jun 15, 2010.

Lesson timetable

2nd Semester
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.