Séances de cours associées à Résolution propositionnelle et solveurs SAT

S'inscrit dans la théorie du calcul, couvrant la décidabilité, la complexité, P vs. NP, et les réductions.

Structures de données: Tuples, Listes, Ensembles, Dicts Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des structures de données Python comme des tuples, des listes, des ensembles et des dictionnaires, mettant l'accent sur les techniques de manipulation et de conversion.

La satisfaction et les clusters Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le seuil de satisfaisabilité, les clusters de solutions, le paramètre alpha et le calcul de cluster moyen.

Abstraction de données : modules et spécifications dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'abstraction des données dans la programmation, en se concentrant sur les modules et les spécifications dans Coq.