Foundations of mathematics I (2016/2017)

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 sem. dal Oct 3, 2016 al Jan 31, 2017.

Lesson timetable

I sem.
Day Time Type Place Note
Tuesday 8:30 AM - 11:30 AM lesson Lecture Hall E from Oct 11, 2016  to Jan 31, 2017
Wednesday 1:30 PM - 4:30 PM lesson Lecture Hall C from Nov 23, 2016  to Dec 21, 2016

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.

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 Testo disponibile dall'autore sotto Creative Commons: https://www.math.vt.edu/people/day/ProofsBook/IPaMV.pdf
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

Single written exam with open questions and grades out of 30. The exam modalities are equal for attending and non-attending students.

Student opinions - 2015/2016


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

Data from AA 2016/2017 are not available yet