- Enseignant: NADJETTE BENHAMIDA

L'analyse de la complexité d'un algorithme traite ainsi l'étude formelle de la quantité de ressources en temps ou/et en espace nécessaire à son exécution.
Le but de ce module est de :
1- Comprendre les bases de l'analyse d'algorithmes la théorie 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.
4. Comprendre la complexité spatiale
- Enseignant: KARIMA BENHAMZA

- Enseignant: KARIMA BENHAMZA
Ce module permet à l’étudiant de se rendre compte du fondement théorique des sémantiques des langages de programmation. Sur des exemples de langages simples, ce cours montrera les notions de sémantiques opérationnelles, dénotationnelles et axiomatiques sur différents paradigmes de programmation
Prérequis
Notions de bases sur la théorie des langages et de compilation.
- Enseignant: ADEL BENAMIRA
Cet enseignement porte sur les Techniques d’Expression et de Communication Scientifique et Technique (TEC) (Communications écrites et orales : élaboration et présentation de documents écrits, visuels (Posters) et audiovisuels pour soutenances, séminaires, colloques, congrès, articles, rapports…) et préparation à leur présentation orale.
L’enseignement TEC vise à accompagner l’étudiant tout au long de son cursus afin qu’il puisse chercher, développer et renforcer ses compétences cognitives, attitudinales, comportementales inhérentes à la recherche scientifiques, à la valorisation des travaux réalisés et aux modalités de la diffusion des informations scientifiques- Enseignant: MOHAMMED NADJIB KOUAHLA