129
правок
Изменения
м
пофиксил ссылки
== Источники информации ==
* ''Верещагин Н. К., Шень А.'' Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции — М.: МЦНМО, 1999 - С. 14
* [http://en.wikipedia.org/wiki/Computable_number| Computable number]* [http://en.wikipedia.org/wiki/Specker_sequence| Specker sequence]
[[Категория: Теория вычислимости]]
[[Категория: Теория формальных языков]]
