Traitement en cours...
Fermer la notification

Toutes nos lignes téléphoniques...

sont actuellement en dérangement du fait de l'opérateur (SFR), qui nous dit mettre tout en œuvre pour rétablir la situation dans les plus brefs délais mais jusqu'ici n'a pas réussi à le faire.
Nous restons cependant à votre disposition par d'autres moyens pour vous informer.
Si vous souhaitez connaître les dates estimées d’expédition des titres que vous avez commandés, pensez à simplement consulter le détail de vos commandes sur side.fr.
Si vous avez besoin d’une autre information, vous pouvez, selon votre urgence, écrire à notre service clients à france@side.fr ou appeler directement votre représentant ou appeler le 06 34 54 96 63, le numéro d'urgence temporaire que nous avons mis en place en attendant de retrouver notre accueil téléphonique habituel.

Afficher la notification

Théorie de la calculabilité

Sina Lucien
Date de parution 09/09/2025
EAN: 9798319689290
Disponibilité Disponible chez l'éditeur
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
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
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é.