MINF0201 - Mathématiques pour l'Informatique 1 : analyse, algèbre

Retour au parcours Retour à la liste des EC
  • Équipe pédagogique

    • Responsables

    • LAFOLIE David (Responsable)
    • Intervenants

    • LAFOLIE David
    • ROUYER Julien
      Département : Informatique (UFR SEN)
  • Volume horaire

  • Nature CMTD Total
    Durée 18h36h54h
  • Modalités de contrôle des connaissances (MCC)

  • Epreuves Nature DSDSTEET Total
    Durée 1h301h302h
    Cas général 1ère session 5050 100%
    2nd session 100 100%
    Dispense contrôle continu 1ère session 100 100%
    2nd session 100 100%
  • Modalités de contrôle des connaissances (MCC)

  • Cas général

  • Nature Durée 1ère session 2ème session
    DS 1h30 50% 0%
    DST 1h30 50% 0%
    EET 2h 0% 100%
  • Dispense contrôle continu

  • Nature Durée 1ère session 2ème session
    DST 1h30 100% 0%
    EET 2h 0% 100%
  • Objectifs

  • - Définir les notions de base de l'analyse. Apprendre à démontrer un résultat simple en analyse
    - Maîtriser les bases de l'algèbre linéaire
  • Compétences spécifiques visées

  • - Principales notions de base d'analyse et d'algèbre linéaire
  • Compétences générales visées

  • - Compréhension des bases mathématiques nécessaires aux études en Informatique
  • Programme

    • Analyse :
      • Suites numériques, notion de limite d'une suite
      • Limite d'une fonction numérique, formes indéterminées.
      • Continuité d'une fonction numérique en un point ; continuité sur un intervalle, théorème des valeurs intermédiaires, fonctions continues sur un segment.
      • Dérivabilité d'une fonction numérique, théorème de Rolle, théorème des accroissements finis.
      • Application aux suites récurrentes d'ordre 1, définies par une relation du type un+1 = f(un).
    • Algèbre linéaire :
      • Espaces vectoriels : définitions, sous-espaces vectoriels, familles libres, familles génératrices, bases, dimension.
      • Applications linéaires : noyau, image, opérations dans L(E,F), projections, symétries.
      • Matrices : définitions, lien avec les applications linéaires.