1. Sciences pures
  2. Mathématiques
  3. Algèbre

EAN13
9782848677828
Éditeur
Presses universitaires de Franche-Comté, Springer, New York, NY
Date de publication
9 juillet 2020
Collection
Pratiques et Techniques
Nombre de pages
400
Dimensions
16 x 5,1 cm
Poids
500 g
Langue
fre
Langue originale
eng

Un Cours D'Algèbre Constructive

Wim Ruitenburg, Fred Richman, Ray Mines

Presses universitaires de Franche-Comté, Springer, New York, NY

Prix public : 20,00 €

Ce livre est la traduction française du classique _A Course in Constructive Algebra_ (1988). Il présente les notions de base de l'algèbre moderne d'un point de vue constructif. Les objets mathématiques ne sont pas limités à une classe restreinte d'« objets constructifs ». L'algèbre constructive est une généralisation de l'algèbre classique en ce que l'on ne suppose pas la loi du tiers exclu. Tout théorème dans ce livre peut donc être compris comme se référant à l'univers conventionnel classique du discours mathématique, et les démonstrations sont correctes dans cet univers. L'agréable surprise est que la démonstration constructive, normalement plus précise, est dans bien des cas plus simple.
Trouver ou

Offres