Second Year of the Bachelor's Degree Program

This course introduces the basic principles of object-oriented modeling and programming. The primary languages covered are UML and Java, with some Python concepts possibly introduced at the end of the semester.

From a modeling perspective, this course focuses on static modeling, including class and instance diagrams. Through these diagrams, students will explore the concepts of classes, instances, attributes, operations, associations, interfaces, and specialization. Implementing these concepts in parallel in Java will provide concrete applications and, in particular, demonstrate how associations are represented in a programming language that does not natively support them. In Java, particular emphasis will be placed on the concepts of classes, instances, inheritance, instance variables, class variables and methods, visibility, organization into packages, and static and dynamic binding. Commonly used data collections in Java will be presented to represent certain associations (lists and associative dictionaries). These collections will introduce students to the use of generic classes. The implementation of object-oriented programming concepts using Python may be covered at the end of the semester, depending on the class’s progress.

View the full page

This course covers the design of business processes within an information system and the management of relational databases. We will cover the following topics:
(1) Information Systems: Introduction to the entity-relationship model, the relational model, and business process modeling (conceptual business process model, organizational business process model),

(2) Databases: Creating, Manipulating, and Querying Relational Databases.

View the full page

Continuation of the first-year EU course.

View the full page

View the full page

- Formal syntax of propositional logic: symbols, connectives, well-formed formulas, syntactic trees, normal forms, and clause forms

- Semantics of propositional logic: interpretation, model, truth tables, satisfiability, validity, semantic equivalence, logical consequence

- Modeling: formalization of problems in propositional logic; expressive limits of propositional logic

- Formal proof: sequences, inference rules, axioms, theorems, the LK system, the resolution method

- Correctness and completeness of a system with respect to a semantics: proof of the correctness and completeness of the LK and the resolution method (reduced to the propositional case)

- Curry–Howard Correspondence

- Introduction to first-order logic (predicate calculus) without function symbols

View the full page

The objective of this learning unit is to describe the main concepts of operating systems, particularly Unix.

View the full page

• bases and changing bases,

• representation of numbers,

• modular arithmetic,

• primality, factorization, GCD, and Bézout's theorem...

View the full page

View the full page

View the full page

View the full page

Students will learn to model and develop using advanced aspects of object-oriented programming and will have acquired best programming practices. They will be able to create UML diagrams that illustrate the dynamics of interactions within a system and will strengthen their knowledge of structural modeling.

View the full page

View the full page

View the full page

View the full page

View the full page