Изменения

Перейти к: навигация, поиск

Примитивно рекурсивные функции

159 байт добавлено, 22:55, 15 ноября 2016
Источники информации
* Н. К. Верещагин, А. Шень. [http://www.mccme.ru/free-books/shen/shen-logic-part3-2.pdf Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. 4-е изд., испр., М.: МЦНМО, 2012]
*[http://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D0%B0%D1%8F_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F_(%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D0%B8) Рекурсивные функции на википедии]
 
==См. также==
*[[Частично рекурсивные функции]]
*[[Машина Тьюринга]]
*[[Лямбда-исчисление]]
 
 
 
[[Категория: Теория вычислимости]]
[[Категория: Вычислительные формализмы]]
313
правок

Навигация