Séances de cours associées à Diagramme de décision binaire

Fondations algorithmiques pour la certification des systèmes

Explore les défis dans la conception de systèmes avec des composants non fiables, en mettant l'accent sur la vérification, le contrôle et l'interaction dans des systèmes peu fiables.

Optimiser les fonctions logiques

Couvre l'optimisation des fonctions logiques en utilisant des diagrammes de Karnaugh et en traitant des fonctions définies incomplètes.

Théorie de calcul : Complexité monotone et limites inférieures de XOR-SAT

Explore la complexité monotone, les limites inférieures de XOR-SAT, et leurs implications dans la théorie computationnelle.