Outils mathématiques pour Informatique - UTC501

Objectifs

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.

Programme de la formation

1. Éléments de logique : proposition, prédicats, validité, satisfiabilité.

2. Les techniques de raisonnement : direct, par cas, par contraposition, par récurrence, par l'absurde.

3. 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.

4. Relations et ordres : relations binaires, d'équivalence, ordres partiels et totaux.

5. 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.

6. 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.

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

Validation et sanction

Attestation de formation

Type de formation

Non certifiante

Sortie

Sans niveau spécifique