Les démonstrations et les algorithmes

Introduction à la logique et à la calculabilité

Gilles Dowek

Ce livre est vendu, au prix de 18 €, par les Éditions de l'École polytechnique et les Éditions Ellipse, qui font un effort pour éditer des livres universitaires à un coût raisonnable.

Nous vous engageons donc à l'acheter, par exemple en remplissant un bon de commande ou chez Amazon, ou chez Eyrolles ou à le consulter dans une bibliothèque.

Vous pouvez vous faire une idée du contenu du livre en lisant ou en imprimant la table des matières, l'introduction, le chapitre 2, le chapitre 5, et la conclusion.

En revanche, sauf si vous n'avez pas d'autre solution, nous vous demandons de ne pas imprimer la page 5, la page 6, la page 7, la page 8, la page 9, la page 10, la page 11, la page 12, la page 13, la page 14, la page 15, la page 16, la page 17, la page 18, la page 19, la page 20, la page 21, la page 22, la page 23, la page 24, la page 25, la page 26, la page 27, la page 28, la page 29, la page 30, la page 31, la page 32, la page 33, la page 34, la page 35, la page 36, la page 37, la page 38, la page 39, la page 40, la page 41, la page 42, la page 43, la page 44, la page 67, la page 68, la page 69, la page 70, la page 71, la page 72, la page 73, la page 74, la page 75, la page 76, la page 77, la page 78, la page 79, la page 80, la page 81, la page 82, la page 83, la page 84, la page 85, la page 86, la page 87, la page 88, la page 89, la page 90, la page 91, la page 92, la page 93, la page 94, la page 95, la page 96, la page 97, la page 98, la page 99, la page 100, la page 101, la page 102, la page 103, la page 104, la page 105, la page 106, la page 107, la page 108, la page 109, la page 110, la page 111, la page 112, la page 113, la page 114, la page 115, la page 116, la page 117, la page 118, la page 119, la page 120, la page 121, la page 122, la page 123, la page 124, la page 125, la page 126, la page 145, la page 146, la page 147, la page 148, la page 149, la page 150, la page 151, la page 152, la page 153, la page 154, la page 155, la page 156, la page 157, la page 158, la page 159, la page 160, la page 161, la page 162, la page 163, la page 164, la page 165, la page 166, la page 167, la page 168, la page 169, la page 170, la page 171, la page 172, la page 173, la page 174, la page 175, la page 176, la page 177, la page 178, la page 179, la page 180, la page 181, la page 182, la page 183 et la page 184.

Juin 2014 : Lorenzo Tortora de Falco, de l'Université Roma Tre, m'a signalé quelques lacunes dans la démonstration de la Proposition 3.17, page 81. Je tiens à le remercier. La démonstration corrigée est ici.