Many problems cannot be solved using conventional analytical methods, such as approaching the exact solution which depends on the number of operations must be repeated. It is really challenging to apply these methods to this kind of problem. As a result, digital methods have emerged.
Computers have made it very easy to apply numerical methods, hence the word numerical. So it makes sense to learn to program, a task which has become within the reach of everyone.
- Enseignant: abdallah belkadi
The Mathematical Logic course is designed to introduce students to the fundamental principles of formal logic, enabling them to structure and formalize reasoning. It covers key concepts such as propositions, logical connectives, proof methods, and argument analysis. In addition to strengthening their logical skills, students learn to identify reasoning errors and apply this knowledge to related fields, such as computer science. The course also encourages the use of computational tools for formal verification and promotes rigorous communication through logical language.
- Enseignant: Abdelkrim Bouadjemi
Comme son nom l’indique, le cours introduit le système d’information qui est un domaine pluridisciplinaire ouvrant la voie à plusieurs spécialités plus tard. Le système d’information est un outil par excellence de gestion et de pilotage de l’entreprise ; C’est grâce au SI, que toute l’organisation est alimentée en information qu’elle vienne de l’extérieur ou de l’intérieur. Avec ses différentes composantes (logiciels, infrastructure, procédures, acteurs, bases de données.. ;), il permet de collecter, traiter, mémoriser et diffuser la bonne information, au bon moment à la bonne personne.
- Enseignant: Sofiane AMARA