E-Learning Guelma

Module of Technical English

Objectifs :

Ce module est destiné à approfondir les connaissances de l’étudiant dans le domaine de la modélisation et la simulation. De plus, il initie aux techniques d’évaluation des performances.

Recommandations : Travaux pratiques portant sur la simulation et la modélisation d’un problème réel

Ce module permet à l’étudiant de s’initier aux techniques utilisées en intelligence artificielle

Programme du cours théorique :

Chapitre 1 :

Introduction à l’intelligence artificielle et domaines d’application

Chapitre 2 :

            Formalisme de la représentation des connaissances

Chapitre 3 :

            Les systèmes inférentiels (Prolog, systèmes experts, ...)

Chapitre 4 :

            Systèmes experts et application

Chapitre 5 :

            Méthodologie de construction des systèmes experts

Ce module présente les fondements de l’informatique : il se focalise sur trois domaines centraux en informatique :

a. La logique : Calcul propositionnel et calcul des predicats,
b. Les modèles de calculs: Machine de Turing et calculabilite
c. et la complexité: Temps et espace

Le but de ce module est double :

1-      Introduire les étudiants à la logique mathématique et, en particulier à la théorie de la démonstration.

2-      Fournir aux étudiants les bases nécessaires afin de pouvoir comprendre le fonctionnement de la plupart des outils de démonstration automatique développés en particulier dans le monde académique, et éventuellement de coder eux-mêmes un tel outil.

De nombreuses applications scientifiques commencent par un recueil de données sur lesquelles un traitement est effectué. L’analyse de données est un ensemble de méthodes permettant de décrire et parfois d’expliquer des phénomènes. Beaucoup de ces méthodes reposent sur des fondements essentiellement géométriques ou algébriques et conduisent à des solutions obtenues en minimisant un critère.

Ce module permet à l’étudiant de voir les différents styles de programmation et mettre en évidence les différences qui existent entre ces différents styles.