- Créateur de cours: Samir Bourekkache
- Créateur de cours: saida adouane
- Créateur de cours: Samia Yakhlef
- Créateur de cours: MOHAMED TAYEB BOUSSABEUR
This course introduces the fundamental principles of formal logical reasoning, which form the basis of modern mathematics and computer science.
Mathematical Logic is a core tool in computer science, underlying areas such as algorithms, programming languages, databases, artificial intelligence, and formal verification.
The general goal of this course is to provide computer science students with a solid foundation in formal logical reasoning, enabling them to express, analyze, and verify reasoning and computational problems in a precise way.
- Créateur de cours: djihane babahenini
- Créateur de cours: souad benseghier
- Créateur de cours: hassiba berkane
- Créateur de cours: Fatima Zohra Torki
- Créateur de cours: Abd El Mouméne Zerari
- Enseignant: dounia bahlali
- Enseignant: Abeiza Chaima
- Enseignant: Laifa Djamila
- Enseignant: Zernadji Loubna
- Enseignant: Attari Selma