Page
Webography
Conditions d'achèvement
-
Sipser, Michael. Introduction to the Theory of Computation. Cengage Learning, 2012.
-
Boolos, George S., Burgess, John P., and Jeffrey, Richard C. Computability and Logic. Cambridge University Press, 2007.
-
Cutland, Nigel. Computability: An Introduction to Recursive Function Theory. Cambridge University Press, 1980.
-
Jones, Neil D. Computability and Complexity: From a Programming Perspective. The MIT Press, 1997.
-
Kozen, Dexter C. Theory of Computation. Springer, 2006.
-
Savage, John E. Models of Computation: Exploring the Power of Computing. Addison-Wesley, 1998.
-
Pierre Wolper, « Introduction à la calculabilité », 3eme édition, Dunod, 2006
- Olivier Carton, « Langages formels, calculabilité et complexité »,Vuibert, 2008.
Modifié le: dimanche 25 février 2024, 21:23