Chargement...
Chargement...
  1. Auteur
  2. Dehornoy, Patrick

Livres Patrick Dehornoy

Auteur

Support

Série
Disponibilité

1
Mathématiques de l'informatique : cours et exercices corrigés
Mathématiques de l'informatique : cours et exercices corrigés
Auteur : 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 2025
39,20 €
Chargement...
La théorie des ensembles : introduction à une théorie de l'infini et des grands cardinaux
La théorie des ensembles : introduction à une théorie de l'infini et des grands cardinaux
Auteur : Patrick Dehornoy
É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 2025
59,00 €
Chargement...
Complexité et décidabilité
Complexité et décidabilité
Auteur : Patrick Dehornoy
É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 2025
39,00 €
Chargement...
Le calcul des tresses : une introduction, et au-delà
Le calcul des tresses : une introduction, et au-delà
Auteur : Patrick Dehornoy
É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...
1