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)

Cour 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

 
 

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