Recherche simple :

  •    Sujet : Logique mathématique
  • Aide
  • Eurêkoi Eurêkoi

Documents en rayon : 169

Voir tous les résultats les documents en rayons

Résumé : En croisant idéalisme et réalisme, l'auteur questionne les affirmations selon lesquelles les objets dont traitent les mathématiques possèderaient un être identique en tout temps et pour tout sujet pensant, et qu'ils auraient été produits par un seul mathématicien. ©Electre 2023

Résumé : Des études sur la circulation des savoirs mathématiques dans la région de la Méditerranée au cours de l'Antiquité puis au long de la civilisation arabo-musulmane. Les contributeurs examinent également l'influence de ces mathématiques sur la constitution de disciplines nouvelles comme l'optique, l'acoustique et l'astronomie. ©Electre 2023

Résumé : L'auteur se penche sur la notion d'infini et les disproportions qui en résultent dans les travaux de Pascal. ©Electre 2023

Résumé : Le philosophe grec présocratique Zénon d'Elée explique que le mouvement semble supposer une chose impossible, achever un infini. Pour résoudre ce paradoxe, qu'il soutient, l'auteur propose une enquête en cinq temps, depuis l'héritage antique concernant l'infini, le temps et le continu jusqu'à une solution où l'idéalisme s'identifie au réalisme. ©Electre 2023

Résumé : Un cours complet détaillé avec de nombreux exemples, des programmes écrits dans les deux langages étudiés au sein de cette filière, C et OCaml, plus de soixante exercices et leurs corrigés complets.

Résumé : Les fondements de la logique vue en cours d'informatique et de mathématiques appliquées à l'informatique, avec de nombreux exercices corrigés et une ouverture sur des applications pratiques : logique et base de données, structures automatiques et jeux d'évaluation. Accessible gratuitement, l'outil en ligne Pravda donne accès à des exercices en logique formelle pour les systèmes de preuve. ©Electre 2022

Résumé : Exposé des bases de la logique des propositions, des prédicats et des relations ainsi que de leur fonctionnement calculatoire. Avec, en fin d'ouvrage, des exercices corrigés et commentés. ©Electre 2022

Résumé : Les auteurs reviennent sur la période d'avant l'algèbre, pendant laquelle les calculs se faisaient sur la base d'une méthode utilisant une réponse fausse, sa comparaison avec la vraie réponse et un raisonnement de proportionnalité entre les deux. ©Electre 2022

Résumé : Vingt chercheurs retracent l'histoire de la philosophie des mathématiques de l'Antiquité au XXe siècle, avant d'aborder les points essentiels de la recherche au XXe siècle, tels que la théorie des ensembles ou le dilemme de Benacerraf. La philosophie de la pratique mathématique et de la notion de preuve informelle ou encore l'applicabilité des mathématiques sont également analysées. ©Electre 2022

Résumé : 500 questions corrigées issues d'annales, et d'autres inédites, pour préparer les épreuves de mathématiques et de raisonnement logique présentes dans de nombreux concours. ©Electre 2022

Explorer les sujets liés :