Foundations of mathematics I (2015/2016)

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
Period
I semestre dal Oct 1, 2015 al Jan 29, 2016.

Lesson timetable

I semestre
Day Time Type Place Note
Tuesday 8:30 AM - 11:30 AM lesson Lecture Hall E  
Thursday 11:30 AM - 1:30 PM lesson Lecture Hall E  

Learning outcomes

Fundamental methods and concepts of mathematics, especially the method of proof and the language of sets.

Syllabus

Propositions and predicates
Connectives and quantifiers
Sets, elements, subsets
The axiomatic-deductive method
Mathematical terminology
Proof techniques
Relations and functions
Families and sequences
The Peano axioms
Number systems
Transfinite methods

Reference books
Author Title Publisher Year ISBN Note
Day, Martin An Introduction to Proofs and the Mathematical Vernacular. 2015 https://www.math.vt.edu/people/day/ProofsBook/IPaMV.pdf Testo disponibile dall'autore sotto Creative Commons.
Velleman, Daniel J. How to Prove It: A Structured Approach (Edizione 2) Cambridge University Press 2006 978-0-521-67599-4
Cantini, Andrea & Minari, Pierluigi Introduzione alla logica : linguaggio, significato, argomentazione. (Edizione 1) Le Monnier 2009 978-88-00-86098-7
Halmos, Paul Teoria elementare degli insiemi (Edizione 4) Feltrinelli 1981

Assessment methods and criteria

Written exam.

Student opinions - 2015/2016


Statistics about transparency requirements (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistics
Outcomes Exams Outcomes Percentages Average Standard Deviation
Positive 78.43% 24 3
Rejected 7.84%
Absent 10.78%
Ritirati 2.94%
Canceled --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
1.2% 8.7% 8.7% 6.2% 3.7% 11.2% 5.0% 17.5% 8.7% 7.5% 10.0% 7.5% 1.2% 2.5%

Data from AA 2015/2016 based on 102 students. I valori in percentuale sono arrotondati al numero intero più vicino.