Обчислюваність: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
→Задачі: уточнення |
Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 |
||
Рядок 49:
== Джерела ==
* {{cite book | author = [[Michael Sipser]] | year = 1997 | title = Introduction to the Theory of Computation | publisher = PWS Publishing | isbn = 0-534-94728-X | url-access = registration | url = https://archive.org/details/introductiontoth00sips }} Part Two: Computability Theory, Chapters 3–6, pp. 123–222.
* {{cite book|author = [[Христос Пападімітріу|Christos Papadimitriou]] | year = 1993 | title = Computational Complexity | publisher = Addison Wesley | edition = 1st | isbn = 0-201-53082-1}} Chapter 3: Computability, pp. 57–70.
* {{cite book|author = [[S. Barry Cooper]] | year = 2004 | title = Computability Theory | publisher = Chapman & Hall/CRC | edition = 1st | isbn = 978-1-58488-237-4}}
| |||