Programmation Logique et Fonctionnel (PLF)
– Cours 1 –
Chapitre 0: Programmation Logique et fonctionnelle
Syllabus
Dr. Boudouda Souheila
Faculté:NTIC/Département: TLSI
[Link]@[Link]
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