Traitement en cours...
Fermer la notification

Le saviez-vous ?

SIDE a travaillé avec ses fournisseurs pour rendre ses colis respectueux de l'environnement.
Fini le plastique !
Le ruban adhésif qui sécurise la fermeture de nos colis et les chips de calage qui immobilisent les livres dans les cartons sont en matériaux recyclables et biodégradables.

Afficher la notification
FR EN
Précédent
ou effectuer une recherche avancée
Votre panier est vide.
Image de Théorie de la calculabilité

Théorie de la calculabilité

Sina Lucien
Date de parution 09/09/2025
EAN: 9798319689290
Disponibilité Disponible chez l'éditeur
19,99 €
Théorie de la calculabilité ? 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 preu... Voir la description complète
Informations détaillées
Nom d'attributValeur d'attribut
Common books attribute
ÉditeurTHEBOOKEDITION
Nombre de pages178
Langue du livreFrançais
AuteurSina Lucien
FormatPaperback / softback
Type de produitLivre
Date de parution09/09/2025
Poids149 g
Dimensions (épaisseur x largeur x hauteur)1,10 x 11,00 x 17,00 cm
Résumé
Théorie de la calculabilité ? 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é.