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