Logique(s), langages formels et complexité pour l'informatique (Collection informatique)

Jean-Charles Pomerol

Note moyenne : | 0 avis
Ce produit n'a pas encore été évalué. Soyez le premier !
  • Hermes Science Publications

  • Paru le : 07/09/2006
  • Tous vos e-books sur notre application de lecture
  • Téléchargement immédiat
  • Aide au choix numérique
72,00 €
E-book - PDF
Vérifier la compatibilité avec vos supports

Decitre eBooks

Découvrez vos e-books avec notre application de lecture !

Votre note
Cet ouvrage analyse les bases théoriques de la logique et les fondements de l'informatique. Il s'intéresse, dans un premier temps, à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les données de base d'un ordinateur, d'étudier les concepts nécessaires à l'automatisation de raisonnements logiques avec une incursion vers d'autres logiques que les logiques classiques. Il traite ensuite des notions de langage formel et d'automate.
Les principes de base de ces outils mathématiques à l'origine de la théorie des langages de programmation sont exposés ainsi que leurs nombreuses applications directes. Enfin, il met en évidence les limites de l'informatique et présente les outils théoriques nécessaires à la délimitation entre ce que peut et ce que ne peut pas faire un ordinateur. Ce livre offre en complément des points de repère historiques, depuis Aristote jusqu'à Turing ou Zadeh en passant par Boole, Gôdel, Chomsky ou Robinson.
Il propose aussi cent soixante-dix exercices corrigés.
  • Date de parution : 07/09/2006
  • Editeur : Hermes Science Publications
  • ISBN : 2-7462-4228-1
  • EAN : 9782746242289
  • Format : PDF
  • Nb. de pages : 312 pages
  • Caractéristiques du format PDF
    • Pages : 312
    • Taille : 2 031 Ko
    • Protection num. : Digital Watermarking
    • Transferts max. : Autorisé
    • Imprimable : Autorisé
    • Copier coller : Autorisé

Nos avis clients sur decitre.fr


Avis Trustpilot

Logique(s), langages formels et complexité pour l'informatique (Collection informatique) est également présent dans les rayons

Jean-Charles Pomerol - Logique(s), langages formels et complexité pour l'informatique (Collection informatique).
Logique(s), langages formels et complexité pour l'informatique...
72,00 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK

Ne partez pas tout de suite...

Inscription newsletter