Training structure
Faculty of Science
Language(s) of instruction
French
Program
Information Systems and Databases 2
5 creditsFirst-order logic
5 creditsPresentations
2 creditsFormal and scientific calculation
4 creditsEnglish S5
2 creditsSoftware engineering workshops
5 creditsAlgorithms 4
5 creditsPre-professionalization in IT
2 credits
Complexity, computability, decidability
5 creditsCheck
5 creditsMultitasking programming
5 creditsMultimedia data
5 creditsSyntax analysis and interpretation
5 creditsProgramming project
5 credits
Information Systems and Databases 2
ECTS
5 credits
Component
Faculty of Science
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.
First-order logic
ECTS
5 credits
Component
Faculty of Science
This course introduces first-order logic, also known as predicate calculus.
Presentations
ECTS
2 credits
Component
Faculty of Science
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
Formal and scientific calculation
ECTS
4 credits
Component
Faculty of Science
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.
Software engineering workshops
ECTS
5 credits
Component
Faculty of Science
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.
Algorithms 4
ECTS
5 credits
Component
Faculty of Science
This module explores some advanced topics in algorithm design and analysis.
Pre-professionalization in IT
ECTS
2 credits
Component
Faculty of Science
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.
Complexity, computability, decidability
ECTS
5 credits
Component
Faculty of Science
Multitasking programming
ECTS
5 credits
Component
Faculty of Science
Syntax analysis and interpretation
ECTS
5 credits
Component
Faculty of Science