Séances de cours associées à Forme normale algébrique

Avions et cylindres: Intersections et implémentations de rayons

Couvre la mise en œuvre des intersections de rayons avec des plans, des cylindres et des sphères.

Élimination de l'arithmétique et des quantificateurs de Presbourg

Couvre l'arithmétique de Presbourg, l'élimination des quantificateurs et la transformation des formules en forme normale disjonctive.

Proposition de résolution

Explore l'exhaustivité dans la logique propositionnelle, la résolution sur les clauses, la forme conjonctive, la résolution unitaire, les solveurs SAT et la génération de preuves.