UE Mathematics for computer science

The objective of this course is to provide the basis
This way, every student can use the adequate mathematical tools for designing well-founded reasoning and prove properties.
More precisely, the content is the following: 
Overview of proving techniques, Induction, Counting, Basics on enumeration and combinatorics
, Divisibility, Discrete structures and graphs, Probability, Modeling and classical laws, Random walks.