Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Langage Pascal et logique du premier ordre. Vol. 2. Récursivité et dérécursification, preuves et complexivité d'algorithmes
Éditeur(s): Elsevier Masson
Présente les applications des outils théoriques exposés dans le t. 1. Traite de deux autres aspects fondamentaux : preuves de programmes et complexité des algorithmes. Nombreux exercices corrigés. ©Electre 2024
30,30 €
Chargement...
Les théorèmes d'incomplétude de Gödel
Éditeur(s): Dunod
Les théorèmes d'incomplétude de Gödel démontrent qu'un système d'axiomes cohérent est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes dont résultent ces énoncés. Présente les résultats d'une recherche de cinqu...
28,50 €
Chargement...
Langage Pascal et logique du premier ordre. Vol. 1. Programmation en Pascal, prédicats, systèmes formels
Éditeur(s): Elsevier Masson
Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal. ©Electre 2024
30,30 €
Chargement...
Assemblage, modélisation, programmation : 80 x 86
Éditeur(s): Elsevier Masson
Présente la mise en oeuvre des processeurs 80 x 86 : réalisation d'un minicompilateur, simulation des fonctions clés d'un système d'exploitation, les pièces maîtresses d'outils d'assemblage et de désassemblage, les instruments de calcul de multiprécision... ©Electre ...
41,16 €
Chargement...
Les Théorèmes d'incomplétude de Gödel
Éditeur(s): Elsevier Masson
Les théorèmes d'incomplétude de Gödel démontrent qu'un système d'axiomes cohérent est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes dont résultent ces énoncés. Présente les résultats d'une recherche de cinqu...
37,96 €
Chargement...
Cellular automata in hyperbolic spaces. Vol. 1. Theory
Éditeur(s): Ed. scientifiques GB
Les fondements de la géométrie hyperbolique et des automates cellulaires, puis la méthode pour combiner les deux, à savoir appliquer les automates cellulaires au "pentagrid", possible seulement dans le plan hyperbolique. Le 1er volume traite de théorie, mais contient...
70,00 €
Chargement...
Cellular automata in hyperbolic spaces. Vol. 2. implementation and computations
Éditeur(s): Ed. des Archives contemporaines
Les fondements de la géométrie hyperbolique et des automates cellulaires, puis la méthode pour combiner les deux, à savoir appliquer les automates cellulaires au "pentagrid", possible seulement dans le plan hyperbolique. Ce volume traite des concepts de développement...
70,00 €
Chargement...
Le rêve d'Euclide : promenades en géométrie hyperbolique
Éditeur(s): le Pommier
Cet ouvrage retrace la naissance et l'essor de la géométrie hyperbolique, à la base de l'informatique. Sa genèse remonte à un axiome euclidien, que des générations de mathématiciens ont échoué à démontrer jusqu'au XVIIe siècle, où il apparaît qu'il n'y a pas une mais...
25,00 €
Chargement...