Book published as author, translator, etc. (Books)
Introduction à la Calculabilit́e
Wolper, Pierre
2006Dunod
 

Files


Full Text
wolper06-calculabilité.pdf
Author postprint (1.83 MB)
Request a copy
Annexes
calculabilite-slides.pdf
Publisher postprint (604.9 kB)
support de cours
Download
calculabilite-slides-en.pdf
Publisher postprint (597.36 kB)
support de cours (version anglaise)
Download

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
calculabilité; langages; automates finis; machines de Turing; Fonctions récursives; complexité
Abstract :
[fr] Dans le monde de l'informatique en perpétuelle évolution, une connaissance élémentaire de la théorie de la calculabilité reste plus que jamais indispensable à l'informaticien, qui se pose sans cesse la question des limites de l'informatique. La théorie de la calculabilité apporte des réponses. Elle démontre notamment que certains problèmes informatiques ne peuvent pas être résolus par des programmes. Cet ouvrage présente les éléments essentiels de cette science qui consiste à étudier ce qu'il est possible ou non de résoudre grâce à l'outil informatique, quelle que soit 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. Ce manuel comporte de nombreux exercices d'application, ainsi que leurs corrigés. Cette troisième édition s'enrichit d'une section sur l'interprétation de la non-calculabilité et approfondit la notion de NP-complétude. Si ce livre constitue avant tout un cours destiné aux étudiants en informatique, il s'adresse également aux professionnels désireux de mieux comprendre cette science.
Disciplines :
Computer science
Author, co-author :
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
French
Title :
Introduction à la Calculabilit́e
Publication date :
2006
Publisher :
Dunod
ISBN/EAN :
978-2-10-049981-6
Edition :
3e
Number of pages :
224
Available on ORBi :
since 13 August 2009

Statistics


Number of views
1751 (188 by ULiège)
Number of downloads
3252 (130 by ULiège)

Bibliography


Similar publications



Contact ORBi