Logic is the foundation of the study of reasoning, that is, the deductions that can be made about formal models. It is used in computer science to formally model "objects" encountered by computer scientists, such as databases, knowledge bases, pre- and post-conditions of a procedure, etc.
The first chapter of this module is devoted to propositional calculus (syntax and semantics), while the second chapter presents the principles of proof theory for propositional calculus. The third chapter introduces the concept of predicate calculus (syntax and semantics).
For any questions, feel free to contact me at the email address: attiasafa@gmail.com
- Teacher: safa attia
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
- Teacher: farid boumaaza
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.
- Teacher: adel saha
- Teacher: abdelouahab attia