Logique pour l'informatique - 3MM1LPI

• Première période : logique propositionnelle.
  1. Syntaxe des formules, symboles propositionnels, connecteurs, interprétations, tables de vérité.
  2. Notions de modèle, satisfaisabilité, validité d’une formule ; relation de conséquence logique.
  3. Méthode des tableaux sémantiques.
  4. Formes normales.
  5. Systèmes formels.
  6. Le problème SAT ; résolution propositionnelle.

• Deuxième période : logique du premier ordre.
  1. Prédicats, fonctions, variables, quantificateurs.
  2. Interprétations, valuations, modèles, satisfaisabilité, validité, conséquence.
  3. Variables libres et liées, renommage ; formes normales.
  4. Théories du premier ordre.
  5. Substitutions ; algorithme d’unification.
  6. Théorème de Herbrand.
  7. Formes de Skolem.
  8. Résolution au premier ordre.
  9. Clauses de Horn ; algorithme SLD ; programmation logique.

• • Ce cours est donné en Période(s) Académique(s) 1 et 2 **

Néant

SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique : non
Durée : 2x 2 h (période 1, période 2)
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents
Documents interdits (ex : livres, tous documents) : aucun
Matériel (ex : calculatrices):

• matériel autorisé, préciser : aucun
• matériel interdit, préciser : calculatrices
  Commentaires :
• 1 examen écrit (2h) en fin de période 1 sur la logique propositionnelle
• 1 examen écrit (2h) en fin de période 2 sur la logique du premier ordre

SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : oral
Salle spécifique : non
Durée : 40 mn
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents
Matériel (ex : calculatrices):

• matériel autorisé, préciser : aucun

Commentaires
Le rattrapage porte sur le programme des deux périodes et remplace l’ensemble de la note

N1 = (E1 + E2)/2
N2 = E3

Le cours est programmé dans ces filières :

• Cursus ingénieur - Alternance - Alternance 1ere annee

Code de l'enseignement : 3MM1LPI
Langue(s) d'enseignement :

Le cours est rattaché aux structures d'enseignement suivantes :

• Equipe Bases théoriques de l'informatique

Vous pouvez retrouver ce cours dans la liste de tous les cours.

Polycopié du cours, contenant les énoncés de tous les exercices à faire en TD ainsi que leurs corrigés
Course notes containing the solutions to all proposed problems.