Machines virtuelles Code , 3 ECTS, Semestre S6

— Continu : exemple d’un serveur qui reçoit des requêtes de différents types pour réintro- duire lois exponentielles, Gamma, Poisson2.

Application des notions d’intégration au cadre probabiliste (définition de la loi d’une va- riable, etc...), fonction caractéristique et application au cadre gaussien, famille

conditions nécessaires d’optimalité sur un ouvert, sur un convexe, sur un ensemble défini par un nombre fini de contraintes ;.. conditions de qualification des contraintes,

— Simulation d’un grand nombre de variables réelles, représentation d’un "diagramme en bâtons", visualisation de la loi des grands nombres.. — Représentation de

— analyse des séries temporelles, propriétés des estimateurs des moindre carrés, étude des tendance, de la saisonnalité et de l’autocorrélation des erreurs,

Cinq axiomes de la théorie naïve des ensembles : axiome d’extensionalité, axiome de com- préhension, axiome de l’union, axiome de la paire, axiome de l’ensemble des

Analyse de raisonnements élémentaires à partir d’exemples ; preuves d’égalité et d’inclusion d’ensembles ; raisonnement par contraposition, par l’absurde ; méthodes

Prérequis : MM1 Évaluation : Contrôle continu et examen final Mentions concernées : Mathématiques et Mathématiques-Informatique Horaires hebdomadaires : 5 h