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 : Logique 2. CODE : ULIN602

Responsable	Jean-Pierre AUBERT et Frédéric KORICHE
Parcours intégrant UV	Informatique,Informatique et Mathématiques, Informatique et Physique
Parcours possibles	Tous les autres parcours, en particulier les Mathématiques.
Pré-Requis	Logique 1 (ULIN406 ou ULIN610).
Controle connaissances	5 ECTS Ecrit(32), Contrôle continu (18).

Description de l'UE :

Semestre	Code	Intitulé	Cours	TD	TP	TER
S6	ULIN602	Logique 2	15h	18h	18h

Detail du programme

Objectifs Contenu Syntaxe et sémantique en logique d'ordre un. Théorie de la preuve (ordre un). Méthodes de résolution. Bases de programmation logique.

---

servi par