Outils mathématiques pour Informatique

Public Concerné

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.

Capacité et compétences acquises

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.

Contenu de la formation

  • É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.

Prévisions d'ouverture

Groupe Semestre Modalité État d'ouverture Date du premier cours Lieux
UTC501 Outils mathématiques pour Informatique 3 Cours de Jour - - - -

Voir les dates et horaires, les lieux d'enseignement et les modes d'inscription sur les sites internet des centres régionaux qui proposent cette formation

Code : UTC501
3
crédits
Contactez-nous