Actualités

Institut

Formations

des Stages

Estudiantine

Recherche

Consultations/Appel d'offres

Espace Extranet
Plaquette Pédagogique : Logique mathématique
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 :
Imprimer Plaquette