 |
 |
| Bienvenue sur le site officiel de A. Mebarki |
|
|
|
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 |
|
|
 |
| 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 |
|
|
|
|
|
|
|
| Programme et Références |
|
|
|
Ingénierie des Modèles (IdM)
Cours pour master - Systèmes d'Information et Données (SID) |
| Mémorandums |
| IdM |
Méta-Modélisation |
OCL |
Transfor-mation des modèles |
Exécution des modèles |
|
|
|
| Programme et Références |
|
|
|
| |
| |
|
|
|
| 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 |
|
|
|
