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
  • Livraison en France métropolitaine uniquement
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 et économie
  • Sciences humaines et sociales
  • Histoire, Géographie et Sciences politiques
  • Prépas & Concours
  • Lettres et Arts
  • Vie pratique
Accueil
  • Sciences & Techniques
  • Entreprise et économie
  • Sciences humaines et sociales
  • Histoire, Géographie et Sciences politiques
  • Prépas & Concours
  • Lettres et Arts
  • Vie pratique
  • Dernières parutions
  • Meilleures ventes
  • Actualités
  • Espace enseignants
  • Espace presse
  • Dunod Formation
  • L'Atelier Dunod
  • Droits dérivés / Subsidiary rights
  • Newsletters
  • Librairies
  • Contactez-nous
  • Aide
Voir tout Sciences & TechniquesX
Sujet
  • Sciences fondamentales
  • Technique et sciences appliquées
  • Informatique
A la une
  • Construisons aujourd’hui l’informatique de demain
  • Les petits experts SCIENCES L’essentiel en fiches illustrées !
  • TousMakers
Géologie
Géologie
Mathématiques
Mathématiques
Improbablologie et au-delà
Improbablologie et au-delà
Voir tout Entreprise et économieX
Sujet
  • Economie
  • Gestion et administration
  • Stratégie et entrepreneuriat
  • Management et RH
  • Marketing - Communication - Vente
  • Vie professionnelle
A la une
  • Les Petits Experts : les points clés en fiches pratiques
30 prompts pour booster sa mémoire
30 prompts pour booster sa mémoire
Le petit RGPD 2026
Le petit RGPD 2026
La boîte à outils du Management transversal
La boîte à outils du Management transversal
Voir tout Sciences humaines et socialesX
Sujet
  • Psychologie
  • Soin et santé
  • Accompagnement et coaching
  • Action sociale
  • Sociologie
  • Education. Pédagogie
Psychologie de l'adolescent
Psychologie de l'adolescent
Psychologie de l'accompagnement
Psychologie de l'accompagnement
La Parole du thérapeute
La Parole du thérapeute
Voir tout Histoire, Géographie et Sciences politiquesX
Sujet
  • Histoire
  • Géographie
  • Science politique et société
A la une
  • Avec PORTAIL, les études supérieures s’ouvrent à vous !
  • MNÉMOSYA - les grandes thématiques de la pensée historienne contemporaine
Le Moyen Âge en Occident
Le Moyen Âge en Occident
La dissertation en histoire
La dissertation en histoire
La France des débuts de la IIIe République
La France des débuts de la IIIe République
Voir tout Prépas & ConcoursX
Sujet
  • Ecoles d'ingénieurs
  • Ecoles de management
  • Expertise comptable
  • Fonction publique
  • Education nationale
  • Santé - Social - Paramédical
  • Concours IEP
  • Tous concours
A la une
  • Enseignez sereinement toute l'année !
  • Réussir les CAPES-Agrégation d’histoire-géographie 2024
LE manuel de culture générale
LE manuel de culture générale
Le système éducatif français - Grands enjeux et transformations
Le système éducatif français - Grands enjeux et transformations
DCG 11 - Contrôle de gestion - révisez en 160 flashcards !
DCG 11 - Contrôle de gestion - révisez en 160 flashcards !
Voir tout Lettres et ArtsX
Sujet
  • Lettres
  • Langues vivantes et civilisations
  • Philosophie
  • Arts
L'analyse de séquences
L'analyse de séquences
La Dissertation littéraire
La Dissertation littéraire
Fiction(s)
Fiction(s)
Voir tout Vie pratiqueX
Sujet
  • Santé et bien-être
  • Cuisine et boisson
  • Bricolage et habitat
  • Nature et tourisme
  • Vie quotidienne
A la une
  • Construisons aujourd’hui l’informatique de demain
  • Du temps pour soi ? 20 livres pour retrouver l’équilibre, créer, s’évader…
Jamais victime!
Jamais victime!
Le sommeil du jeune enfant
Le sommeil du jeune enfant
La Process Communication
La Process Communication
Vous êtes ici
Accueil>Sciences & Techniques>Sciences fondamentales>Mathématiques
  • Mathématiques de l'informatique

Mathématiques de l'informatique

Cours et exercices corrigés
Patrick Dehornoy
Centre sur les notions de calcul et de définition, ce cours est une introduction à l'étude des structures mathématiques sous-jacentes à l'informatique. L'approche proposée est résolument mathématiques et souligne une orientation générale...
En savoir plus
Parution : 
décembre 1999
Collection : 
Sciences Sup
Marque : 
Dunod
Logo dunod Fiche
Expédié sous 24h
Livraison en France métropolitaine uniquement
J'ajoute à ma liste
Accès rapide
  • Présentation
  • Sommaire
  • Auteur(s)
  • Caractéristiques

Présentation du livre

Centre sur les notions de calcul et de définition, ce cours est une introduction à l'étude des structures mathématiques sous-jacentes à l'informatique. L'approche proposée est résolument mathématiques et souligne une orientation générale tournée vers la théorie.

Sommaire de l'ouvrage

Mots, langages et arbres. Monoïdes et groupes libres. Automates. Langages automatiques. Grammaires formelles. Arbres de dérivation et automates à pile. Machines de Turing. Fonctions récursives. Complexité algorithmique. Logique booléenne. Logique du premier ordre.

Auteur(s) de l'ouvrage

  • Patrick Dehornoy
    Patrick Dehornoy
    professeur à l'université de Caen

Caractéristiques du livre

Pages
320 pages
Format
170 x 240 mm
Collection
Sciences Sup
Parution
décembre 1999
Marque
Dunod
Public
Bac +4/5
EAN
9782100044467

Suggestions personnalisées

Sur le même sujet
Le livre qui rend fou
Le livre qui rend fou
Introduction à la logique
Introduction à la logique
Mathématiques
Mathématiques
Topologie
Topologie
Pythagore à la plage
Pythagore à la plage
Aux frontières des mathématiques - Kurt Gödel et l'incomplétude
Aux frontières des mathématiques - Kurt Gödel et l'incomplétude
Dans la collection
Sciences de l'océan, de l'atmosphère et du climat
Sciences de l'océan, de l'atmosphère et du climat
Mécatronique
Mécatronique
Pharmacologie
Pharmacologie
Introduction au calcul tensoriel
Introduction au calcul tensoriel
Physique pour les sciences médicales
Physique pour les sciences médicales
Introduction à la logique
Introduction à la logique
Retour vers le haut de page
Newsletters
Nos communautés
  • Facebook DUNOD
  • X Dunod
  • Instagram Dunod
  • TikTok Dunod
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
    • Satisfaction client
  • Thèmes
    • Sciences & Techniques
    • Entreprise & Economie
    • Sciences humaines et sociales
    • Histoire, Géographie et Sciences politiques
    • Prépas & Concours
    • Lettres et Arts
    • Vie pratique
  • Services
    • Librairies
    • L'Atelier Dunod : édition sur mesure
    • Formations pour les pros de la petite enfance
    • Le Journal de l'hypnose et de la santé intégrative
    • Préparez-vous à réussir le DCG !
    • Préparer et réussir le DSCG
    • Aide ebook
  • Autres Sites
    • Revues Armand Colin
    • Dunod Formation Petite Enfance
    • Dunod Formation Soft Skills
    • Mercator
    • Expert Sup
  • Dunod © 2024
  • Mentions légales
  • CGVU
  • Données personnelles
  • Cookies
  • Plan du site