Outils mathématiques pour Informatique
Code UE : UTC501-PAC
- Cours
- 3 crédits
Responsable(s)
Eric SOUTIL
Public et conditions d'accès
Avoir le niveau L2 en informatique ou mathématiques
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
Rechercher une formation
RECHERCHE MULTI-CRITERES
Plus de critères de recherche sont proposés:
-
Vous pouvez sélectionner des formations, en recherchant une chaîne de caractères présente dans l’intitulé ou dans les index (discipline ou métier visé): ex: "documenta".
Des index sont suggérés à partir du 3e caractère saisi, mais vous pouvez aussi saisir librement tout autre mot . - Les différents items sélectionnés sont croisés.
ex: "Comptabilité" et "Région Grand Est"
- Cette recherche s'effectue à travers toutes les fiches formation, y compris régionales. Les codes de ces dernières se distinguent par le suffixe de la région (ex: «-PDL pour Pays-de-la-Loire» ).
Par défaut, les fiches régionales reprennent le contenu de la fiche nationale correspondante, mais dans certains cas, comportent des informations spécifiques. - Certains diplômes se déclinent selon plusieurs parcours (codés à la fin: A, B,...). Pour afficher tous les parcours, tapez la racine du code (ex : « LG035 »).
- Dans tous les cas, veillez à ne pas insérer d'espace ni de caractère séparateur.
Plus de critères de recherche sont proposés:
- Type de diplôme
- Niveau d'entrée
- Modalité de l'enseignement
- Programmation semestrielle
Chargement du résultat...

Contact
Centre(s) d'enseignement proposant cette formation
-
Provence -Alpes- Côte d'Azur
- 2020-2021 1er semestre : FOAD 100%
- 2021-2022 1er semestre : FOAD 100%
- 2022-2023 1er semestre : FOAD 100%
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
Code UE : UTC501-PAC
- Cours
- 3 crédits
Responsable(s)
Eric SOUTIL