Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

Introduction to Math Formalisation - 3MMIFM

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Number of hours

    • Lectures : -
    • Tutorials : 18.0
    • Laboratory works : -
    • Projects : -
    • Internship : -
    • Written tests : -
    ECTS : 0.0
  • Officials : Sylvain MEIGNEN

Goals

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.

Content

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).

Prerequisites

Scientific A-level

Tests

integrated to the first semester course on mathematical analysis

Calendar

The course exists in the following branches:

  • Curriculum - Core curriculum - Semester 5
see the course schedule for 2020-2021

Additional Information

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

You can find this course among all other courses.

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

Date of update January 15, 2017

Université Grenoble Alpes