| 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 |
Fundamental methods and concepts of mathematics, especially the method of proof and the language of sets.
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
| 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 |
Written exam.
