Couvre le concept de la famille exponentielle et discute des cartes en avant et en arrière, des calculs coûteux, des paramètres, des fonctions et de la convexité.
Explore la matrice laplacienne dans les réseaux électriques et mécaniques, le consensus et les propriétés des matrices laplaciennes dans les systèmes de contrôle en réseau.
Couvre des sujets tels que la sortie DFS, la classification des bords, les graphes acycliques, l'exactitude, l'analyse du temps, les SCC et l'algorithme de tri topologique.
Explore les preuves formelles, les problèmes de satisfaisabilité et les invariants inductifs en utilisant des requêtes SAT dans des circuits séquentiels.
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.
