Treatment in progress...
Close notification

Did you know that ?

SIDE has worked with its suppliers to make our parcels environmentally friendly.
No more plastics !
The tape that keep our parcels tightly shut and the wedging material that immobilizes books within the cartons are now made of fully recyclable and biodegradable materials.

Display notification
FR EN
Back
or use our advanced search function
Your cart is empty.
Picture of Théorie de la calculabilité

Théorie de la calculabilité

Sina Lucien
Publication date 09/09/2025
EAN: 9798319689290
Availability Available from publisher
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... See full description
Detailed information
Attribute nameAttribute value
Common books attribute
PublisherTHEBOOKEDITION
Page Count178
Languagefr
AuthorSina Lucien
FormatPaperback / softback
Product typeBook
Publication date09/09/2025
Weight149 g
Dimensions (thickness x width x height)1.10 x 11.00 x 17.00 cm
Summary
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é.