Chargement...
Chargement...

Livres Maurice Margenstern

Auteur

Support

Série

Disponibilité

1
É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 2025
30,30 €
Chargement...
É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...
Éditeur(s) : Elsevier Masson
Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal. ©Electre 2025
30,30 €
Chargement...
É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...
É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...
É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...
É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...
É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...
1