Course Topics
- Elements of logic, propositions and quantifiers, methods of mathematical proof, method of mathematical induction - Numbers and basic number theory - Set Theory, Russell Paradox and Halting Problem - Functions, infinite cardinalities and countability - Relations, orders, equivalence classes - Graphs and trees

Teaching format
The course includes frontal lectures and lab exercises.

Educational objectives
Knowledge and Understanding - D1.1: Have a solid knowledge of mathematical analysis, algebra, numerical calculus, discrete mathematics and elementary notion of logic that are in support of computer science Applying knowledge and understanding - D2.1: Be able to use the tools of mathematics and logic to solve problems. Ability to make judgments - D3.2: Be able to work autonomously according to the own level of knowledge and understanding. Communication skills - D4.1: Be able to use one of the three languages English, Italian and German, and be able to use technical terms and communication appropriately. Learning skills - D5.1: Have developed learning capabilities to pursue further studies with a high degree of autonomy.

Assessment
The written exam includes verification questions, knowledge transfer tasks, and exercises.

Evaluation criteria
Final written exam counting 100% for the evaluation and covering the full program of the course. Written exam questions will be evaluated in terms of correctness, clarity, quality of argumentation, and problem solving ability.

Required readings

Susanna Samuels Epp. Discrete Mathematics with Applications. Cengage Learning, 5th edition, 01 2019. ISBN 978-1337694193. URL: https://www.cengage.com/c/discrete-mathematics-with-applications-5e-epp/9781337694193. 

Supplementary readings

K.H. Rosen and K. Krithivasan. Discrete Mathematics and Its Applications: With Combinatorics and Graph Theory. McGraw-Hill Companies, 2012. ISBN 9780070681880. 

Further information
If the use of specific software is required, it will be communicated during class by the lecturer.