GEOTRUST SSL CERTIFICATE
Détail de l'indexation
511 : Logique mathématique, Jeux mathématiques |
Ouvrages de la bibliothèque en indexation 511 (107)
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[...]texte imprimé
Rémi Barrère, Metteur en scène, réalisateur | Paris : Vuibert informatique | Calcul numérique | 2002Présente le logiciel de calcul Mathematica, outil polyvalent pour des travaux aussi divers que calculs numériques exacts ou approchés, manipulations algébriques ou analytiques, programmation symbolique, traitement des données, représentations gr[...]texte imprimé
Une première approche synthétique de la version 3 du logiciel Mathematica, outil de calcul formel très puissant qui peut résoudre des équations, tracer des courbes, procéder à des études statistiques, mettre en page... Cours illustré accompagné [...]texte imprimé
Une documentation complète sur ce puissant logiciel dans sa version 3. Permet de résoudre des problèmes dans le domaine des mathématiques, des sciences pures et appliquées et de l'ingénierie.texte imprimé
Une documentation complète sur ce puissant logiciel dans sa version 3. Permet de résoudre des problèmes dans le domaine des mathématiques, des sciences pures et appliquées et de l'ingénierie.texte imprimé
Propose de nombreuses applications ainsi que des exercices corrigés recouvrant tous les domaines des mathématiques. Les thèmes retenus sont souvent issus des oraux aux grandes écoles.texte imprimé
Une analyse de l'évolution des mathématiques. Substituant l'analogie mathématique à l'analogie mécanique, la modélisation renonce aujourd'hui à toute image unifiée de la nature et étend le champ de la mathématisation aux sciences non physiques, [...]texte imprimé
Roger Beslon, Auteur ; Daniel Lignon, Auteur | Angers : le Polygraphe | Les cent..., ISSN 1776-3649 | 2003Présente au côté de notions essentielles (nombre pi, fonction...) des aspects insolites des mathématiques (carré magique, algorithme de Dieu, nombre d'or...), des problèmes ludiques (le partage des 17 chameaux, la mise en bouteille de la Terre..[...]texte imprimé
Les techniques inspirées de celles du plus célèbre découvreur de solutions de l'histoire, Albert Einstein.texte imprimé
GROUPE POUR L'AVANCEMENT DES MÉTHODES NUMÉRIQUES ET L'INGÉNIEUR, Auteur ; INTERNATIONAL SOCIETY FOR INNOVATIVE NUMERICAL ANALYSIS, Auteur ; AFCET, Auteur ; P. Lascaux, Éditeur scientifique | Paris : Pluralis | Méthodes numériques dans les sciences de l'ingénieur, ISSN 0756-1768 | 1983Actes du colloque, traitant les thèmes suivants : thermohydraulique, combustion, écoulements, problèmes couplés, optimisation, dynamique des structures, comportement non linéaire des matériaux, mécanique de la rupture, mécanique du solide, éléme[...]texte imprimé
Ce manuel d'abstraction statistique procède à la comparaison de plusieurs groupes, à la quantification de l'effet sur une variable d'intérêt d'une ou plusieurs autres variables, et à la comparaison de régression dans divers groupes.texte imprimé
Cet ouvrage rassemble plusieurs textes qui ont été soumis aux candidats de l'épreuve de modélisation du concours d'agrégation de mathématiques. Il s'agit d'un ouvrage collectif écrit par les membres du jury. Les textes sont complétés par une pr[...]texte imprimé
ENTRETIENS DE LA PHYSIQUE (2000), Auteur ; SOCIETE FRANCAISE DE PHYSIQUE, Auteur ; CONSEIL NATIONAL DES INGENIEURS ET SCIENTIFIQUES DE FRANCE, Auteur ; Paul Lemoine, Metteur en scène, réalisateur | Les Ulis (Essonne) : EDP sciences | Les échanges physique-industrie | 1999Introduction à la modélisation des systèmes de grande taille. Exemples de simulation numérique de l'acte chimique élémentaire à l'interface solide-fluide : hydrodésulfuration du thiophène sur sulfure de molybdène, empoisonnement des métaux noble[...]texte imprimé
Synthèse sur l'algorithmique et son histoire, l'informatique théorique, les algorithmes de tri, la programmation dynamique, les algorithmes gloutons, etc.texte imprimé
Au sommaire notamment : Dialogique temporelle et hybridation (L. Damien, M.-H. Gorisse, S. Rahman) ; Logiques dialogiques multivalentes (H. Rückert) ; Heuristique formelle et logiques modales non normales (L. Keiff) ; Sur les opérateurs rétrogra[...]texte imprimé
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; [...]