Filière :
Licence Nationale en Informatique de Gestion :Business Intelligence
Niveau :
1
Matière :
Logique mathématique
Régime Éducatif :
Régime Mixte
Volume Horaire par semestre :
31.5
Type d'enseignement :
TD ; Cours
Enseignant (s) :
Coordinateur :
Examens et évaluation des connaissances :
| ECUE | Contrôle continue | Examen final | Coef. de l’ECUE | Coef. de l’UE au sein du parcours | ||||||
| EPREUVES | Pondération | EPREUVES | Pondération | |||||||
| Ecrit | Oral | TP et Autres | Ecrit | Oral | TP et Autres | |||||
| Logique mathématique | X | 30% | X | 70% | 1 | 1 | ||||
Objectifs du Cours :
Plan du Cours :
Chapitre 0 Théorie des ensembles
Section I : Notions de base, règles de fonctionnement
Section II : Opération sur les ensembles, Algèbre d’ensemble, dualité
Section III : Représentation graphique (Diagramme de Venn)
Section IV : Argument, Induction mathématique
Chapitre I Logique des propositions
Introduction
Section I : Syntaxe (Alphabet)
Section II : Sémantique
Section III : Forme normale (FNC, FND)
Section IV : Calcul propositionnel
Section V : Méthodes de preuves. Argumentation sémantique. Méthode de balayage
Chapitre II Logique des prédicats
Introduction
Section I : Syntaxe (Alphabet)
Section II : Sémantique
Section III : Normalisation (Forme prénexe, Forme de Skolem)
Section IV : Transformation en forme clausale
Section V : Unification
Section VI : Principe de résolution
Chapitre III : Langage Prolog
Introduction
Section I : Syntaxe d’un programme
Section II : Calcul
Section III : Les listes
Section IV : Les entrées-sorties
Méthodes et/ou outils utilisés :
Références scientifiques et supports :