Training structure
Faculty of Science
Presentation
Program
Select a program
L2 - Computer Science
Modeling and object programming 1
5 creditsInformation Systems and Databases
5 creditsWeb programming
4 creditsEnglish S3
2 creditsPropositional logic
5 creditsSystems
5 creditsArithmetic
4 credits
Algorithms 3
5 creditsIP, protocols and communications
4 creditsModeling and Object Programming 2
5 creditsLinear algebra and matrix calculus
4 creditsEnglish S4
2 creditsProgramming project
5 creditsCalculation models
5 credits
Modeling and object programming 1
ECTS
5 credits
Component
Faculty of Science
The teaching unit presents the basic principles of modeling and programming by objects. The supporting languages are UML and Java, with possibly elements of Python at the end of the semester
From a modeling point of view, the teaching unit focuses on the modeling of static views, with class and instance diagrams. Through these diagrams, the notions of classes, instances, attributes, operations, associations, interfaces and specialization will be seen. Their parallel implementation in Java will allow to give them a concrete application and to show in particular the translation of associations in a programming language which does not have them. In Java, the focus will be on the notions of class, instance, inheritance, instance variable, class variable and method, visibility and organization in packages, and static and dynamic bindings. Data collections widely used in Java will be presented to translate some of the associations (lists and associative dictionaries). These collections will introduce students to the use of generic classes. The implementation of the concepts of object-oriented programming with Python may be addressed at the end of the semester depending on the progress.
Information Systems and Databases
ECTS
5 credits
Component
Faculty of Science
This course presents 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: creation, manipulation and interrogation of relational databases.
Web programming
ECTS
4 credits
Component
Faculty of Science
Continuation of the first year EU.
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: formalization of problems in propositional logic, expressiveness limit of propositional logic
- Formal proof: sequences, inference rules, axioms, theorems, LK system, resolution method
- Correctness and completeness of a system with respect to a semantic: proof of correctness and completeness of the LK and of the resolution method (reduced to the propositional case)
- Correspondence from Curry-Howard
- Introduction to first order logic (predicate calculus) without function symbol
Systems
ECTS
5 credits
Component
Faculty of Science
The objective of this course is to describe the main concepts of operating systems and in particular of Unix.
Arithmetic
ECTS
4 credits
Component
Faculty of Science
-
bases and change of bases,
-
representation of numbers,
-
modular arithmetic,
-
primality, decomposition, gcd and Bezout...
IP, protocols and communications
ECTS
4 credits
Component
Faculty of Science
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 create UML diagrams expressing the dynamics of interactions in a system and will consolidate their knowledge of structural modeling.
Linear algebra and matrix calculus
ECTS
4 credits
Component
Faculty of Science