- منشئ المقرر: Samir Bourekkache
- منشئ المقرر: saida adouane
- منشئ المقرر: Samia Yakhlef
- منشئ المقرر: 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.
- منشئ المقرر: djihane babahenini
- منشئ المقرر: souad benseghier
- منشئ المقرر: hassiba berkane
- منشئ المقرر: Fatima Zohra Torki
- منشئ المقرر: Abd El Mouméne Zerari
- المعلم: dounia bahlali
- المعلم: Abeiza Chaima
- المعلم: Laifa Djamila
- المعلم: Zernadji Loubna
- المعلم: Attari Selma