Aller au contenu principal
Menu
Accueil  
Mon panier
0
X
Mon panier est vide.
Mon compte
C'est ma première visite
  • Bénéficiez d'un compte unique sur web, mobile ou tablette
  • Simplifiez-vous la commande
  • Accédez plus rapidement aux "+ en ligne"
  • Recevez des invitations à de nombreux événements
  • Soyez informé des nouveautés et de l'actu des auteurs et recevez les communications de Dunod
Je crée mon compte
Enseignant ?
  • Découvrez l'Espace Enseignants du Supérieur et les offres qui vous sont réservées
Je découvre
X
On se connait déjà ? Bienvenue !
Mot de passe oublié ?
ou
FB connect
Enseignants
Liens rapides
  • Sciences & Techniques
  • Entreprise & Economie
  • Sciences humaines et sociales
  • Prépas & Concours
  • Histoire et Relations internationales
Accueil
  • Sciences & Techniques
  • Entreprise & Economie
  • Sciences humaines et sociales
  • Prépas & Concours
  • Histoire et Relations internationales
  • Géographie
  • Lettres et Arts
  • Culture et loisirs
  • Dernières parutions
  • Meilleures ventes
  • Actualités
  • Espace enseignants
  • Espace presse
  • Droits dérivés / Subsidiary rights
  • Newsletters
  • Librairies
  • Contactez-nous
  • Aide
Voir tout Sciences & TechniquesX
Sujet
  • Sciences fondamentales
  • Sciences de l'ingénieur
  • Architecture et construction
  • Image, son & design
  • Vin, gastronomie et agroalimentaire
  • Informatique
A la une
  • Du temps pour soi ? 20 livres pour retrouver l’équilibre, créer, s’évader…
  • 50 clés pour comprendre
  • TousMakers
Manuel de design graphique
Manuel de design graphique
La fabuleuse histoire de l'intelligence artificielle
La fabuleuse histoire de l'intelligence artificielle
Au-delà de la physique
Au-delà de la physique
Voir tout Entreprise & EconomieX
Sujet
  • Entreprise
  • Vie professionnelle
  • Expertise comptable
  • Économie
  • Science politique
A la une
  • Digital, Disruption, Marketing, Informatique... C'est déjà demain !
Sois un homme ma fille
Sois un homme ma fille
Pratiquer la stratégie en 11 cas d'entreprises
Pratiquer la stratégie en 11 cas d'entreprises
Ces entreprises qui vous racontent des histoires
Ces entreprises qui vous racontent des histoires
Voir tout Sciences humaines et socialesX
Sujet
  • Psychologie
  • Bien-être et Développement personnel
  • Santé Social Sport
  • Sociologie
  • Sciences de l'éducation. Pédagogie
A la une
  • Les meilleurs livres de design graphique
  • Sélection Bien-être et développement personnel
Face à la maladie grave
Face à la maladie grave
Les fondements des représentations sociales
Les fondements des représentations sociales
Musicothérapie active
Musicothérapie active
Voir tout Prépas & ConcoursX
Sujet
  • Concours Écoles d'ingénieurs
  • Concours Écoles de management
  • Concours de l'éducation et de l'enseignement
  • Concours Paramédicaux et Sociaux
  • Concours PACES
  • Concours Fonction publique
  • Ouvrages généraux
Le mémoire de master
Le mémoire de master
Concours Gardien de la paix - 2021-2022
Concours Gardien de la paix - 2021-2022
Concours Gendarme - Sous-officier de gendarmerie externe - 2021/2022
Concours Gendarme - Sous-officier de gendarmerie externe - 2021/2022
Voir tout Histoire et Relations internationalesX
Sujet
  • Histoire générale
  • Histoire ancienne
  • Histoire contemporaine
  • Histoire des Relations internationales
Démosthène
Démosthène
Voir tout GéographieX
Sujet
  • Géopolitique
Voir tout Lettres et ArtsX
Sujet
  • Lettres
  • Philosophie
  • Arts
Voir tout Culture et loisirsX
Sujet
  • Entreprise, Business
  • Sciences tout public
  • Bien-être et Développement personnel
  • Loisirs techniques
  • Vie professionnelle
  • Habitat et bricolage
  • Santé Social Sport
  • Économie
  • Photo, Cinéma, Graphisme
  • Sociologie
  • Vin, Gastronomie
  • Informatique
A la une
  • Du temps pour soi ? 20 livres pour retrouver l’équilibre, créer, s’évader…
  • Du temps pour soi : découvrez notre sélection « culture »
  • Sélection Bien-être et développement personnel
  • 50 clés pour comprendre
  • TousMakers
L'innovation aux fourneaux
L'innovation aux fourneaux
La fabuleuse histoire de l'intelligence artificielle
La fabuleuse histoire de l'intelligence artificielle
Ma vie de bébé
Ma vie de bébé
Vous êtes ici
Accueil>Sciences & Techniques>Informatique>Développement logiciel et web
  • Introduction à la calculabilité

Introduction à la calculabilité - 3ème édition

Collection : 
Sciences Sup, Dunod
Parution : 
septembre 2006
Pierre Wolper
La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement...
En savoir plus
Expédié sous 24h
J'ajoute à ma liste
Accès rapide
  • La presse en parle
  • Présentation
  • Sommaire
  • Auteur(s)
  • Caractéristiques

La presse en parle

La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et qui s'enseigne en 2e cycle. Cette deuxième édition est l'occasion d'étendre le dernier chapitre, traitant de complexité, et d'introduire de nouveaux exercices et des corrigés.

Présentation du livre

La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets.

Sommaire de l'ouvrage

Les automates finis. Les grammaires régulières. Automates à pile et langages hors-contexte. Les machines de Turing. Les fonctions récursives. La non-calculabilité. La complexité.

Auteur(s) de l'ouvrage

  • Pierre Wolper
    Pierre Wolper
    Professeur à l'université de Liège

Caractéristiques du livre

Pages
240 pages
Format
170 x 240 mm
Collection
Sciences Sup
Parution
septembre 2006
Marque
Dunod
Public
Professionnel
EAN
9782100499816

Suggestions personnalisées

Sur le même sujet
Mettre en oeuvre DevOps
Mettre en oeuvre DevOps
Pratique des tests logiciels
Pratique des tests logiciels
Aide-mémoire - C#
Aide-mémoire - C#
Tout JavaScript
Tout JavaScript
Programmer avec Kotlin
Programmer avec Kotlin
Processing
Processing
Dans la collection
Microbiologie
Microbiologie
Moteurs électriques industriels
Moteurs électriques industriels
Bioinformatique
Bioinformatique
Astrophysique
Astrophysique
Algèbre -  1re année
Algèbre - 1re année
Transferts thermiques
Transferts thermiques

Ces livres pourraient également vous plaire

Travail du bois
Travail du bois
Les vagues de l'espace-temps
Les vagues de l'espace-temps
Concevoir son intérieur
Concevoir son intérieur
Retour vers le haut de page
Newsletters
Nos communautés
  • Kurio
  • Bien être
Suivez-nous
  • Facebook
  • Twitter
  • Youtube
  • Linkedin
  • Aide
  • Contactez-nous
  • Paiement sécurisé
  • Livraison
  • Echange et remboursement
  • Dunod
    • Qui sommes-nous ?
    • Actualités
    • À paraître
    • Espace Enseignants du Supérieur
    • Droits dérivés / Subsidiary rights
    • Presse
  • Thèmes
    • Sciences & Techniques
    • Entreprise & Economie
    • Sciences humaines et sociales
    • Prépas & Concours
    • Culture et loisirs
  • Services
    • Librairies
    • L'Atelier Dunod
    • Formations pour les pros de la petite enfance
    • Revue de l'hypnose et de la santé
    • Préparez-vous à réussir le DCG !
    • Aide ebook
  • Autres Sites
    • Armand Colin
    • Dunod Formation Petite Enfance
    • Mercator Publicitor
    • Expert Sup
    • Éléments de géologie
    • Pratiques RH au quotidien
  • Dunod © 2017
  • Mentions légales
  • CGVU
  • Données personnelles
  • Cookies
  • Plan du site