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é
Robert Ferachoglou, Auteur ; Michel Lafond, Auteur ; UNIVERSITE DE BOURGONGNE, Éditeur scientifique | Paris : Ellipses | 2002Réunit une centaine de problèmes posés au Rallye mathématique des lycées de Bourgogne. Ils permettent aux jeunes d'utiliser leurs qualités d'imagination et d'organisation sur des énoncés amusants et pertinents mettant en oeuvre ténacité, astuce [...]texte imprimé
300 problèmes posés aux Olympiades internationales de 1967 à 2000 avec les solutions détaillées.texte imprimé
Michel Criton, Metteur en scène, réalisateur | Paris : POLE | Jeux, tests & maths, ISSN 1625-3558 | 2000Sélection de problèmes posés au championnat international des jeux mathématiques et logiques avec leurs solutions complètes et rigoureuses, classés par thèmes du programme au bac.texte imprimé
80 petits problèmes de logique traités de manière ludique, dans la lignée des tests de Q.I.texte imprimé
Les éléments finis sont une méthode de modélisation qui consiste à "découper" la pièce que l'on étudie en un grand nombre de petits éléments sur lesquels les calculs seront plus faciles à effectuer. Cet ouvrage expose les principes de la méthode[...]texte imprimé
Son but est d'aider à mémoriser les outils offerts par Maple en donnant, outre leur définition et leur syntaxe, un commentaire, en français, et un exemple d'utilisation. S'adresse aux débutants et aux étudiants qui se préparent aux grandes écoles.texte imprimé
Ce livre qui ouvre une petite facette de la logique floue aujourd'hui, correspond à des domaines d'application importants en particulier pour la modélisation et la commande de procédés. Comme il existe une antinomie entre sémantique et précision[...]texte imprimé
Thierry Foucart, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthode + programmes | 1984texte imprimé
Olivier Dordan, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Logique, mathématiques, informatique | 1995L'analyse qualitative est un nouveau domaine de l'intelligence artificielle qui propose des modèles d'analyse à partir de données ou de modèles d'analyse que l'on ne peut pas quantifier. L'auteur propose un état de l'art en ce domaine, par une a[...]texte imprimé
Jean-Jacques Droesbeke, Éditeur scientifique ; Michel Lejeune, Éditeur scientifique ; Gilbert Saporta, Éditeur scientifique ; SOCIÉTÉ FRANÇAISE DE STATISTIQUE, Éditeur scientifique | Paris : Technip | 2006L'analyse statistique des données spatiales et spatio-temporelles constitue un champ de recherche intense en statistique tant sur le plan théorique que sur celui des applications. Cet ouvrage fait le point sur les développements les plus récents[...]texte imprimé
Matlab est un standard pour la recherche scientifique et l'ingénierie. Cet ouvrage présente des applications concrètes de contrôle de procédés et de traitement du signal mettant en oeuvre les fonctionnalités de Matlab 5 et Simulink 2 et des boît[...]texte imprimé
Au sommaire notamment : Aborder les maths autrement (G. Ernst, I. Mees) ; Analyse d'un dysfonctionnement important de notre système d'évaluation (A. Antibi) ; Situation de la statistique dans l'enseignement secondaire de la Communauté française [...]texte imprimé
Thèmes abordés : méthodes numériques parallélisables et leurs applications scientifiques, et plus particulièrement, parallélisation de la méthode des méandres et de la programmation du jeu d'échec.texte imprimé
Jacques Chevallet, Metteur en scène, réalisateur | Paris : Vuibert | Annales des concours, ISSN 1285-2953 | 1999Destiné plus particulièrement aux candidats du concours externe et notamment à ceux qui préparent le Capes dans le cadre du CNED.texte imprimé
Réflexion sur le rapport entre mathématiques et ordinateurs, et plus globalement sur la place des mathématiques dans la science, basée sur la possibilité de calcul des trajectoires d'un système chaotique. Nouvelle version mise à jour et augmenté[...]texte imprimé
Propose d'expliquer quelques-unes des idées de la théorie des systèmes dynamiques fondée par Henri Poincaré à la fin du XIXe siècle. Montre par des simulations numériques comment des lois d'évolution simples peuvent donner naissance à une grande[...]texte imprimé
François Margot, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Cahiers mathématiques de l'Ecole polytechnique fédérale de Lausanne | 1995Après une brève introduction aux concepts de base de la théorie des graphes, de la théorie de la complexité et de celle de la combinatoire polyédrique, l'auteur se centre sur l'étude de problèmes combinatoires possédant une propriété de "décomp[...]texte imprimé
Didier Maquin, Auteur ; José Ragot, Auteur | Paris : Hermès science publications | Pédagogique d'automatique | 2000Revue des méthodes les plus classiques utilisées pour la détection et la localisation de défauts sur un processus : défaillances de capteurs, d'actionneurs, ou du procédé : approches mathématiques et probabilistes, application au criblage.texte imprimé
Abdelhaq El-Jai, Auteur ; UNIVERSITÉ DE PERPIGNAN, Éditeur scientifique | Perpignan : Presses universitaires de Perpignan | Etudes, ISSN 1159-7593 | 2004Aborde l'analyse et le contrôle des systèmes, en rappelant d'abord leurs principales caractéristiques, avant de présenter les systèmes dynamiques localisés, les systèmes distribués et les techniques de contrôle optimal des systèmes localisés.texte imprimé
Un exposé des bases rigoureuses de la théorie des ensembles flous, ainsi que des différents systèmes de mesures de confiance, logiques multivaluées, théorie des possibilités, théorie de l'évidence. Avec une présentation des principaux domaines d[...]texte imprimé
Une approche introductive du calcul logique trivalent et du calcul modal trivalent qui amène graduellement au problème des rapports entre plurivalence et modalité.texte imprimé
Exercices corrigés portant sur un aspect précis du programme, destinés au travail individuel des étudiants des DEUG scientifiques et des classes préparatoires aux grandes écoles d'ingénieurs.texte imprimé
Par un collectif d'auteurs du CNAM et de Paris VI. Les connaissances nécessaires à la résolution des exercices sont exposés dans l'ouvrage de Robert Faure $$Précis de recherche opérationnelle$$.texte imprimé
Siegfried Gottwald, Auteur | Bessières (Haute Garonne) : Teknea | Artificial intelligence, ISSN 0940-699 | 1993Description des apsects mathématiques, théoriques et méthodologiques de la logique floue, des ensembles flous et de leur application aux contrôleurs flous.texte imprimé
Journées X-UPS (2006), Auteur ; Nicole Berline, Éditeur scientifique ; Claude Sabbah, Éditeur scientifique | Palaiseau (Essonne) : Ecole polytechnique | 2004La théorie des graphes regroupe une classe de problèmes de nature combinatoire, dont les plus célèbres sont le problème des ponts de Königsberg (résolu pat Euler) et le problème du coloriage des cartes planes avec quatre couleurs (résolu et appe[...]texte imprimé
111 énigmes : cryptarisme, jeux de frontière, problèmes d'équilibrage, graphes de répartition d'objets (alignement impairs) ou de chiffres (graphes magiques) mais aussi suites logiques ou énigmes arithmétiques.texte imprimé
Introduits voici une dizaine d'années pour mettre sous une forme mathématique certaines notions de physique théorique, les groupes quantiques ont rapidement conquis une place prépondérante au sein des mathématiques grâce à des liens étroits avec[...]texte imprimé
Jean-Paul Delahaye, Metteur en scène, réalisateur | Paris : L'Harmattan | Les rendez-vous d'Archimède, ISSN 1272-3290 | 2005Le hasard qui joue de nos vies, de notre esprit et de nos sciences est étudié de manière interdisciplinaire : des mathématiques aux sciences sociales, de la physique quantique à la psychologie cognitive, de la démographie à la santé publique, de[...]texte imprimé
Jelana Godjevac, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Informatique | 1999Aborde cette discipline mathématique par le biais d'exemples et d'exercices pratiques réalisables avec le logiciel LabVIEW : notions mathématiques de base (modèles et systèmes incertains, notions d'ensemble...) ; systèmes basés sur la logique fl[...]texte imprimé
Ioan Doré Landau, Metteur en scène, réalisateur ; Alina Besançon-Voda, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Présentation des toutes dernières techniques d'identification des systèmes, illustrées par des exemples concrets, et de l'application de l'identification des modèles de procédés à la commande robuste, axée sur l'interaction entre l'identificatio[...]texte imprimé
L'identification des systèmes est une technique expérimentale qui travaille sur des données réelles en utilisant une méthodologie qui s'appuie sur des algorithmes issus de travaux théoriques approfondis. Cours, travaux dirigés et travaux pratiqu[...]texte imprimé
De nombreuses méthodes d'analyse de données permettent la classification de celles-ci selon un critère de ressemblance traduit par des indices différents. Cependant, dans de multiples situations réelles, se pose le problème de la structuration d[...]texte imprimé
Décrit les nouvelles avancées de la théorie du calcul et de la logique et examine spécialement la théorie algorithmique de l'information (complexité de Chaitin-Kolmogorov) : un objet contient une grande quantité d'information s'il ne possède de [...]texte imprimé
Décrit les nouvelles avancées de la théorie du calcul et de la logique et examine spécialement la théorie algorithmique de l'information (complexité de Chaitin-Kolmogorov) : un objet contient une grande quantité d'information s'il ne possède de [...]texte imprimé
Présentation de la méthode des éléments finis pour le calcul des structures, axée sur les principes énergétiques et complétée d'exercices et de problèmes d'applications.texte imprimé
André Delessert, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | 1988Destiné à un large public, ce livre, qui ne nécessite pas de connaissances avancées en mathématiques, est axé principalement sur la logique du premier ordre. Quelques relations avec la langue, la philosophie et les fondements des mathématiques s[...]texte imprimé
Présentation des méthodes d'approximation et des techniques d'analyse numérique matricielle indispensables à l'ingénieur et au physicien, accompagnée de nombreux exercices et illustrée d'exemples d'application : théorie du transport, théorie des[...]texte imprimé
Présentation des méthodes d'approximation et des techniques d'analyse numérique matricielle indispensables à l'ingénieur et au physicien, accompagnée de nombreux exercices et illustrée d'exemples d'application : théorie du transport, théorie des[...]texte imprimé
Michel Bierlaire, Auteur | Lausanne (Suisse) : Presses polytechniques et universitaires romandes | Enseignement des mathématiques | 2006L'objectif de cet ouvrage est d'offrir à la fois les bases théoriques des méthodes d'optimisation et une description détaillée de leurs algorithmes. Il est accompagné d'illustrations et de nombreux exemples.texte imprimé
Mickaële Le Ravalec-Dupin, Auteur | Paris : Technip | IFP-Institut français du pétrole publications | 2005Présente les éléments d'une méthodologie pour la modélisation des fluides dans des réservoirs souterrains, aquifères ou pétrolifères, à l'aide de modèles géostatistiques. Accompagné d'un logiciel nommé GO qui permet de résoudre les exercices pro[...]texte imprimé
Au sommaire notamment : une promenade modale dans l'espace (M. Aiello) ; logique modale pour le parallellisme, orthogonalité et géometrie affine (P. Balbiani) ; logiques modales basées sur la morphologie mathématique pour le raisonnement spatia[...]texte imprimé
Numéro consacré aux logiques multivaluées. Sont traitées notamment la théorie de la preuve, la théorie de modèles, ainsi que les relations avec d'autres logiques non classiques et ses applications à l'informatique.texte imprimé
Introduction à divers aspects du lambda-calcul, inventé en 1930, et considérablement développé depuis, à cause de sa capacité à modéliser les langages de programmation fonctionnels.texte imprimé
S'adresse aux lecteurs intéressés par l'apprentissage mathématique avec de nombreux exemples et exercices : analyse et illustration des divers types de démonstrations, réflexions sur les motivations, les causes d'erreurs et la subjectivité dans [...]texte imprimé
Une initiation à l'histoire de la cryptographie de l'Egypte ancienne à aujourd'hui, dont la pratique a une incidence sur les grands conflits, en politique ou encore dans le domaine financier. Les fondements et les structures de différents procéd[...]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[...]