langage mathématique

 Cours – TD (très court !) sur le langage mathématique, à destination d'étudiants de première année de licence.

• poly de cours : jeu de preuve


• devoir maison (tout)


• un TD sur le caractère tautologique des 14 axiomes d'Hilbert  corrigé
• ancien DS (l'énoncé n'est pas de mon fait) corrigé
• un tout petit problème pour s'exercer sur les propositions  corrigé
• un court problème pour s'exercer sur les prédicats  corrigé
• un mini-DM optionnel établissant la lemme de substitution (versions propositionnelle et prédicative)  corrigé
• quelques exercices pour manipuler les fonctions à travers les prédicats  corrigé
• pour se faire la main sur les ensembles  corrigé

 Si vous êtes tombés ici par hasard, vous pouvez remonter l'arbre de ce site jusqu'à ma page d'accueil ; peut-être trouverez-vous autre chose qui vous intéressera.