Licence Mathematiques et Informatique- Logique

Licence année L3 -Logique et Informatique

Emploi du temps 2009/2010

Cours	Mardi	8h30-10h30	Amphi CMI	Denis Lugiez
TD1	Jeudi	14h-17h	Frédéric Olive
TD2	Mercredi	14h-17h	Karl Schlechta

Informations pratiques

Examen: mardi 6 janvier 9h-12h (amphi ou C001)

10 séances de cours dont une de partiel, 10 séances de TD, 5 séances de TP.

Note du module:NF=(3E+TP)/4 avec E= max(X,(X+CI)/2) et

X note de l'examen (2h)
CI note de contrôle (partiel et contrôles)
TP note de projet

Questionnaire d'évaluation ici .

Support de cours

Le cours , voir aussi le poly cité dans les Références.

Attention ! Un support de cours ne remplace pas l'assistance aux cours!

Cours 1: Historique (non disponible).
Raisonnement, formalisme, calcul et raisonnement, paradoxes logiques. Logique et informatique. Principe d'une logique: système formel et sémantique.

Cours 2: Calcul propositionnel..
Syntaxe, Sémantique, Utilisation. manipulation de formule (fnd,fnc,simplification), Méthode de résolution, correction complétude.

Cours 3: Termes et Unification. .
Termes, substitution. Problèmes équationnels. Algorithme d'unification.

Cours 4: Logique du premier ordre
Syntaxe, Sémantique. Manipulation de formules: forme prénexe, skolémisation.Méthode de résolution, Correction et complétude.

Cours 5: Résolution et Programmation Logique. .
La résolution. Propriétés. Stratégies. Un interpréteur propositionnel pour les clauses de Horn.

(un cours peut durer plusieurs séances)