Ensimag Rubrique Formation 2022

Introduction to Math Formalisation - 3MMIFM

  • Number of hours

    • Lectures -
    • Projects -
    • Tutorials 18.0
    • Internship -
    • Laboratory works -
    • Written tests -


    ECTS 0.0


The objective of this course is to get the students familiar with the basis of mathematical analysis, in order to facilitate their understanding of the mathematical analysis that follows in the first semester. A particular focus will be on mathematical reasoning, most results being demonstrated.




We will treat in this course notions of continuity and differentiability of functions (formula of finite increments, Taylor formula, Taylor series). Then we will focus on the study of sequences (convergence, simplified version of the fixed-point theorem). We will also give basic notions on Rieman integration. The course will conclude with an introduction to vector spaces in finite dimension (concept of bases, subspaces extra).


Scientific A-level


integrated to the first semester course on mathematical analysis


The course exists in the following branches:

  • Curriculum - Core curriculum - Semester 5
see the course schedule for 2023-2024

Additional Information

Course ID : 3MMIFM
Course language(s): FR

You can find this course among all other courses.