This module of mathematics gives to students the necessary tools for informatics and learn them how to reason.

This course covers :
- The recurrence.
- Arithmetic and theory of numbers.
- Functions and complexity.
- Theory of languages and automatons.

Individual control: coefficient 2
Synthese mark : coefficient 1