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.
Dettagli libro
-
Editore
-
Testo originale
Sì -
Lingua
Francese -
Data di pubblicazione
-
Numero di pagine
316 -
Argomento