L3 - Double Mathematics Computer Science

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