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.
- Teacher: KARIMA BENHAMZA