Séance de cours
Hoare Logic: Postcondition la plus forte et précondition la plus faible
Séances de cours associées (32)
Hoare Logic : Postconditions et Préconditions
Couvre la logique Hoare, les postconditions, les conditions préalables et les preuves de comportement du programme.
Convertir les programmes impératifs en formules
Explore la conversion de programmes impératifs en formules, y compris les conditions de vérification, la construction de formules et les structures de flux de contrôle.
Hoare Logic: Postcondition la plus forte et précondition la plus faible
Introduit la logique Hoare pour simplifier les preuves de comportement des programmes par le biais d'annotations.
Loops : instructions et fonctions de contrôle
Couvre la modélisation des instructions de contrôle avec des fonctions dans Scala, y compris les boucles while, les boucles de répétition et la traduction for-loops.
Programmation Thymio: Premiers pas
Couvre la programmation de Thymio pour bouger, s'arrêter, jouer de la musique et changer de couleur.
Missions de programmation : en commençant par la troisième ligneMOOC: Thymio: un robot pour se former à l'informatique
Discute de la traduction des lignes de programme en français et de l'utilisation de capteurs pour déclencher des actions.
Analyse IV : Ensembles et propriétés mesurables
Couvre le concept de mesure externe et les propriétés des ensembles mesurables.
Raisonnement du programme d'aide à l'apprentissage
Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.
Simulation d'événement discrète
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.
Gestion des erreurs dans LabVIEW
Met l'accent sur la gestion des erreurs dans LabVIEW, l'analyse des fichiers sources et l'exécution de programmes avec Xcode.