Introduit des outils mathématiques pour les systèmes de communication et la science des données, se concentrant sur les processus stochastiques et préparant les étudiants à des cours avancés.
Explore la différenciation, les limites et les jeux ouverts dans les fonctions multivariables, en mettant l'accent sur les minimums locaux et la continuité.
Explore la théorie de la quasi-convexité dans les problèmes variationnels de la mécanique du continuum, en discutant de ses principes, de ses applications et de sa relation avec la convexité.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
Explore les classes communicantes dans les chaînes de Markov, en distinguant les classes transitoires et récurrentes, et approfondit les propriétés de ces classes.
Explore le traitement neurobiologique des signaux, couvrant la modélisation des pics, la classification des signaux et la caractérisation des données à l'aide de l'analyse des composantes principales.
