This course provides students with a systematic introduction to the foundational principles of Mathematical Logic. Students will engage in the formalization of deductive reasoning through the study of symbolic languages, with particular emphasis on Propositional and Predicate Calculus. A core component of the work will involve the construction and critical analysis of formal proofs.
- Créateur de cours: Tarek Ababsa
- Créateur de cours: djihane babahenini
- Créateur de cours: Sabrina Benameur
- Créateur de cours: Salima Berima
This course is intended for second-year Computer Science students to provide a clear and practical introduction to information systems, which are fundamental to managing data, supporting decision-making, and enhancing organizational efficiency. It covers the key concepts, including the structure and functions of information systems, their components, and their role within businesses. Understanding these topics will equip students with the knowledge needed to design, analyze, and improve information systems, laying a strong foundation for future careers in IT and computer science. This material aims to blend theory with practical insights to prepare students for the challenges of modern information technology environments.
- Créateur de cours: Houcine Belouaar
- Créateur de cours: fouzia rajah
Objectives of the course:
Graph theory has become an essential theoretical and practical foundation in the modeling process of certain problems across various fields. The contribution of graphs to problem solving lies in their graphical simplicity, their similarity to distributed aspects, and the notions of paths and route-finding. The objective of this course is, on the one hand, to introduce students to the modeling of solutions in the form of graphs, and on the other hand, to provide a set of techniques enabling them to solve problems through algorithms such as shortest path search, maximum flow, etc.
- Créateur de cours: Foudil Cherif
The content of this course material contains into two main parts: (i) The first part focuses primarily on the main components of a computer and their interactions: Processor, Memory, and Peripheral Organs and a detailed view of the memories (central memory, cache memory and auxiliary memories). Secondly, this first part provides the notions of computer instructions. (ii) The second part consists of presentation of the architecture and internal components of the microprocessor, their roles and their interconnections. Then, this part contains explanations of the components of microprocessor MIPS R3000 and its assembly language. Thus, we illustrate the concepts and internal architecture on the MIPS R3000 industrial processor. This course is are organized into 4 chapters:
- Chapter 1: Introduction and basic components of a computer
- Chapter 2: Notions of computer instructions
- Chapter 3: The microprocessor
- Chapter 4: The MIPS R3000 microprocessor
- Créateur de cours: Salima Berima
- Créateur de cours: Samir Bourekkache