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.
Detalles de eBook
-
Editor
-
Original text
true -
Idioma
French -
Fecha de publicación
-
Contador de páginas
316 -
Tema