Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Livres Patrick Dehornoy
Éditeur(s) :
Dunod
Introduction à l'étude des structures mathématiques sous-jacentes à l'informatique : automates, langages algébriques, calculabilité effective, complexité des algorithmes, logique booléenne, logiques du premier ordre. ©Electre 2026
39,20 €
Chargement...
Éditeur(s) :
Calvage et Mounet
Version augmentée du cours du mathématicien sur les fondements de la théorie des ensembles et sur ses trois résultats notables, au XXe siècle, dans son exploration de la notion d'infini. ©Electre 2026
59,00 €
Chargement...
Éditeur(s) :
Société mathématique de France
Présentation des diverses méthodes pour expliquer le caractère ordonnable des groupes de tresses. Ces approches font appel à l'algèbre auto-distributive, aux arbres finis, à la théorie combinatoire des groupes, aux groupes de difféomorphismes, à la théorie des lamina...
24,00 €
Chargement...
Éditeur(s) :
Springer
Présente les bases de la théorie de la complexité des algorithmes et en dérive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le premier théorème d'incomplétude de Gödel. ©Electre 2026
39,00 €
Chargement...
Éditeur(s) :
Calvage et Mounet
Les tresses recèlent une structure cachée, étudiée dans ce court ouvrage. Une théorie fondée sur des intuitions venues de la topologie, de l'algèbre, de la géométrie et au-delà. Les démonstrations ne demandent pas un niveau supérieur à la première année d'université....
17,00 €
Chargement...
