Cours SAT

Ici il y a tous le cours SAT (On nomme problème SAT un problème de décision visant à savoir s'il existe une solution à une série d'équations logiques données. En termes plus précis : une évaluation sur un ensemble de variables propositionnelles telle qu'une formule propositionnelle donnée soit alors logiquement vraie. Ce problème est très important en théorie de la complexité et a de nombreuses applications en planification classique, model checking, diagnostic, et jusqu'au configurateur d'un simple PC ou de son système d'exploitation.).

voici les différents chapitres :

Chapitre 1: Principes de résolution pour SAT

Chapitre 2 : Recherche local pour SAT

Bienvenue

Bonjour, Bienvenue sur le blog dédié aux futures étudiants Djiboutiens qui veulent integrer en master recherche MIS à Amiens. Ce blog est destiné pour donner des conseils aux jeunes étudiants, afin de mieux expliquer l'apprentissage des différents modules dans le cadre de l'enseignement de recherche en deuxième année du master MIS, parceque moi j'ai rencontrée de difficulté pendant mon année scolaire 2009/2010  du master MIS (Modélisation, Information et Système), mais avec l'aide d'ALLAH et mes efforts personnel j'arriver a validé l'année. L'objectif est de mettre à jour les informations relatives à la formation du master recherche pour cette année (2009/2010).