This course provides a detailed study of the structure, organization, and operation of computer systems. It explores how hardware components interact to execute programs efficiently, bridging the gap between digital logic design and high-level programming. Students will learn how instructions are processed, how data flows within a computer, and how architectural decisions impact performance and energy efficiency.
- Enseignant: Mira Lefkir
This course is designed for 2nd-year Computer Science students and focuses on the improvement and practical use of the English language in academic and technical contexts. Its main objective is the development of linguistic skills required for understanding, analyzing, and manipulating scientific and technical documents. Through targeted activities, students will strengthen their reading comprehension, expand their technical vocabulary, and enhance their ability to interpret and produce written materials relevant to computer science. The course emphasizes both accuracy and clarity of expression to prepare students for advanced studies and professional communication in English.
- Enseignant: safa attia
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
- Enseignant: 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
- Enseignant: farid boumaaza
- Enseignant: abdelouahab mani
- 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