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  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes 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.