Ce module présente les fondements logiques de l’informatique. il se focalise sur trois domaines centraux en informatique: la logique, les modèles de calculs et calculabilité et la complexité en Temps et en espace
Le but du module LFI2 est triple:
1.Introduire les concepts de base de la Complexité Temporelle et spatiale.
2.Etre capable de calculer la complexité d’un algorithme versus d’un problème.
3.Etre capable
de différencier entre les problèmes P, NP et NP complétude.
- Enseignant: KARIMA BENHAMZA