916 -- Formules du calcul propositionnel : représentation, formes normales, satisﬁabilité. Applications. : Différence entre versions

Version du 25 janvier 2015 à 10:50

Version du 25 janvier 2015 à 10:42 (voir la source) Mathias Millet (discuter \| contributions) (Page créée avec « == Plans scannés == 2012 24px Média:916_2012-2013.pdf\|916 Formules du calcul propositionnel : représentation, formes normales, sati... »)		Version du 25 janvier 2015 à 10:50 (voir la source) Mathias Millet (discuter \| contributions) Modification suivante →
Ligne 2 :		Ligne 2 :

	2012 [[Fichier:Pdf.png\|alt=Pdf\|link=\|24px]] [[Média:916_2012-2013.pdf\|916 Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.]]		2012 [[Fichier:Pdf.png\|alt=Pdf\|link=\|24px]] [[Média:916_2012-2013.pdf\|916 Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.]]
		+
		+
		+	[[Category:Leçon d'informatique]]