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 1 . CODE :ULIN406

Responsable	Michel LECLERE
Parcours intégrant UV	Informatique, Mathématiques et Informatique, Physique et Informatique.
Parcours possibles	essentiellement conseillé aux parcours de la mention"Mathématiques".
Pré-Requis	Programmation applicative (ULIN201),Maths discrètes ( ULIN202)
Controle connaissances	5 ECTS

Description de l'UE :

Semestre	Code	Intitulé	Cours	TD	TP	TER
S4, S6	ULIN406	Logique 1	15 h	21 h	15 h

Detail du programme

Logique 1 Objectifs Contenu : Syntaxe, sémantique et axiomatique de la logique propositionnelle Algorithmes du raisonnement propositionnel Eléments de logique des prédicats sans symbole de fonction

---

servi par