916 -- Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
De AgregmathKL
Révision de 26 mars 2015 à 14:04 par
Mathias Millet
(
discuter
|
contributions
)
(
diff
)
← Version précédente
|
Voir la version courante
(
diff
) |
Version suivante →
(
diff
)
Aller à :
navigation
,
rechercher
Plans scannés
2012-2013
916 Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
2014-2015
916 Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
Développements
Théorème de Cook
2SAT est décidable en temps linéaire
Catégorie
:
Leçon d'informatique
Menu de navigation
Outils personnels
18.219.230.43
Discussion avec cette adresse IP
Se connecter
Espaces de noms
Page
Discussion
Variantes
Affichages
Lire
Voir le texte source
Historique
Plus
Rechercher
Navigation
Accueil
Modifications récentes
Page au hasard
Aide
Outils
Pages liées
Suivi des pages liées
Pages spéciales
Version imprimable
Adresse de cette version
Information sur la page