Couvre la probabilité appliquée, les processus stochastiques, les chaînes de Markov, l'échantillonnage de rejet et les méthodes d'inférence bayésienne.
Explore les preuves formelles, les problèmes de satisfaisabilité et les invariants inductifs en utilisant des requêtes SAT dans des circuits séquentiels.
Explore la programmation dynamique du problème Knapsack, en discutant des stratégies, des algorithmes, de la dureté du NP et de l'analyse de la complexité temporelle.
Couvre les fondamentaux de la théorie des graphiques, y compris les sommets, les bords, les degrés, les promenades, les graphiques connectés, les cycles et les arbres, en mettant l'accent sur le nombre de bords dans un arbre.
