Ce module fournir aux étudiants les bases fondamentales en électronique analogique et numérique afin de leur permettre de comprendre le fonctionnement des composants à semi-conducteurs et des circuits logiques, indispensables à l’étude des systèmes informatiques, de l’architecture des ordinateurs et de l’électronique numérique.
Ce module constitue un socle fondamental pour les enseignements ultérieurs tels que :
• Architecture des ordinateurs
• Électronique numérique
• Microprocesseurs et systèmes embarqués
• Systèmes numériques
This course introduces the foundations of formal logic by first distinguishing between syntax, which studies the structure of formulas, and semantics, which analyzes their meaning and truth values. It then presents propositional logic, where true or false statements are combined using logical connectives, and examined through truth tables, tautologies, satisfiability, validity, normal forms, and the resolution method for proving formulas. Finally, the course covers predicate logic, which is more expressive and allows the representation of objects, properties, and relations using terms, predicates, and quantifiers, while defining concepts such as free and bound variables, structures, and formula satisfaction. This course provides a fundamental basis for mathematical reasoning and applications in computer science.
This module aims to demystify AI, stimulate curiosity, and introduce its practical and responsible use in an academic context. It seeks to provide an accessible, concrete, and engaging introduction to AI by combining theoretical input with hands-on activities focused on academic applications.
This module, typically offered in academic programs such as mathematics, engineering, computer science, and other scientific disciplines.
The course covers key topics such as indefinite and definite integrals, series expansions, differential equations of both first and second order, and functions of several variables. This module prepares students to apply mathematical principles to real-world problems and advanced studies in various fields.
Targeted Skills:
-
Mastering indefinite and definite integrals.
- Using Taylor and Maclaurin series to approximate functions.
-
Solving first- and second-order differential equations.
-
Differentiating and optimizing multi-variable functions.