Programmation Logique et Fonctionnel (PLF)

– Cours 1 –
Chapitre 0: Programmation Logique et fonctionnelle
Syllabus

Dr. Boudouda Souheila

Faculté:NTIC/Département: TLSI
Boudouda.souheila@univ-constantine2.dz

Etudiants concernés
Faculté/Institut Département Niveau Spécialité

NTIC TLSI Master 1 Génie Logiciel (GL)

Université Constantine 2 2020/2021. Semestre 1

 Informations générales
Intitulé de la matière: Programmation Logique et
fonctionnelle
Code de la matière: PLF
Unité d’enseignement: UEF 1.1.1
Programme: Master Génie-Logiciel
Niveau: Semestre 1
Nombre de semaines: 14 - 16
Volume Horaire Semestriel: 96 h
Crédits: 6
Coefficient: 4
Volume horaire hebdomadaire: cours- 3, TD-1h30, TP-
1h30

Université Constantine 2 © Dr. Boudouda Souheila 2

 Objectifs du cours
Objectifs du cours :
Apprendre des nouvelles approches et techniques de
programmation,
Implémentations sur machines de nouveaux concepts,
Apprentissage approfondi d’un Langage Logique
(PROLOG),
Apprentissage approfondi d’un Langage Fonctionnel
(LISP).

Université Constantine 2 Dr. Boudouda Souheila 3

 Programme
Chapitre 1: Paradigmes de programmation

Chapitre 2: Concepts d' IA, en particulier les

Systèmes Experts

Chapitre 3: Programmation Logique

Chapitre 4: Langage Prolog

Chapitre 5: Programmation Fonctionnelle

Chapitre 6: Langage LISP

Université Constantine 2 Dr. Boudouda Souheila 4
 Compétences & aptitudes visées:

Les compétences développées dans le cadre de ce

cours vous rendront capables:

De connaitre les différents paradigmes de

programmation,
de connaître certains concepts de l’I.A en liaison
avec l ‘implémentation sur machine,
d’apprendre à transformer des expressions logiques
en clauses de Horn (expressions PROLOG),
De développer des applications en PROLOG et LISP.

Université Constantine 2 Dr. Boudouda Souheila 5

 Évaluation

Il y aura (si les pandémie disparait durant ce semestre):

une interrogation au milieu du semestre.
un contrôle de longue durée.
une évaluation durant les TPs et un contrôle TP à la fin
du semestre.
La moyenne du module= (2*contrôle+ interrogation +
TP)/4
L’examen final sera un contrôle de synthèse (couvre
tous les chapitres de la matière).

Université Constantine 2 Dr. Boudouda Souheila 6