Couvre les concepts de base de la programmation orientée objet en Java, mettant l'accent sur l'encapsulation, l'abstraction et l'importance d'organiser des programmes complexes.
Décrit la logistique du cours et les objectifs de la programmation orientée objet, en mettant l'accent sur la gestion des erreurs et l'intégration de sessions pratiques avec l'apprentissage théorique.
Explore les limites impératives de la programmation, les théories sans mutation, les principes de programmation fonctionnelle et l'histoire des langages fonctionnels.
Couvre les bases de la programmation orientée objet en C++, y compris l'encapsulation, l'abstraction, et l'importance de regrouper les données et les méthodes.
Couvre les principes et les outils de recherche reproductible en biostatistique, soulignant l'importance de la documentation complète et l'utilisation d'éditeurs de texte pour la compilation des documents sources.
Couvre la simulation d'événements discrets à l'aide de circuits numériques, de composants de base, de composants complexes et de la mise en œuvre de la simulation.
Couvre la logique de Hoare, la post-condition la plus forte et la condition préalable la plus faible pour simplifier les preuves dans la programmation impérative.
Explore la conversion de programmes impératifs en formules de vérification, couvrant les affectations, les instructions if-else et les points-virgules de commande.
Explore la programmation réactive fonctionnelle à l'aide de signaux pour simplifier les changements d'état et les réactions aux événements dans une approche plus fonctionnelle et propre.