Outils mathématiques pour Informatique

Code UE : UTC501-LIB

  • Cours
  • 3 crédits
  • Volume horaire de référence
    (+ ou - 10%) : 30 heures

Responsable(s)

Eric SOUTIL

Public, conditions d’accès et prérequis

Avoir le niveau L2 en informatique ou mathématiques

L'avis des auditeurs

Les dernières réponses à l'enquête d'appréciation pour cet enseignement :

Présence et réussite aux examens

Pour l'année universitaire 2022-2023 :

  • Nombre d'inscrits : 1184
  • Taux de présence à l'évaluation : 69%
  • Taux de réussite parmi les présents : 80%

Objectifs pédagogiques

Présenter des notions mathématiques indispensables pour aborder des études d’ingénieur informaticien. L’objectif n’est pas d’étudier ces notions et outils pour eux-mêmes mais de montrer également leur utilité dans l’analyse de problèmes qui se posent en informatique.

Compétences visées

Les compétences visées sont multiples :
  • acquérir des éléments de logique en particulier le mode de raisonnement par déduction ;
  • maîtriser les notions de relations et d’ordre total et partiel, indispensables pour les questions de structuration de données ;
  • se réapproprier les notions de base du calcul matriciel et de l’analyse utiles pour la résolution de systèmes linéaires et le traitement du signal ;
  • acquérir des notions d’arithmétique utiles en informatique, notamment pour la cryptographie ;
  • comprendre le formalisme des systèmes de transitions pour la description et le contrôle de l’évolution des systèmes informatiques ;
  • enfin aborder la modélisation de phénomènes aléatoires nécessaire à prendre en compte dans divers contextes comme les réseaux informatiques.

  • Éléments de logique : proposition, prédicats, validité, satisfiabilité.
  • Les techniques de raisonnement : direct, par cas, par contraposition, par récurrence, par l’absurde.
  • Eléments d’arithmétique : divisibilité, nombres premiers, propriétés du PGCD, algorithme d’Euclide, décomposition en produit de facteurs premiers, arithmétique modulaire, algorithme RSA.
  • Relations et ordres : relations binaires, d’équivalence, ordres partiels et totaux.
  • Calcul matriciel et analyse : résolution de systèmes linéaires, méthode de Gauss, Gauss Jordan et manipulation de séries de Fourier avec l’aide d’un logiciel.
  • Systèmes de transition : traces, exécutions, états accessibles, états récurrents, transitions récurrentes, systèmes de transitions étiquetées, propriétés générales (de sûreté, de vivacité), introduction aux réseaux de Pétri.
  • Processus stochastiques et modélisation : chaînes de Markov à temps discret ; distribution stationnaire, processus de Markov continus ; processus de Poisson ; processus de naissance et de mort ; application aux files d’attente simples.

  • Examen final

  • R.L. Graham, D.E. Knuth, O. Patashnik : Mathématiques concrètes. Fondations pour l’informatique. Vuibert (2ème édition).
  • Michel Marchand : Mathématique discrete. Outil pour l’informaticien. Editions DeBoeck Université
  • S. Lipschutz : Mathématiques discrètes. Editions Schaum’s – McGraw-Hill
  • Jacques Vélu, Geneviève Avérous, Isabelle Gil, Françoise Santi : Mathématiques pour l'informatique - Exercices et problèmes. Editions Dunod
  • A. Arnold, I. Guessarian : Mathématiques pour l'Informatique. Dunod 2005
  • P. Wolper : Introduction à la calculabilité. 2ème édition, Dunod 2001.
  • D. Harel (with Y. Feldman) : Algorithmics. The spirit of computing. Addison Wesley 2004.
  • M. Jaume. : Eléments de mathématiques discrètes. Ellipses, 2016.

Cette UE apparaît dans les diplômes et certificats suivants

Chargement du résultat...
Patientez
Intitulé de la formation
Type
Modalité(s)
Lieu(x)
Lieu(x) Alternance
Lieu(x) À la carte
Lieu(x) Package
Lieu(x) À la carte
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) À la carte
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) À la carte
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) À la carte
Lieu(x) Alternance
Lieu(x)
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) Package
Lieu(x) À la carte
Lieu(x) À la carte
Intitulé de la formation Architecte en cybersécurité
Lieu(x) À la carte
Intitulé de la formation Architecte en cybersécurité
Lieu(x) Alternance
Lieu(x) Martinique
Intitulé de la formation Licence informatique
Lieu(x) Alternance
Intitulé de la formation Licence informatique
Lieu(x) Package
Intitulé de la formation Licence informatique
Lieu(x) À la carte
Intitulé de la formation Type Modalité(s) Lieu(x)

Contact

EPN05 - Informatique
2 rue Conté 33.1.4A
75003 Paris
Tel :01 40 27 22 40
Agnès Lapierre

Centre(s) d'enseignement proposant cette formation

  • Liban
    • 2024-2025 1er semestre : Formation en présentiel soir ou samedi
    Comment est organisée cette formation ?
    2024-2025 1er semestre : Formation en présentiel soir ou samedi

    Précision sur la modalité pédagogique

    • Une formation en présentiel est dispensée dans un lieu identifié (salle, amphi ...) selon un planning défini (date et horaire).