Fondements mathématiques pour l'informatique (1re partie) [INFOB125]

A l'issue de l'enseignement, l'étudiant devra être capable

• de manipuler le langage mathématique, de manière formelle afin de réaliser des modélisations, des déductions ou encore des démonstrations,
• de maîtriser les propriétés énoncées au cours théorique, pour manipuler des expressions propres à la logique du premier ordre, à la théorie des ensembles et des relations, et au calcul booléen,
• de maîtriser les procédures d'utilisation des fonctions de codage,
• de travailler numériquement dans différentes bases, avec les entiers et les réels.

Ce cours contient les concepts propres

• à la logique du premier ordre,
• à la théorie des ensembles et des relations,
• au calcul booléen
• aux fonctions de codage, et en particulier le codage linéaire systématique
• à la représentation des nombres entiers et réels.