Analyse des bases théoriques de la logique et des fondements de l'informatique. L'auteur présente les outils de la logique formelle, le langage formel et la notion d'automate, ainsi que les limites de l'informatique. Avec 70 exercices corrigés qui illustrent les démonstrations mathématiques.
Détails du livre
-
Éditeur
-
Texte original
Oui -
Langue
Français -
Date de publication
-
Nombre de pages
316 -
Thème