Mathématiques de l'informatique. Cours et exercices corrigés

Non, la théorie des ensembles, ce n'est pas dessiner des patates et des flèches... c'est élaborer en une théorie mathématique notre exploration de l'infini, ni plus, ni moins. Non, la théorie des ensembles n'est pas le système fondationnel unique des mathématiques... c'est un des systèmes possibles, tout comme par exemple la récente théorie homotopique des types. Non, l'entier 2 n'est pas l'ensemble {0,{0}}... celui-ci n'est qu'une représentation de l'entier 2 par un ensemble. Non, la non-prouvabilité de l'hypothèse du continu à partir du système ZF n'indique pas que la question doive rester à jamais ouverte... c'est juste le signe que les bases axiomatiques actuelles sont incomplètes : le système ZF a d'ores et déjà été amendé, et le sera probablement à nouveau dans le futur. Oui, la théorie des ensembles est une magnifique théorie qui, peu à peu, apporte de la lumière dans le monde de l'infini, et Oui, même si les détails sont parfois arides et exigeants, il est possible de bien saisir les grandes étapes de son cheminement. C'est le sujet de ce livre.

Les tresses servent-elles uniquement à faire de belles coiffures et de jolis dessins, ou recèlent-elles aussi une structure cachée digne d'intérêt ? Comme la formulation le laisse deviner, le but de ce petit livre est de montrer qu'il existe toute une théorie des tresses, fondée sur des intuitions venues de la topologie, de l'algèbre, et de la géométrie, et se prolongeant en de multiples ramifications, avec même des applications possibles en crytographie. Un accent particulier est mis sur les aspects effectifs et la construction d'algorithmes qui constituent un véritable calcul des tresses à la fois semblable et très différent de celui des nombres. Le point de vue retenu ici est d'explorer le monde des tresses en ne supposant aucune connaissance au-delà d'une première année d'université, et de fournir pour toutes les affirmations proposées à la fois des explications heuristiques et des démonstrations précises. Un grand choix d'exercices complète le texte, avec des solutions disponibles sur internet.