Cours 1 | MIT 6.042J Mathématiques pour l'informatique, automne 2010

C'est une introduction à un cours classique de mathématiques informatiques de l'OCW du MIT, présenté par le professeur renommé Tom Leighton, qui fait partie du premier cours du semestre d'automne 2010. En termes de contexte, ce cours est spécialement conçu pour les étudiants en informatique, visant à combler les lacunes en mathématiques de base et en mathématiques discrètes, tandis que cette leçon se concentre sur "Introduction et preuves" - posant les bases logiques pour les sujets ultérieurs tels que l'analyse des algorithmes, la théorie des graphes, la théorie de la probabilité. Les points forts incluent : le professeur Leighton explique de manière vivante l'importance clé des mathématiques dans les sciences informatiques, tout en expliquant systématiquement les méthodes de preuve de base, y compris la preuve directe, la preuve par l'absurde et la méthode inductive, en mettant l'accent sur "la rigueur de la logique" comme capacité fondamentale pour le codage et la conception de systèmes. Bien que cette vidéo date de 2010, les contenus en mathématiques et en logique ne sont pas obsolètes, au contraire, ils prennent une qualité classique grâce aux notes claires du professeur et à ses explications orales. Ce cours est adapté aux étudiants en informatique, aux développeurs qui préparent des entretiens d'algorithmes, et aux autodidactes qui souhaitent renforcer leurs bases en mathématiques discrètes. La recommandation de visionnage est de ne pas chercher à comprendre tous les détails des preuves en une seule fois, mais plutôt de comprendre "pourquoi étudier les mathématiques" et "comment naissent les idées de preuve", en complétant les notes et les devoirs disponibles sur la page du cours OCW.