Ce module permet à l’étudiant de s’initier aux techniques utilisées en intelligence artificielle

For this module, we have set two objectives:

  • Introduce students to mathematical logic, particularly the method of proof.
  • Provide students with the necessary foundations to understand the operation of most automated proof tools developed, especially in the academic world, and potentially code such a tool themselves.

Le Module de réseaux sans fils et réseaux mobiles a pour but d'expliquer les enjeux et les principes de fonctionnement des réseaux sans fils et mobiles. Il permet aux étudiants de

  • se sensibiliser aux architectures de réseaux cellulaires et sans fil et leurs spécificités fondamentales.
  • prendre connaissance des évolutions à long terme du domaine - depuis le GSM jusqu’aux réseaux et services 3G et 4G.
  • comprendre les problèmes liés à la mobilité


This module covers semantic integrity in relational databases, transaction management, query evaluation, optimization, parallel architecture servers, client-server architectures, distributed databases, and object-oriented extensions, including object DBMS and SQL3.