Département INFORMATIQUE
RezUFR, UFR sciences, Université Montpellier II

Votre navigateur n'est pas compatible CSS2. Le menu est en fin de page.
Vous pouvez voir ici à quoi ressemble le site selon ses concepteurs (100Ko).

Module : Compléments de logique, CODE : UMINM216

Responsable	Jean-Pierre Aubert
Parcours intégrant UV	aucun
Parcours possibles	tous
Pré-Requis	aucun
Controle connaissances	2 ECTS

Description de l'UE :

Semestre	Code	Intitulé	Cours	TD	TP	TER
S2	UMINM216	Compléments de logique	10,5	10,5

Detail du programme

Programme :
Rappel sur les structures en logique du premier ordre.
Méthode de résolution avec utilisation de Prolog. Méthode des tableaux sémantiques. Introduction à d'autres logiques.

---

servi par