Tas binaire

Science formelle
Informatique théorique
Algorithme
Analyse de la complexité de...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (29)

Connectez-vous pour filtrer par séance de cours

Page 3 sur 3

L'algorithme de Huffman : mécaniser la preuve

Explore la mécanisation de l'algorithme de Huffman et sa mise en œuvre fonctionnelle.

Encodeur et décoder pour les codes sans préfixe

Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.

Compression de données : codage de source

Couvre les techniques de compression de données, y compris le codage source et les concepts de décodabilité uniques.

Structures de données dynamiques : vecteurs et listes liées

Couvre la comparaison entre les vecteurs et les listes liées en programmation C++.

Hoare Logic: Fondements et applications

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Opérations binaires : ajout et multiplication

Couvre les opérations binaires, y compris l'addition et la multiplication d'entiers représentés sous forme binaire.

Groupes de commutation: fonction totient d'Euler

Explore les groupes commutatifs, la fonction Totient d'Euler et les produits cartésiens en théorie de groupe.

Analyse de tri rapide randomisé

Analyse le temps d'exécution et les comparaisons dans un tri rapide randomisé, prouvant son efficacité et son optimisation dans le tri de comparaison.

Algorithmes de tri : Méthodes de tri et comparaison

Explore les méthodes de tri, le tri d'insertion et la comparaison d'algorithmes pour une organisation efficace des données.