Nom EES : UNIVERSITE DE MASCARA Département : Informatique

SYLLABUS DE LA MATIERE (à publier dans le site Web de l’institution)
Programmation logique

ENSEIGNANT DU COURS MAGISTRAL	Boudia Chérifa
Réception des étudiants par semaine
Email	cherifa.boudia@univ-mascara.dz	Jour :	Mardi	heure	10h15
Tél de bureau	/	Jour :	heure
Tél secrétariat	/	Jour :	heure
Autre	0658155163	Bâtiment :	AmphiD	Bureau :	info4

TRAVAUX DIRIGES (Réception des étudiants par semaine)
NOMS ET PRENOMS DES ENSEIGNANTS	Bureau/salle réception	Séance 1	Séance 2	Séance 3
jour	heure	jour	Heure	jour	heure

TRAVAUX PRATIQUES (Réception des étudiants par semaine)
NOMS ET PRENOMS DES ENSEIGNANTS	Bureau/salle réception	Séance 1	Séance 2	Séance 3
jour	heure	jour	heure	jour	heure
Cherifa BOUDIA	salle TP D	diman	8h30
Cherifa BOUDIA	salle TP D	diman	10h15
Cherifa BOUDIA	salle TP A	jeudi	8h30

DESCRIPTIF DU COURS
Objectif	- Maitriser la programmation logiquepour l'IA. - Developpement d'application.
Type Unité Enseignement	UEF
Contenu succinct	Logique, predicat, prolog, resolution, SLD,unifier
Crédits de la matière	4
Coefficient de la matière	2
Pondération Participation	12,5%
Pondération Assiduité	12,5%
Calcul Moyenne C.C	=(Ass+Pre)/5+moyenne des tests/15
Compétences visées	Conception des sites web statiques et design Maitrise des programmes de bureautique comme: Word, EXCEL, PPT.

EVALUATION DES CONTROLES CONTINUS DE CONNAISSANCES
PREMIER CONTROLE DE CONNAISSANCES
Jour	Séance	Durée	Type (1)	Doc autorisé (Oui, Non)	Barème	Echange après évaluation (date Consult. copie)	Critères évaluation (2)
dimanch	1	30min	E	non	7,5	16/10/2022	R
DEUXIEME CONTROLE DE CONNAISSANCES
Jour	Séance	Durée	Type (1)	Doc autorisé (Oui, Non)	Barème	Echange après évaluation (date consultation copies)	Critères évaluation (2)
jeudi	1	30	E	non	7,5	18/12/2022	R

Type : E=écrit, EI=exposé individuel, EC=exposé en classe, EX=expérimentation, QCM

Critères évaluation :A=Analyse, S=synthèse,AR=argumentation, D=démarche, R=résultats

EQUIPEMENTS ET MATERIELS UTILISES
Adresses Plateformes	e-learning.univ-mascara.dz/course/view.php?id
Noms Applications (Web, réseau local)	bloc-note, Gnu prolog
Polycopiés	POLYCOPIÉ DE COURS Programmation logique: dspace.univ-mascara.dz:8080/jspui/bitstream /123456789/774/1/
Matériels de laboratoires
Matériels de protection
Matériels de sorties sur le terrain

LES ATTENTES
Attendues des étudiants (Participation-implication)	resoudre chaque exercices des fiches TP maitrise la representation des connaissance,prolog
Attentes de l’enseignant	atteindre les objectifs d'apprentissage du module

BIBLIOGRAPHIE
Livres et ressources numériques	SHOHAM, Yoav (12 mai 2014). Artificial Intelligence Techniques in Prolog
Articles	APT, Krzysztof R. (12 juil. 2001). « The Logic Programming Paradigm and Prolog ».
Polycopiés	dspace.univ-mascara.dz:8080/jspui/bitstream/ 123456789/774/1/Cours-en-ligne %3DProlog__BOUDIA%20__VersionFinale.pdf
Sites Web

Cachet humide du département