Conseils de lectures
Voici une liste de livre qui sont utiles à l'informaticien qui souhaite NE PAS être un simple programmeur sans talent.
- Sur les possibilités et les limites de l'informatique
  1. [*** / très pédagoqique]
    Pierre Wolper, Introduction à la calculabilité (3ième édition), Dunod, 2006.
    (extraits)
  2. [** / stimulant et récréatif]
    Jean-Paul Delahaye, Logique, informatique et paradoxe, Éditions Belin/Pour la science, 1995.
    (d'autres ouvrages et de nombreux extraits en ligne sur la page de l'auteur)
  3. [** / abordable]
    P. Wagner, La machine en logique, éd. Presse Universitaire de France (PUF)
- Sur l'art de la programmation
  1. [*** / instructif]
    Harold Abelson et Gerald Jay Sussman, Structures et interprétation des programmes informatiques,
    (résumé)

Exercices fondamentaux de programmation en C, Caml, Java, Ada, Prolog (document en préparation) [.pdf]

L1
- INF111 : Introduction à la programmation, approche impérative
- INF121 : Introduction à la programmation, approche fonctionnelle
- INF122b : Compléments mathématiques et introduction à la logique et la preuve formelle