Catalogue des formations

Diplômes intégrant cet élément pédagogique :

• Master Informatique

Descriptif

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.

Informations complémentaires

Méthode d'enseignement : En présence
Lieu(x) : Grenoble
Langue(s) : Anglais