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

Note moyenne 
Jean-Charles Pomerol - Logique(s), langages formels et complexité pour l'informatique (Collection informatique).
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.... Lire la suite
72,00 €
Expédié sous 3 à 6 jours
Livré chez vous entre le 2 avril et le 4 avril
En librairie

Résumé

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.

Caractéristiques

  • Date de parution
    01/09/2006
  • Editeur
  • ISBN
    2-7462-1395-8
  • EAN
    9782746213951
  • Présentation
    Broché
  • Nb. de pages
    312 pages
  • Poids
    0.49 Kg
  • Dimensions
    15,4 cm × 23,6 cm × 0,1 cm

Avis libraires et clients

Avis audio

Écoutez ce qu'en disent nos libraires !

À propos de l'auteur

Biographie de Jean-Charles Pomerol

Enseignant-chercheur en informatique à l'école des mines de Nantes, Narendra Jussien anime une équipe de recherche sur la "programmation par contraintes" au sein du laboratoire d'informatique de Nantes-Atlantique (CNRS).

Du même auteur

Les clients ont également aimé

Derniers produits consultés

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

72,00 €