Treatment in progress...

Cours d'algèbre constructive

Mines Ray, Richman Fred, Ruitenburg Wim, Lombardi Henri, NEUWIRTH Stefan
Publication date 09/07/2020
EAN: 9782848677828
Availability Available from publisher
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'« obj... See full description
Attribute nameAttribute value
Common books attribute
PublisherPUFC
Page Count400
Languagefr
AuthorMines Ray, Richman Fred, Ruitenburg Wim, Lombardi Henri, NEUWIRTH Stefan
FormatPaperback / softback
Product typeBook
Publication date09/07/2020
Weight5 g
Dimensions (thickness x width x height)2.00 x 16.00 x 24.00 cm
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.