Leçon 916 : Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.

(2018) 916

Dernier rapport du Jury :

(2017 : 916 - Formules du calcul propositionnel : représentation, formes normales, satisfabilité. Applications.) Le jury attend des candidats qu’ils abordent les questions de la complexité de la satisfiabilité. Pour autant, les applications ne sauraient se réduire à la réduction de problèmes NP-complets à SAT. Une partie significative du plan doit être consacrée à la représentation des formules et à leurs formes normales.

(2015 : 916 - Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.) Le jury attend des candidats qu'ils abordent les questions de la complexité de la satisfiabilité. Pour autant, les applications ne sauraient se réduire à la réduction de problèmes NP-complets à SAT. Une partie significative du plan doit être consacrée à la représentation des formules et à leurs formes normales.

Plans/remarques :

2018 : Leçon 916 - Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.


2016 : Leçon 916 - Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.


2015 : Leçon 916 - Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.


Retours d'oraux :

Pas de retours pour cette leçon.