Science exists because scientists are, first and foremost, writers and speakers. Scientific writing is therefore one of the most important activities for researchers.
This course helps first-year Master Artificial Intelligence and Decision Support Systems students to know how to conduct high-quality research, effectively communicating their results, and contributing to advancements in their field of study.
- Enseignant: Sofiane AMARA
The "Formal Verification Techniques" course provides artificial intelligence students with comprehensive training in the foundations of formal logic and its applications for the verification and validation of complex systems. Key concepts covered include propositional and predicate logic, temporal logics, modal verification methods, and formal proof techniques. The course also emphasizes the use of data mining to extract valuable insights for automated decision-making systems. Through practical examples and guided exercises, students develop analytical skills by formalizing, verifying, and testing systems to ensure their reliability and accuracy.
- Enseignant: Abdelkrim Bouadjemi
L’optimisation combinatoire occupe une place très importante en recherche opérationnelle et en informatique. De nombreuses applications pouvant être modélisées sous la forme d’un problème d’optimisation combinatoire (POC) telles que le problème du voyageur de commerce, l’ordonnancement de tâches, le problème de la coloration de graphes, etc. Cet enseignement permet à l’étudiant de définir un problème, de le modéliser et de choisir la bonne méthode de résolution
- Enseignant: Mourad Bouatouche
- Distance learning
- Entertainment
- Telecommunications.
- Enseignant: Oussama Derni