Chargement...
Chargement...
Auteur

Support

Série

Disponibilité

1

Mathématiques de l'informatique : cours et exercices corrigés

É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 2024
38,00 €
Chargement...

La théorie des ensembles : introduction à une théorie de l'infini et des grands cardinaux

É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 2024
59,00 €
Chargement...

Complexité et décidabilité

É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 2024
39,00 €
Chargement...

Le calcul des tresses : une introduction, et au-delà

É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