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
Partition binaire de l'espace
Graph Chatbot
Séances de cours associées (4)
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
L'algorithme de Huffman : mécaniser la preuve
Explore la mécanisation de l'algorithme de Huffman et sa mise en œuvre fonctionnelle.
Arbres binaires et nombres catalans
Couvre la définition des arbres binaires, des formules récursives et des fonctions génératrices pour les nombres catalans.
Eclairage : ombres et récursivité
Explore plusieurs sources de lumière, ombres, tracé de rayons récursif et calculs d'éclairage en tracé de rayons.
Conception de la mémoire: Multiplexeurs de colonnes
Se penche sur la conception de la mémoire, en particulier les multiplexeurs à colonnes et les structures de cellules DRAM.