Recherche simple :

  •    Tous les mots : Mathématiques -- Fondements
  • Aide
  • Eurêkoi Eurêkoi

Documents en rayon : 139

Voir tous les résultats les documents en rayons

Résumé : Afin d'éclairer la relation que les mathématiques entretiennent avec le réel, l'auteur présente dans un premier temps la particularité emblématique que constitue leur organisation déductive. Il étudie ensuite de quoi et comment les notions mathématiques (nombres, figures, fonctions, structures) sont constituées.

Résumé : A travers des théorèmes, des problèmes ludiques et des tours de magie mathématiques, une présentation des principaux concepts de l'arithmétique. ©Electre 2022

Résumé : Un cours abordant notamment les séries numériques, les espaces vectoriels normés, les dérivations des fonctions à valeurs vectorielles ou encore les suites et séries de fonctions. ©Electre 2023

Résumé : Un cours abordant notamment les barycentres, les outils vectoriels, les probabilités sur un univers fini ou la géométrie élémentaire dans le plan et dans l'espace. ©Electre 2023

Résumé : Introduction à la philosophie des mathématiques.

Résumé : Fondée sur les jeux, cette introduction à la logique aborde les logiques propositionnelles, modales, du premier et du second ordre, la récursivité et la correspondance preuves-programme. ©Electre 2015

Résumé : Développe un calcul différentiel et intégral et montre les applications de ce calcul en théorie des systèmes logiques et en informatique : notions fondamentales du calcul différentiel booléen, applications les plus représentatives de ce calcul, calcul différentiel pour la logique multivaluée, calcul intégral booléen, éléments d'analyse différentielle pour la logique des prédicats.

Explorer les sujets liés :