La 3e édition de cet ouvrage a été revue et actualisée, notamment dans les domaines de la logique et des applications. Des exemples et des exercices illustrent l’exposé, et permettent une bonne assimilation des problèmes mathématiques en informatique.