Outils mathématiques pour Informatique

Code UE : UTC501-PAC

  • Cours
  • 3 crédits

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 :

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.

  • 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) Grand-Est
Lieu(x) À la carte
Lieu(x) Alternance
Lieu(x) Normandie
Lieu(x) Package
Lieu(x) Grand-Est
Intitulé de la formation Licence informatique
Lieu(x) À la carte
Intitulé de la formation Licence informatique
Lieu(x) Alternance
Intitulé de la formation Licence informatique
Lieu(x) Package
Lieu(x) À la carte
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) Alternance
Lieu(x) Occitanie
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) À la carte
Lieu(x) À la carte
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) Package
Lieu(x) Alternance
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
Intitulé de la formation Architecte en cybersécurité
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) Alternance
Lieu(x) La Réunion
Lieu(x) Package
Lieu(x) Grand-Est
Lieu(x) À la carte
Intitulé de la formation Type Modalité(s) Lieu(x)

Contact

EPN05 - Informatique
2 rue Conté
75003 Paris
Tel :01 40 27 22 58
Swathi Rajaselvam

Centre(s) d'enseignement proposant cette formation

  • Provence -Alpes- Côte d'Azur
    Comment est organisée cette formation ?

    Organisation de la modalité FOAD 100%

    Planning

    1er semestre

    • Date de démarrage : 15/12/2020
    • Date limite d'inscription : 09/11/2020
    • Regroupements facultatifs : aucun
    • Date de 1ère session d'examen : 16/02/2021
    • Date de 2ème session d'examen : 13/04/2021

    Accompagnement

    • Plateforme Moodle
    • Chat
    • Forum
    • Messagerie intégrée à la plateforme
    • Classe virtuelle
    • Espace de travail collaboratif
    • Séance de démarrage

    Ressources mises à disposition de l'auditeur

    • Documents de cours
    • Enregistrement de cours
    • Documents d'exercices, études de cas activités
    • Bibliographie et webographie

    Modalités de validation

    • Examen sur table
    • 1 devoir à rendre
    :