Logique(s) langages formels et complexité pour l'informatique

Cet ouvrage analyse les bases théoriques de la logique et les fondements de
l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle.
Il s'agit d'explorer les outils permettant de manipuler les données de base
d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de
raisonnements logiques avec une incursion vers d'autres logiques que les
logiques classiques. Il traite ensuite des notions de langage formel et
d'automate. Les principes de base de ces outils mathématiques à l'origine de
la théorie des langages de programmation sont exposés ainsi que leurs
nombreuses applications directes. Enfin, il met en évidence les limites de
l'informatique et présente les outils théoriques nécessaires à la délimitation
entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en
complément des points de repère historiques, depuis Aristote jusqu'à Turing ou
Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson. Il propose aussi cent
soixante-dix exercices corrigés.