Explore les défis dans la communication humaine, l'importance du contexte, les problèmes de compression, la fonctionnalité incertaine et la vérification des preuves.
Introduit la complexité computationnelle, les problèmes de décision, la complexité quantique et les algorithmes probabilistes, y compris les problèmes dures au NP et les problèmes complets au NP.
Couvre la complexité algorithmique et l'analyse du temps de trajet, en se concentrant sur la mesure du temps pris par les algorithmes et l'évaluation de leurs performances.
Explore les aspects pratiques de la résolution des jeux de parité, y compris les stratégies gagnantes, les algorithmes, la complexité, le déterminisme et les approches heuristiques.
Explore l'algorithme FloodSet pour un accord synchrone en cas de panne et sa complexité de communication, ainsi que des exercices bonus sur les protocoles de consensus.
Examine la conception d'un système d'exécution distribué à usage général, couvrant les défis, les cadres spécialisés, la logique de contrôle décentralisée et les remaniements de haute performance.
Explore l'ingénierie décentralisée des systèmes, les algorithmes de consensus, la tolérance aux défauts, les défauts byzantins, et les applications pratiques des systèmes tolérants aux défauts.