License 3

From a theoretical point of view, the notions and concepts addressed will cover the following themes

• Database design: extension of the E/A model and UML.

• Functional dependencies and normalization (transitive closure, coverage

  minimal, multivalued dependencies, Chase's algorithm, the different forms

  normal, etc.).

• SQL complements: data manipulation language (complex queries),

  data definition language, data control language

• Transactions

• Procedural language

• Trigger

• Index and optimization

  From a practical point of view, the database management system used during the lessons will be Oracle. Within the framework of the project, other systems such as MySQL or Postgres may be used.

See full page

This course introduces first order logic, also called predicate calculus.

See full page

The objective of this course is to bring together in the same session researchers and industrialists working in a specific field of computer science. The topics discussed will cover the whole spectrum of computer science while focusing on the courses offered in the Masters of the Computer Science department:

• Master's degree in Computer Science: IASD, Imagine, Algorithms, GL and RIC,

• Master BioInformatics

See full page

The objective of this module is to understand the use of formal and numerical computation both in mathematical experimentation and in helping to solve certain problems in computer science.

See full page

See full page

This teaching unit aims to introduce students to the software environments necessary for modern development. It will cover version management, modeling, test development, virtualization, continuous integration, etc.

See full page

This module explores some advanced topics in algorithm design and analysis.

See full page

In order to define a professional project, it is necessary to know the job market and the sectors of activity, to identify professions and jobs, to argue about one's training path and to start building a network. This module will allow students to build and present a professional project in line with the job market and their training. This module will also address more general communication skills, notably allowing students to present their work and information, both orally and in writing.

See full page

See full page

See full page

See full page

See full page

See full page

See full page

This course introduces first order logic, also called predicate calculus.

See full page

In a first part: to deepen the basic notions of differential calculus seen in L2.

In a second part: introduce the qualitative study of differential equations.

See full page

The objective of this module is to understand the use of formal and numerical computation both in mathematical experimentation and in helping to solve certain problems in computer science.

See full page

Acquire the basic notions of group and ring theories and illustrate them on examples.

See full page

Acquire the basics of measurement theory and integration.

See full page

See full page

To illustrate with a probabilistic point of view the notions seen in the UE " measure - integration - Fourier ", and to introduce the necessary tools to the students who will follow the UE of Stochastic Modeling in the second semester of L3. 

See full page

This teaching unit aims to introduce students to the software environments necessary for modern development. It will cover version management, modeling, test development, virtualization, continuous integration, etc.

See full page

This module explores some advanced topics in algorithm design and analysis.

See full page

See full page

Introduce the basic notions of topology and their use for the study of functional spaces.

See full page

See full page

To deepen the basic notions of group and ring theories seen in the previous semester.

See full page

To acquire the basic notions of mathematical optimization and its applications.

See full page

See full page

See full page