Training structure
Faculty of Science
Presentation
Program
Modeling and object programming 1
5 creditsInformation Systems and Databases
5 creditsEnglish S3
2 creditsAnalysis III integration and differential equations element
6 creditsProbabilities
5 creditsAlgebra III Reduction of endomorphisms
6 creditsPropositional logic
5 creditsSystems
5 creditsElementary numerical analysis
3 credits
Analysis IV Function sequences, integer series, Fourier
8 creditsAlgorithms 3
5 creditsTopology of R^n and functions of several variables
5 creditsModeling and Object Programming 2
5 creditsEnglish S4
2 creditsCalculation models
5 creditsStatistics
3 creditsNumerical linear algebra
4 creditsPPE in mathematics
2 credits
Modeling and object programming 1
ECTS
5 credits
Component
Faculty of Science
This course introduces the basic principles of object-oriented modeling and programming. The supporting languages are UML and Java, with possible elements of Python at the end of the semester.
From a modeling point of view, this course focuses on static view modeling, using class and instance diagrams. These diagrams cover the notions of classes, instances, attributes, operations, associations, interfaces and specialization. Their parallel implementation in Java will give them a concrete application, and show in particular the translation of associations in a programming language that doesn't have them. In Java, particular emphasis will be placed on the notions of class, instance, inheritance, instance variable, class variable and method, visibility and package organization, and static and dynamic binding. Data collections widely used in Java will be presented to translate some of the associations (associative lists and dictionaries). These collections will introduce students to the use of generic classes. Implementation of object-oriented programming concepts with Python may be tackled at the end of the semester, depending on progress.
Information Systems and Databases
ECTS
5 credits
Component
Faculty of Science
This teaching unit introduces the design of processing in an information system and the management of relational databases. We will cover the following points:
(1) Information systems: Introduction of the entity/association model, Relational model, Processing modeling (Conceptual processing model, Organizational processing model),
(2) Databases: creating, manipulating and querying relational databases.
Analysis III integration and differential equations element
ECTS
6 credits
Component
Faculty of Science
Following on from the analysis course in S2, this course deals with the notion of series with terms of any sign. The Riemann integral will be defined and applied to linear and other differential equations. The integration section will be extended to generalized integrals.
Probabilities
ECTS
5 credits
Component
Faculty of Science
This course introduces probability spaces, the concepts of probability and independence, and defines discrete and density random variables, with an emphasis on modeling.
Algebra III Reduction of endomorphisms
ECTS
6 credits
Component
Faculty of Science
This course will cover the notions of symmetric group, determinants and will deal with the reduction of endomorphisms in finite dimension (up to Jordan form) and its applications. This is a first step towards spectral analysis.
Propositional logic
ECTS
5 credits
Component
Faculty of Science
- Formal syntax of propositional logic: symbols, connectors, well-formed formulas, syntactic trees, normal and clausal forms
- Semantics of propositional logic: interpretation, model, truth tables, satisfiability, validity, semantic equivalence, logical consequence
- Modeling: formalizing problems in propositional logic, expressiveness limits of propositional logic
- Formal proof: sequences, inference rules, axioms, theorems, LK system, solution method
- Correctness and completeness of a system with respect to semantics: proof of correctness and completeness of LK and resolution method (reduced to propositional case)
- Curry-Howard correspondence
- Introduction to first-order logic (predicate calculus) without function symbol
Systems
ECTS
5 credits
Component
Faculty of Science
The aim of this course is to describe the main concepts of operating systems, particularly Unix.
Elementary numerical analysis
ECTS
3 credits
Component
Faculty of Science
In this course, we'll look at the particularities of floating-point calculus and then go into detail on the most common elementary numerical methods for solving non-linear equations, interpolating a function and approximating an integral. Students will learn how to implement an algorithm to solve a numerical analysis problem.
Analysis IV Function sequences, integer series, Fourier
ECTS
8 credits
Component
Faculty of Science
This course covers the notions of function sequences and series, and the various convergences. Integer and Fourier series will also be developed.
Topology of R^n and functions of several variables
ECTS
5 credits
Component
Faculty of Science
This course covers an introduction to the topology of R^n, the basics of differential calculus for R^n functions in R and optimization. Parametric curves will also be covered.
Modeling and Object Programming 2
ECTS
5 credits
Component
Faculty of Science
Students will be able to model and develop using advanced aspects of object-oriented programming, and will have acquired good programming practices. They will be able to draw UML diagrams expressing the dynamics of interactions in a system, and will consolidate their knowledge of structural modeling.
Statistics
ECTS
3 credits
Component
Faculty of Science
This course introduces the main statistical concepts (graphical representation of data, indicators of central tendency and dispersion, relationships between two variables, confidence intervals).
Numerical linear algebra
ECTS
4 credits
Component
Faculty of Science
This course deals with numerical methods applied to linear algebra, and more specifically to matrices. The notions of conditioning, matrix decompositions and iterative methods, and the calculation of eigenvalues will be introduced.
PPE in mathematics
ECTS
2 credits
Component
Faculty of Science
This course includes presentations on career opportunities, themed lectures and round-table discussions on the various mathematical professions.
For students with a pre-professionalization AED contract, the UE accompanies their activity in the establishment, providing a few elements to enrich their observation and give them perspective. It also prepares them for the written work they will be required to submit.