Concept
Fonction récursive primitive
Séances de cours associées (62)
Idée d'interprétation abstraite
Couvre l'interprétation abstraite, les points de fixation, les graphiques de flux de contrôle et l'approximation de l'état du programme.
Fonctions récursives : Interprète de substitution
Couvre la mise en œuvre de fonctions récursives à l'aide de substitutions et d'environnements, montrant la capacité d'exécuter des fonctions calculables.
Sémantique opérationnelle : Amyli Language
Couvre le langage Amyli, y compris la syntaxe abstraite, la représentation de programme et la sémantique opérationnelle.
Utilité prévue et aversion des risques
Examine la théorie de l'utilité attendue, l'aversion pour les risques, les fonctions d'utilité et la prise de décisions sous l'incertitude.
Fonctions définies récursivement
Introduit des fonctions définies récursivement, présentant des exemples comme les nombres de Fibonacci.
Sémantique opérationnelle : Amyli Language
Explore la sémantique opérationnelle et les relations inductives dans le langage Amyli.
Fonctions définies récursivement
Introduit des fonctions définies récursivement et démontre comment calculer des valeurs et prouver des propriétés en utilisant l'induction mathématique.
Déplier des fonctions récursives en Inox
Couvre le concept de déploiement des fonctions récursives à l'aide de l'outil Inoxydable.
Tutoriel court Coq
Offre un tutoriel sur Coq, couvrant les définitions inductives, les fonctions récursives, les propositions, les théorèmes et les tactiques.
Filtre de Kalman à variation de temps: Propriétés et applications
Explore le filtre de Kalman variable dans le temps, l'estimation de l'état, les défis liés au conditionnement des sorties mesurées et l'importance des transformations affines.