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...) ; [...]texte imprimé
Y. Chernyak, ancien professeur à l'université de Moscou, vivant aux Etats-Unis, a sélectionné, avec un autre professeur américain, 100 casse-tête de maths et de physique issus de la tradition des "Olympiades russes". Illustrations amusantes, sol[...]texte imprimé
Cet ouvrage expose toutes les méthodes numériques classiques existantes, leurs champs d'application et leurs limites. Dans une seconde partie, il va plus loin en traitant des techniques d'optimisation de formes et de simulation des systèmes comp[...]texte imprimé
Joël Moulen, Auteur ; Nicolas Gabriel Andgiga, Auteur ; Marcel Brissaud, Auteur | Paris : Hermès science publications | Interdisciplinarité et nouveaux outils | 1999Deux approches spécifiques concernant les rapports entre préférences individuelles et choix collectifs. Une première, revisite des travaux sur l'agrégation des préférences initiés par Kenneth Arrow avec le souci d'utiliser de nouveaux formalism[...]texte imprimé
Le vocable de problèmes inverses désigne les situations où l'obtention des grandeurs non mesurables nécessite de résoudre des équations dans le sens inverse de celui habituellement maîtrisé et appliqué. Ce livre présente un état de l'art approfo[...]texte imprimé
Propose un ensemble de problèmes, classés selon leur spécificité thématique : combinatoire, suites et fonctions, jeux mathématiques...texte imprimé
Gérard Roudaut, Auteur ; William Seck, Auteur ; Hubert Silly, Auteur | Levallois-Perret (Hauts-de-Seine) : Studyrama | Poche, ISSN 1952-0050 | 2006Recueil de QCM de mathématiques et de logique proposant différents types d'exercices avec corrigés détaillés : calcul, tests de logique à base de chiffres, de lettres et de figures, raisonnement logique.texte imprimé
Au sommaire notamment : Mots, maths et histoire (B. Hauchecorne) ; Sur la partie décimale des multiples d'un nombre (J.-N. Leconte) ; Peut-on modéliser les actes de la vie courante ? (B. Beauzamy) ; L'algorithme AKS (J. Elie) ; Mathématiques et [...]texte imprimé
Dominique de Werra, Auteur ; ThomasM. Liebling, Auteur ; Jean-François Hêche, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Enseignement des mathématiques | 2003Propose une introduction aux principaux outils de modélisation et de résolution des problèmes de recherche opérationnelle, ainsi qu'aux méthodes d'optimisation et de simulation. De nombreux exemples et exercices.texte imprimé
Dominique de Werra, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Enseignement des mathématiques | 2003Propose une introduction aux principaux outils de modélisation et de résolution des problèmes de recherche opérationnelle, ainsi qu'aux méthodes d'optimisation et de simulation.texte imprimé
Thiébaut Moulin, Metteur en scène, réalisateur ; ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES, Éditeur scientifique | Corcieux (Vosges) : Belrepère | Collection scientifique | 1997Les relateurs arithmétiques (RA) sont développés depuis 1971 par le Groupe Systema en vue de la modélisation des systèmes vivants, et, plus généralement, des systèmes naturels. Ce volume traite de la condition d'adaptation à l'environnement.texte imprimé
Thiébaut Moulin, Metteur en scène, réalisateur ; ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES, Éditeur scientifique | Corcieux (Vosges) : Belrepère | Collection scientifique | 1997Des théorèmes fondamentaux sur la réduction des séquences, la linéarisation d'un R.A. (L. Notale), préparent des applications en cristallographie, en mécanique quantique et en linguistique. Les premières applications du formalisme en biologie so[...]texte imprimé
Les relateurs arithmétiques (RA) sont développés depuis 1971 par le Groupe Systema en vue de la modélisation des systèmes vivants, et, plus généralement, des systèmes naturels. Ce volume représente une introduction au petit cours sur les relateu[...]texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur ; INSTITUT NATIONAL DES SCIENCES APPLIQUÉES DE LYON, Éditeur scientifique | Toulouse : Cépaduès | 1999Les principaux domaines abordés sont le diagnostic et la supervision, les statistiques, l'aide à la décision et plus précisément les raffinements des relations d'ordre induites par les opérations min-max, ou les intégrales floues.texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 1997Les principaux domaines abordés sont la commande, l'aide à la décision, l'analyse des formes et des images, l'intelligence artificielle et les systèmes d'information.texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 1999Résultats les plus récents sur la théorie des ensembles flous et celle des possibilités et leurs applications : la commande floue, domaine historique de l'application des ensembles flous, classification, reconnaissance de formes, analyse de donn[...]texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 2002Résultats les plus récents sur la théorie des ensembles flous et celle des possibilités et leurs applications : la commande floue, domaine historique de l'application des ensembles flous, classification, reconnaissance de formes, analyse de donn[...]texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 2004La conférence LFA est l'occasion pour les chercheurs (universitaires et industriels) de la communauté francophone de présenter et partager leurs résultats les plus récents sur la théorie des ensembles flous et/ou la théorie des possibilités. Le [...]texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 2006Communications sur la théorie des possibilités et les ensembles flous, la théorie des fonctions de croyance, les probabilités imprécises, les ensembles approximatifs et le raisonnement qualitatif.texte imprimé
RENCONTRES FRANCOPHONES SUR LA LOGIQUE FLOUE ET SES APPLICATIONS (2006), Auteur | Toulouse : Cépaduès | 2003La conférence LFA est l'occasion pour les chercheurs (universitaires et industriels) de la communauté francophone de présenter et partager leurs résultats les plus récents sur la théorie des ensembles flous et/ou la théorie des possibilités. Le [...]texte imprimé
Grigore Gogu, Auteur ; Philippe Coiffet, Auteur ; André Barraco, Auteur | Paris : Hermès science publications | Mathématiques pour la robotique | 1996La représentation des déplacements finis et infinitésimaux des robots traite des modèles géométriques et cinématiques directs des robots car leurs qualités d'obtention conditionnent en partie celles des modèles inverses utilisés pour la commande[...]texte imprimé
Thèmes : estimation d'erreur a posteriori pour équations elliptiques et paraboliques non linéaires, génération et adaptation de maillage par optimisation locale, indicateurs d'ereur pour l'équation de la chaleur, adaptation de maillage tridimens[...]texte imprimé
Piotr Breitkopf, Metteur en scène, réalisateur ; Antonio Huerta, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002Au sommaire notamment : introduction aux moindres carrés mobiles, méthodes sans maillages, verrouillage en limite incompressible : pseudo-divergence-nulle element free Galerkin, formulations lagrangiennes alternatives pour la méthode SPH, une ap[...]texte imprimé
Cette théorie des noeuds est devenue depuis 20 ans un des plus grands chantiers de recherche en mathématiques et une interface très active avec la physique.texte imprimé
Issy-les-Moulineaux (Hauts-de-Seine) : Masson Recherches en mathématiques appliquées, ISSN 0292-3168 1996Les "matériaux intelligents" ou "matériaux actifs" sont l'un des domaines actuels de recherche les plus prometteurs. Il s'agit de concevoir des objets capables de se régénérer, ou encore d'éviter les accidents en se mettant "hors circuit" une fo[...]texte imprimé
Dédié à l'étude et à l'application de ces systèmes en prévision de séries temporelles, cet ouvrage met l'accent sur la technique d'agrégation de modèles prédictifs. Concerne notamment l'auto-apprentissage et l'auto-structuration de ces modèles a[...]