Ce module présente les fondements logiques de l’informatique. Il a pour objectifs de:
1.Introduire les étudiants à la logique mathématique et en
particulier a la théorie de la démonstration et la calculabilité (Machine
de Turing)
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.
- Teacher: KARIMA BENHAMZA
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.
- Teacher: NADIA GUERROUI
- Teacher: HOUDA TADJER