Page personnelle de A. Mebarki بسم الله الرحمن الرحيم والحمد لله رب العالمين والصلاة والسلام على سيدنا محمد سيد الأولين والآخرين
Bienvenue sur le site officiel de A. Mebarki
Enseignements Recherche Mes étudiants Liens externes A propos
Mes enseignements

Fondements logiques pour l'Informatique (FLI)

Cours pour master Informatique - Toutes options (IAA-RSID-SID)
Mémorandums
Introduction Décidabilité Systèmes Formels Exercices Propositions et prédicats
Exercices logique modale Logique floue Logique temporale Exercices
Bibliographie
Programme et Références

Géométrie Algorithmique (GA)

Cours pour master Informatique - Intelligence Artificielle et ses Applications (IAA)
Mémorandums
Introduction Calcul d'intersections Enveloppe convexe Graphes planaires Triangu-lations
Exercices        
Bibliographie
Programme et Références

 
 

USTO A. M. Informatics
A. Mebarki, Docteur en Informatique
Maître de conférences : Département d'Informatique - Faculté des Mathématiques et Informatique
Université des Sciences et de la Technologie d'Oran - Mohamed Boudiaf
B.P. 1505 31000, Oran El M'Naouer. Algérie
Contact: amebarki@visiondz.info