Partager cette page :

Bibliographie et supports de cours pour l'option D

Supports de cours de l'année en cours

Supports de cours des années précédentes

Bibliographie complémentaire

  • Computers Ltd: What They Really Can't Do by David Harel, Oxford University Press.
  • Algorithmics : The Spirit of Computing (3rd Edition) by David Harel, Yishai Feldman, Addison-Wesley.
  • The Science of Computing: Exploring the Nature and Power of Algorithms, David Harel, Addison-Wesley.
  • Le Théorème de Gödel, Ernest Nagel, James Newmann, Kurt Gödel, Jean-Yves Girard, Points sciences.
  • Gödel, Escher, Bach, les brins d'une guirlande éternelle - Gödel, Escher, Bach: An Eternal Golden Braid, Douglas Hofstadter.
  • La Machine de Turing, Alan Turing, Jean-Yves Girard, Points sciences.
  • Decrypted Secrets, Methods and Maxims of Cryptology, Friedrich L. Bauer, Springer.
  • Les compilateurs : théorie, construction, génération, Wilhelm, Masson.
  • Modern Compiler Implementation in {Java, C, ML}, Appel, Cambridge University Press.

Mise à jour le 25 novembre 2011