La théorie des arbres B et des index de base de données (Pourquoi les SGBD choisissent-ils le B-Tree ?)
Catégories
74 pages
Informatique
Le problème des généraux byzantins et les abysses des algorithmes de consensus : Le fonctionnement de Paxos, Raft et BFT
Théorie de l'information et entropie de Shannon : Explorer les limites de la compression de données et des communications
Théorie des graphes, algorithme de Dijkstra et A* : Fondements mathématiques et implémentation de la recherche de chemin
Automates et théorie des langages formels : les coulisses des expressions régulières et de la hiérarchie de Chomsky
Le lambda-calcul (Lambda Calculus) et les origines de la programmation fonctionnelle : De la théorie d'Alonzo Church à Lisp et Haskell
Machine de Turing et théorie de la calculabilité : l'expérience de pensée d'Alan Turing et le « problème de l'arrêt »
Vue d'ensemble du problème P vs NP et des classes de complexité : Explication du Problème du Prix du millénaire et son importance en programmation
Le jeu de la vie de Conway : Un automate cellulaire où la complexité de la vie émerge de règles simples
Théorème des quatre couleurs (Four Color Theorem) - N'importe quelle carte peut-elle être coloriée avec 4 couleurs ?
Le problème de l'arrêt (Halting Problem) : Le programme ultime qu'il est impossible de créer
Théorèmes d'incomplétude de Gödel : la preuve mathématique des « vérités absolument indémontrables »
Algorithme de détection de cycle de Robert Floyd (Algorithme du lièvre et de la tortue)
Limites de la factorisation en nombres premiers et explication de la notation Grand O (O)
