Fondements du calcul et du raisonnement - UFR de mathématique et d'informatique

Cours (CM) -
Cours intégrés (CI) 24h
Travaux dirigés (TD) -
Travaux pratiques (TP) 4h
Travail étudiant (TE) -

Langue de l'enseignement : Français

Niveau de l'enseignement : B2-Avancé - Utilisateur indépendant

Description du contenu de l'enseignement

Fondement du calcul et du raisonnement

-Logique élémentaire.
-Techniques de preuve (directe, contraposée, absurde, rédaction).
-Théorie des ensembles.
-Fonctions, injectivité, surjectivité.
-Propriétés fondamentales de N. Principe de récurrence.
-Cardinal d'un ensemble, dénombrement élémentaire.

Partie pratique (4hTP) sur logiciel edukera.