Les démonstrations mathématiques : cours complet avec 127 exercices résolus
La 4e de couv. indique : "Ce livre présente le langage utilisé par les mathématiciens en commençant par la construction et la sémantique des énoncés. Les règles de raisonnement à la base de toutes les démonstrations sont ensuite exposées en détail. Nous détaillons également les éléments de fran...
Spremljeno u:
| Glavni autori: | David, René, 1948-2022, mathématicien, Hyvernat, Pierre, 1978- (Autor), Nour, Karim, 19..- (Autor), Raffalli, Christophe, 19..- (Autor) |
|---|---|
| Daljnji autori: | Dowek, Gilles, 1966-2025, informaticien et logicien (Autor uvoda, itd.) |
| Format: | Livre papier |
| Jezik: | Français |
| Izdano: |
Paris :
Ellipses
DL 2017.
|
| Serija: | Références sciences
|
| Teme: | |
| Bilješka: |
Faute d'orthographe sur le nom de l'auteur Christophe Raffalli écrit sur la page de couverture et la page de titre : "Rafalli" Autre contribution : Christophe Raffalli (auteur) |
| Autres localisations: | Voir dans le Sudoc |
Similar Items
-
Les démonstrations : l'art de convaincre
(Livre papier)
Cohen, Gilles, 1951-2023, mathématicien
Éditions Pole, 2015 -
Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
(Livre papier)
David, René, 1948-2022, mathématicien, i dr.
Dunod, 2004 -
Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
(Livre numérique)
David, René, 1948-...., mathématicien, i dr.
Dunod, 2025 - Ecriture, raisonnement et découverte de la démonstration en mathématiques (Article revue INSPE)
-
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
(Article ou chapitre numérique)
Dowek, Gilles
Mathématiques et sciences humaines, 2006

