Ce manuel d'informatique a été conçu pour les étudiants des classes préparatoires aux grandes écoles scientifiques ayant choisi l'option Informatique et, également, pour ceux des premiers cycles universitaires. Il présente les notions de base indispensables aux étudiants en Informatique, notions qui d'ailleurs pourraient faire partie de tout cursus scientifique, aussi bien à l'université qu'en école d'ingénieurs.
Le présent volume Logique et Automates regroupe la partie la plus théorique du programme couvert. Il a pour compagnon un volume Algorithmique et Programmation, en deux versions, l'une pour la programmation en CAML, l'autre pour la programmation en PASCAL. Cet ouvrage n'est pas seulement un cours d'informatique mais un manuel. Il accompagnera l'étudiant dans son travail d'appropriation des connaissances de très nombreux exercices -dont la plupart sont corrigés- illustrent les notions introduites et les résultats démontrés, au fur et à mesure de leur apparition. Sont également inclus les problèmes qui ont été proposés dans les deux premières épreuves de l'option informatique du Concours commun Mines-Pont (en 97 et 98) ainsi que leurs corrigés.