GEOTRUST SSL CERTIFICATE
Résultat de la recherche
31 recherche sur le mot-clé 'fondements'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
texte imprimé
Traite des propositions, des prédicats du premier ordre, de la récursivité primitive, et de la formalisation de l'arithmétique. Des algorithmes de décision y sont développés et les opérateurs de description sont entièrement traités.texte imprimé
Présente les résultats les plus pointus dans la recherche en théorie de la preuve. Contient une explication complète du programme technique, élaborée par Hilbert en vue de prouver la non-contradiction de l'arithmétique de Peano du premier ordre.texte imprimé
L'analyse factorielle des données ; régressions linéaires, analyse en composantes principales (ACP) et analyse factorielle des correspondances (AFC). Ces données sont présentées à l'aide d'exemples simples, les notions plus abstraites sont trait[...]texte imprimé
Jean-Michel Salanskis, Auteur | Villeneuve-d'Ascq (Nord) : Presses universitaires du Septentrion | Histoire des sciences | 1999Cette étude est une présentation synthétique, relevant du genre de l'histoire (fort récente) des mathématiques, d'une certaine lignée théorique de l'analyse non standard. C'est aussi l'explication d'une position nouvelle dans le débat sur les fo[...]texte imprimé
Un philosophe entreprend une traversée des sciences et apporte le point de vue de la philosophie dans l'approche des grands problèmes scientifiques.texte imprimé
Emile Borel, Auteur | Paris : ACL-les Editions du Kangourou | Textes & conférences mathématiques, ISSN 1623-0671 | 1999E. Borel (1871-1956), grand mathématicien a participé à un congrès en 1948 : définition des concepts mathématiques et vocabulaire. L'intégralité de ces textes se trouve dans $$Les grands courants de la pensée mathématique$$.texte imprimé
Expose les bases de l'analyse moderne : la théorie des ensembles, les nombres réels, les espaces métriques et normés, le calcul différentiel, les fonctions analytiques, etc. Ces notions constituent le bagage minimum indispensable à tout mathémat[...]texte imprimé
André Deledicq, Éditeur scientifique | Paris : ACL-les Editions du Kangourou | Textes & conférences mathématiques, ISSN 1623-0671 | 1999Textes du passé ou de conférences récentes, faciles à lire et portant sur des questions mathématiques indispensables.texte imprimé
Concept de base des mathématiques, le nombre est une des notions fondamentales de l'entendement humain ; l'histoire des nombres permet de retracer la pensée mathématique depuis Pythagore, jusqu'au définisseur d'infini Cantor, en passant par Desc[...]texte imprimé
Maurice Caveing, Auteur | Villeneuve-d'Ascq (Nord) : Presses universitaires du Septentrion | Histoire des sciences | 1997Etude des premiers développements théoriques auxquels ont donné lieu les nombres et les figures de géométrie aux VIe et Ve siècles avant J.-C. Cet ouvrage met en lumière l'originalité des Grecs comparée aux procédés de calcul des Egyptiens et de[...]