Introduction à la calculabilité / Pierre Wolper,...

Date :

Type : Livre / Book

Langue / Language : français / French

ISBN : 978-2-7296-0372-4

ISBN : 2-7296-0372-7

Catalogue Worldcat

EAN : 9782729603724

Décidabilité (logique mathématique)

Calcul formel

Langages formels

Complexité de calcul (informatique)

Fonctions récursives

Automates mathématiques, Théorie des

Fonctions calculables

Classification Dewey : 511.35

Classification Dewey : 511.352

Collection : I.I.A. : Informatique intelligence artificielle / sous la dir. de Jacky Akoka / Paris : Interéditions , 1985-

Résumé / Abstract : "Quelles sont les limites de l'informatique ? La théorie de la calculabilité apporte des réponses à cette question : elle démontre notamment que certains problèmes informatiques ne peuvent pas être résolus par des programmes. Cet ouvrage a pour but de présenter aux informaticiens les éléments essentiels de cette science qui consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique, quels que soient le type et les performances de la machine utilisée. Il 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ées les notions de complexité, et plus particulièrement les problèmes NP-complets.[...] (source : 4ème de couverture)