Bibliographie d'ouvrage d'informatique de base pour les MPSI

Vous trouverez ici quelques titres de livres qui sont soit des introductions à certains domaines de l'informatique, soit des ouvrages de référence incontourables, soit des livres qui me semblent pouvoir vous apporter des informations très intéressantes, soit enfin des livres plus directement liés à votre programme d'informatique de prépa.

1. Livres concernant le programme de prépa en informatique et Caml:
   • Développement d'applications en Ocaml, par Emmanuel Chailloux, Pascal Manoury et Bruno Pagano, Chez O'Reilly
   • L'informatique en MPSI/MP par Denis Monnasse, chez Vuibert
   • Problèmes d'informatique fondamentale, par E. Badouel et al., chez Scopos
   • Seize problèmes d'informatique, par Bruno Pettazoni, chez Scopos
2. Livres de culture générale en informatique, ou introduction à d'autres langages:
   • Les systèmes d'exploitation des ordinateurs, histoire, fonctionnement et enjeux, par Laurent Bloch, chez Vuibert
   • Introduction à l'algorithmique, par Rivest, Cormen & Leiserson, chez Dunod
   • Fondements mathématiques de l'informatique, par Jacques Stern, chez Edisciences international
   • Structure and Interpretation of Computer Programs, par Hal Abelson, Jerry Sussman et Julie Sussman, en ligne.
   • Programmer avec Scheme, de la pratique à la théorie, par Jacques Chazarain, chez Thomson Publishing
3. Livres de logique mathématique:
   • Cours de logique mathématique, par René Cori et Daniel Lascar, chez Dunod
   • Théorie des ensembles, par Jean-Louis Krivine, chez Cassini