Logique mathématique pour l'informatique van Mordechai Ben-Ari est un manuel en anglais destiné aux étudiants de l'enseignement supérieur. Ce livre traite de la logique mathématique avec un accent sur les applications en informatique.
Le livre présente la méthode des tableaux sémantiques comme instrument pédagogique pour transmettre la logique de manière claire et systématique. À l'aide de techniques de tableaux, différents systèmes logiques sont étudiés, tels que la logique propositionnelle et la logique du premier ordre, la résolution, la logique de Hoare pour la vérification des programmes séquentiels et la logique temporelle linéaire pour la vérification des programmes concurrents.
La troisième édition entièrement révisée comprend en outre de nouveaux chapitres sur les solveurs SAT et le model checking, des sujets essentiels pour la science informatique moderne. Le livre relie ainsi les aspects théoriques et pratiques de la logique mathématique pour l'informatique.
Ce manuel est pertinent pour des domaines tels que la théorie mathématique de l'informatique (mathematical theory of computation), la logique mathématique et la théorie des machines (machine theory) en informatique.