Concept
OCaml
Séances de cours associées (28)
Matlab: 3D Surface Plotting
Couvre les tableaux logiques, les tracés de surface 3D, les courbes paramétriques, l'interpolation et l'ajustement dans Matlab.
Atelier Coq: Introduction au théorème interactif
Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.
Chord: Recherche & Routage
Couvre l'algorithme Chord pour la recherche et le routage dans les tables de hachage distribuées.
Laboratoire de génération de code
Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
Génération de code : Exemples, WebAssembly
Couvre des exemples de génération de code et introduit le bytecode WebAssembly (WA) et le fonctionnement de la machine de pile.
Laboratoire de vérification de type
Se concentre sur la mise en œuvre d'un vérificateur de type pour Amy, couvrant l'analyse des noms et des types, la génération de contraintes de frappe et l'importance de la vérification de type dans la compilation.
Problème caché du sous-groupe et Simon Algorithm
Explore le problème caché du sous-groupe et l'algorithme Simon dans le calcul quantique.
L'algorithme de Shor : les entiers de factoring
Couvre les bases de l'algorithme de Shor pour factoriser les entiers et les étapes impliquées dans l'algorithme quantique.
Convergence en droit: Convergence faible et théorème de la représentation de Skorokhod
Explore la convergence en droit, la convergence faible et le théorème de représentation de Skorokhod en théorie des probabilités.
Programmation orientée objet : analyse des fonctionnalités de base
Explore les fonctionnalités de base de la programmation orientée objet, y compris la répartition dynamique, l'encapsulation, l'héritage et le sous-typage, en utilisant des exemples Java et des informations pratiques.