Passer au contenu principal
Graph
Search
fr
en
Se Connecter
Recherche
Tous
Catégories
Concepts
Cours
Séances de cours
MOOCs
Personnes
Exercices
Publications
Start-ups
Unités
Afficher tous les résultats pour
Accueil
Concept
OCaml
Applied sciences
Génie informatique
Programmation informatique
Programmation fonctionnelle
Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...
Graph Chatbot
Séances de cours associées (7)
Connectez-vous pour filtrer par séance de cours
Connectez-vous pour filtrer par séance de cours
Réinitialiser
Précédent
Page 1 sur 1
Suivant
Flyspeck II : Les programmes linéaires de base
Explore le projet Flyspeck II, l'histoire de la conjecture de Kepler, les défis de certification des preuves et l'architecture HCL.
Solveur WS1S: Structure du projet
Explore la structure du projet pour résoudre les formules WS1S et les ajouts prévus.
Chord: Recherche & Routage
Couvre l'algorithme Chord pour la recherche et le routage dans les tables de hachage distribuées.
Atelier Coq: Introduction au théorème interactif
Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.
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 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.
Techniques d'assemblage: Stéréotomie & Documentation
Explore les techniques de stéréotomie et de documentation pour assembler les muqarnas, les panneaux et les pavillons en utilisant TopSolid 7.
