Logique(s), langages formels et complexité pour l'informatique
Par : Narendra Jussien
Editeur : Lavoisier-Hermès
Numéro de produit : 9782746242289
ISBN : 9782746242289
102,95 $
Les livres numériques seront disponibles pour télécharger dès votre paiement effectué.
* Prix en dollar canadien. Taxes et livraison en sus.
Retour à la liste des produits
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.