Les mathématiques discrètes sont le langage de l'informatique. Il est nécessaire de les maîtriser pour travailler dans de nombreux domaines, notamment la science des données, l'apprentissage automatique et le génie logiciel (ce n'est pas une coïncidence si les énigmes mathématiques sont souvent utilisées pour les entretiens). Nous vous introduisons à ce langage à travers une approche amusante essayer-avant-de-tout-expliquer : d'abord, vous résolvez de nombreuses énigmes interactives qui sont soigneusement conçues spécifiquement pour cette spécialisation en ligne, puis nous expliquons comment résoudre les énigmes, et introduisons des idées importantes en cours de route. Nous pensons que de cette manière, vous obtiendrez une compréhension plus profonde et apprécierez mieux la beauté des idées sous-jacentes (sans parler de la confiance en soi que vous gagnerez si vous inventez ces idées par vous-même !) Pour rapprocher votre expérience des applications informatiques, nous incorporons des exemples de programmation, des problèmes et des projets dans la spécialisation.
Projet d'apprentissage appliqué
Nous mettrons en œuvre ensemble un programme efficace pour un problème dont les entreprises de livraison du monde entier ont besoin des millions de fois par jour - le problème du voyageur de commerce. L'objectif de ce problème est de visiter tous les lieux donnés le plus rapidement possible. Comment trouver rapidement une solution optimale à ce problème ? Nous ne disposons toujours pas d'algorithmes efficaces prouvés pour ce problème de calcul difficile et c'est l'essence même du problème P versus NP, la question ouverte la plus importante en informatique. Néanmoins, nous allons mettre en œuvre plusieurs solutions efficaces pour des instances réelles du problème du voyageur de commerce. Lors de la conception de ces solutions, nous nous appuierons fortement sur la matière apprise dans les cours de la spécialisation : techniques de preuve, combinatoire, probabilités, théorie des graphes. Nous verrons plusieurs exemples d'utilisation d'idées de mathématiques discrètes pour obtenir des solutions de plus en plus efficaces.