GEOTRUST SSL CERTIFICATE
Détail de l'indexation
510.3 Dictionnaires et encyclopédies de mathématiquesOuvrages de la bibliothèque en indexation 510 (8)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
texte imprimé
Les Fondements des mathématiques ont été rédigés par Bernays en suivant fidèlement les vues de Hilbert. Publiés par Springer en 1934 et 1939, ils retracent les conceptions visionnaires de Hilbert sur la mathématisation de la logique, et le dével[...]
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é
texte imprimé
André Arnold, Auteur ; Irène Guessarian, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Enseignement de l'informatique | 2001Présente des notions mathématiques nécessaires aux étudiants en licence en informatique.
texte imprimé
Françoise Bertrandias, Auteur ; Jean-Paul Bertrandias, Auteur | Saint-Martin-d'Hères (Isère) : PUG | Grenoble sciences, ISSN 0767-371X | 1994Présente aux étudiants et aux formateurs les principaux outils mathématiques utilisés par les sciences de la nature et de la vie, dans trois directions : élaboration des données expérimentales, modélisation mathématique et techniques statistiques.
texte imprimé
Traite de la théorie des ensembles et des relations, du calcul booléen, de la logique du premier ordre, de la théorie des langages et des automates à états finis, des graphes et arbres, du calcul matriciel et d'algèbre linéaire, des polynômes et[...]
texte imprimé
Ecrit par des mathématiciens de différents horizons : enseignants du secondaire, de l'université, de l'IUFM, du CNRS, français et étrangers, cet ouvrage propose plusieurs articles autour du théorème de Hadamard et de La Vallée Poussin.
