Fondements du calcul et du raisonnement

  • 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.
 

Contact

UFR de mathématique et d'informatique

7, rue René Descartes
67084 STRASBOURG CEDEX
0368850200

Formulaire de contact

Responsable

Pierre Guillot