Couverture
image_key: 979/83/19/9798319689290_5f1211f9a38cf350
Informations
Informatique théorique
Lucien Sina
Dernière mise à jour : 18/02/2026
0%
Fiche complétée
Éditeur
Thebookedition
Collection
—
Série
—
Numéro de série
—
Format
—
Présentation
—
Parution
09-09-2025
Pages
318
Poids
261
Largeur
—
Hauteur
—
Épaisseur
—
Classification
Informatique
Sélectionnez une catégorie jusqu’au niveau le plus précis disponible.
Image key
979/83/19/9798319689290_5f1211f9a38cf350
Informatique théorique ? claire, concise et pratique. Ce livre introduit pas à pas les langages formels et la calculabilité : des automates finis aux automates à pile, jusqu'à la machine de Turing. Il présente les modèles, les techniques de preuve et les limites du calculable. Avec de nombreux exemples, schémas, démonstrations et exercices corrigés, il s'adresse aux étudiantes, enseignants et autodidactes. Les résultats essentiels (lemme de pompage, Myhill?Nerode, Kleene, diagonalisation, Rice) sont exposés de façon accessible. Idéal pour cours ou auto-apprentissage, il offre des bases solides pour aller vers la théorie de la complexité.
API (debug)
/api/v1/lookup?ean=9798319689290
Librairies
Outils de recherche:
(liste non exaustive)
Vous constatez une erreur ?
Connectez-vous pour proposer une correction et recevoir 20 crédits MetasBooks après validation.