Logique(s), langages formels et complexité pour l'informatique
Narendra JUSSIEN
Disponibilité:
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Ebook en format PDF. Disponible pour téléchargement immédiat après la commande.
Éditeur:
Lavoisier-Hermès
Lavoisier-Hermès
Protection:
ACS4
ACS4
Année de parution:
2021
2021
ISBN-13:
9782746242289
Description:
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.
Aperçu du livre