LIVRAISON GARANTIE avant Noël pour vos achats avec Colissimo jusqu'au 20 décembre inclus sur tous les livres indiqués "Expédiés" sous 24h"
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Informatique théorique
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Informatique théorique

Informatique théorique

Lucien Sina

318 pages, parution le 09/09/2025

Résumé

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é.

Caractéristiques techniques

  PAPIER
Éditeur(s) Véda
Auteur(s) Lucien Sina
Parution 09/09/2025
Nb. de pages 318
Format 11 x 17
Couverture Broché
Poids 261g
EAN13 9798319689290

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav.client@eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription