Logique(s), langages formels et complexité pour l'informatique - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2006

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

Résumé

Logique(s), langages formels et complexité pour l'informatique analyse les bases théoriques sur la logique et les fondements de l'informatique. L'ouvrage s'intéresse d'abord à la logique formelle. Il s'agit d'explorer les outils permettant de manipuler les composants de bases des données 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 bases 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.
Fichier non déposé

Dates et versions

hal-00483099 , version 1 (12-05-2010)

Identifiants

  • HAL Id : hal-00483099 , version 1

Citer

Narendra Jussien. Logique(s), langages formels et complexité pour l'informatique. Hermes Sciences, pp.314, 2006, Jean-Charles Pomerol. ⟨hal-00483099⟩
194 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More