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

Availability:
Ebook in PDF format. Available for immediate download after we receive your order

DRM:
ACS4

Publication Year:
2021

ISBN-13: 9782746242289

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.