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é
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...) ; [...]