Licence 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 standardization (transitive closure, coverage, etc.)

  minimal, multivalued dependencies, Chase 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 will be Oracle. Other systems, such as MySQL or Postgres, may be used as part of the project.

See full page

This course introduces first-order logic, also known as predicate calculus.

See full page

The aim of this course is to bring together in the same session researchers and industrialists working in a specific field of computer science. The topics covered will cover the whole spectrum of computer science, with a focus on the courses offered in the Computer Science department's masters programs:

• Master of Computer Science: IASD, Imagine, Algorithmics, GL and RIC courses,

• Master BioInformatics

See full page

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

See full page

See full page

The aim of this course is to provide an introduction to the software environments required for modern development. It covers version management, modeling, test development, virtualization, continuous integration and more.

See full page

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

See full page

To define a career plan, you need to know the job market and sectors of activity, identify professions and jobs, explain your training path and start building your network. This module will enable students to build and present a professional project in line with the job market and their training. This module will also cover more general communication skills, enabling 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

See full page

See full page

This course introduces first-order logic, also known as predicate calculus.

See full page

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

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

See full page

The aim of this module is to understand the use of formal and numerical calculus 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 theory and illustrate them with examples.

See full page

Acquire the basics of measurement theory and integration.

See full page

See full page

Illustrate with a probabilistic point of view the notions seen in the "Measurement - Integration - Fourier" UE, and introduce the tools needed by students who will take the Stochastic Modeling UE in the second semester of L3. 

See full page

The aim of this course is to provide an introduction to the software environments required for modern development. It covers version management, modeling, test development, virtualization, continuous integration and more.

See full page

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

See full page

See full page

Introduce the basic concepts of topology and their use in the study of functional spaces.

See full page

See full page

Deepen the basic notions of group and ring theory covered in the previous semester.

See full page

Learn the basics of mathematical optimization and its applications.

See full page

See full page

See full page