GEOTRUST SSL CERTIFICATE
Détail de l'indexation
511 : Logique mathématique, Jeux mathématiques |
Ouvrages de la bibliothèque en indexation 511 (107)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Nicolas Lusin, Auteur ; Henri Lebesgue, Auteur | Sceaux (Hauts-de-Seine) : J. Gabay | Les grands classiques Gauthier-Villars, ISSN 0989-0602 | 1996Ce célèbre mémoire d'Henri Lebesgue est non seulement le point de départ du travail de Nicolas Lusin, mais il y est si étroitement lié que ses leçons peuvent être considérées comme un développement de ce mémoire.texte imprimé
La théorie des ensembles et ses méthodes d'application.texte imprimé
Richard Lassaigne, Auteur ; Michel de Rougemont, Auteur | Paris : Hermès science publications | Traité des nouvelles technologies, ISSN 1158-3509 | 1995Consacré à la théorie de la complexité et à la caractérisation logique des classes de problèmes de décision et de calcul. Les méthodes utilisées proviennent directement de la recherche récente en ce domaine. L'éventail des sujets traités va des [...]texte imprimé
Tente d'expliquer la notion de logique interne en mathématiques. Dégage le contenu de cette logique dans une perspective contemporaine. Traite également du contenu mathématique des notions d'indéfini et d'indéterminé de Fermat et Kronecker, avan[...]texte imprimé
Explique en quoi consiste la logique floue, ce qu'elle peut apporter aux utilisateurs potentiels, montre qu'elle repose sur une théorie rigoureuse, et présente des éléments méthodologiques qui vont bien au-delà des applications simples, concerna[...]texte imprimé
Présente les éléments de base de la logique floue, ses principes méthodologiques et donne des exemples de réalisations pratiques. Pour les étudiants en informatique, en mathématiques et les ingénieurs.texte imprimé
Eclaire de façon nouvelle la question du rapport de la logique avec les autres disciplines scientifiques. Puisant ses sources dans les travaux de Fermat, dans le programme de Hilbert et de Kronecker, l'auteur propose une solution au problème de [...]texte imprimé
Les outils logiques et mathématiques proposés s'appliquent en algorithmique et en programmation, en conception de systèmes d'information, en intelligence artificielle et dans l'étude du système et de l'architecture des ordinateurs.texte imprimé
Présente la logique comme une discipline à part entière. Longtemps du ressort des philosophes, elle a aujourd'hui pris sa place au sein des mathématiques. Ce livre explique comment lire des énoncés logiques, comment leur donner un sens et enfin [...]texte imprimé
Aux yeux de l'auteur, professeur de mathématiques, l'adéquation de la connaissance au réel s'actualise sous forme d'une concordance schématique. Cette conception est le fondement d'une méthodologie qui arbitre les contributions de l'expérimenta[...]texte imprimé
Traite des aspects historiques et ludiques de la logique élémentaire, du projet Hilbert, des théorèmes de Gödel, de la logique et de l'informatique, de la logique floue, des jeux et des paradoxes.texte imprimé
Alan Mathison Turing, Auteur ; Jean-Yves Girard, Auteur | Paris : Seuil | Points, ISSN 0768-1143 | 1999Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre aut[...]texte imprimé
Alan Mathison Turing, Auteur ; Yves Girard, Auteur | Paris : Seuil | Sources du savoir, ISSN 1144-6676 | 1995Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre aut[...]texte imprimé
Traite de la maîtrise des hypothèses de passage d'un modèle mécanique à un modèle numérique ; les modèles étudiés peuvent présenter de fortes non-linéarités (plasticité, viscoplasticité, contact unilatéral). La finalité en calcul des structures[...]texte imprimé
En dehors de ses nombreuses possibilités de calcul, ce logiciel est d'une extrême facilité d'apprentissage et d'utilisation sans pour autant sacrifier à la limitation de ses fonctions. Les utilisateurs voulant effectuer des calculs numériques et[...]