- Enseignant: abdelouahab attia
- Enseignant: hafida chellakh
Les théories des graphes sont devenues un fondement théorique et pratique incontournable dans le processus de modélisation de certains problèmes dans plusieurs domaines. L’apport des graphes dans la résolution des problèmes réside dans la simplicité graphique, la similitude avec des aspects distribués et les notions de parcours et de recherches de chemins. L’objectif de ce cours est de présenter à l’étudiant d’une part un de modélisation de solution sous forme de graphe, d’autre part ce cours contiendra un ensemble de techniques permettant à l’étudiant de résoudre ses problèmes à travers des algorithmes comme la recherche de chemin minimal, le flot maximal etc.
- Enseignant: adel saha
Le Cours(MN) constitue une introduction aux méthodes numériques typiques selon le programme de licence des filières scientifiques. Il s’intéresse aux fondements, ainsi que la pratique des méthodes permettant de résoudre, par des calculs purement numériques, des problèmes d’analyse mathématique. Donc, il permet aux lecteurs étudiants d’appréhender les notions d’analyse numérique et de s’initier aux méthodes de programmation pour résoudre des problèmes de calcul scientifique qu’ils rencontreront durant leurs études ou de leur future activité professionnelle.
Email : farid.pgia@gmail.com
- Enseignant: farid boumaaza
- Enseignant: boubakeur moussaoui
La logique est à la base de l’étude des raisonnements, c’est-‘a-dire des déductions que l’on peut faire sur les modèles formels. Elle est utilisée en informatique pour modéliser de manière formelle des “objets” rencontrés par les informaticiens tel que les: Bases de données, Bases de connaissances, Pré-post conditions d’une procédure, . . . etc.
Le premier chapitre de ce module est consacré au calcul des propositions (syntaxe et sémantique), tandis que le deuxième chapitre donne les principes de la théorie de démonstration pour le calcul des propositions. Le troisième chapitre introduit la notion de calcul des prédicats (syntaxe et sémantique).
Pour toute question, n'hésiter pas à me contacter sur l'adresse email: attiasafa@gmail.com
- Enseignant: safa attia