Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Cotes BU
Cotes ENSEA
Cotes IUFM
Modifier la recherche
>
CERGY
Elargir la recherche
Sur le même sujet :
Algèbre
Mathématiques -- Fondements
Parcourir le catalogue
par auteur:
Mines , Ray , 1938-2013
Lombardi , Henri , 19..-....
Ruitenburg , Wim
Richman , Fred , 1938-....
Neuwirth , Stefan
Rechercher sur Internet
Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)
Aperçu dans Google Books
Affichage MARC
Auteur :
Mines , Ray , 1938-2013
Ruitenburg , Wim
Richman , Fred , 1938-....
Neuwirth , Stefan
Titre :
Un cours d'algèbre constructive , Ray Mines, Fred Richman, Wim Ruitenburg ; traduction française par Henri Lombardi ; révisée par Stefan Neuwirth
Editeur :
Besançon : Presses universitaires de Franche-Comté , DL 2020
Description :
1 vol. (XII-399 p.) ; 22 cm
Collection :
Didactiques - Mathématiques
ISBN:
978-2-84867-782-8 , br. , 20 EUR
Notes :
Bibliogr. p. 335-339, p. 376-377. Index
Ouvrage publié avec le soutien du Laboratoire de mathémathiques de Besançon (UMR 6623)
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. Dans l’univers mathématique constructif, le mathématicien idéal peut seulement réaliser des constructions finies par nature. Comme le dit Errett Bishop dans son Constructive Manifesto (1967), « la seule manière de démontrer qu’un objet existe est de donner une procédure finie pour le trouver ». En conséquence, les théorèmes d’existence dans ce livre ont tous un contenu algorithmique implicite qui permet de construire l’objet voulu lorsque les hypothèses sont satisfaites. L’algèbre constructive peut aussi être vue comme une généralisation de l’algèbre classique en ce qu’elle ne suppose pas la loi du tiers exclu. Tout théorème dans ce livre peut donc également être compris comme se référant à l’univers conventionnel classique du discours mathématique, et les démonstrations du livre 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
Contient :
Contient une postface d'Henri Lombardi : "L'algèbre dans le style de Bishop : quelques points essentiels du livre A course in constructive algebra"
Sujet :
Algèbre
Mathématiques -- Fondements
Exemplaires
Site
Emplacement
Cote
Type de prêt
Statut
Site de Neuville
Salle de lecture
512.5 MIN
Prêt
Disponible
Réserver
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.25_france_v1m© 2001-2019
SirsiDynix
Tous droits réservés.