------------------------------------------------------------------------
CRP (2SC) : Complexity and Problem Solving
This course covers the problem-solving part of artificial intelligence. Graph traversal algorithms are used to solve some AI problems. The theoretical aspects of programming (complexity theory, formal manipulations, lambda calculus...) are also introduced to have a more general view of the resolution process.
ALSDD (1CP) : Algorithms and Data Structures
This course is dedicated to main memory data structures and related algorithms. Performance evaluation by algorithmic complexity (O-notation) is also covered.
SFSD (2CP) : File Structures
This course presents the data structures used to implement the main file structures in external memory. The associated algorithms are also studied and analyzed (performance and complexity measures).
TPRO (2CS) : Advanced Programming
In this course two aspects of advanced programming are presented: Problem solving (Decomposition approaches, Graph exploration, Heuristics...) & Program theory (formal proof, complexity theory, ...). Programming paradigms are also covered: Procedural programming, functional programming and Logic programming.
BDA (PG) : Database Systems
This course presents the concepts related to the architecture of Advanced database systems
It mainly addresses the concepts of: Storage system, Query processing, Concurrency, Recovery, Distribution and Parallelism
Some programming examples (in C language) are presented in this page
-------------------------------------------------------------------------
الكلمات الدالة
خوارزميات ، هياكل البيانات ، هياكل الملفات ، التعقيد ، قواعد البيانات ، استكشاف فضاء البحث ، نظرية البرامج ، نماذج البرمجة (المنطق ، الوظيفية ، الإجرائية)
Mot-clés:
cours, algorithmes, structures de données, structures de fichiers, complexité, bases de données, résolution de problème, théorie des programmes, paradigmes de programmation (logique, fonctionnelle, procédurale)