Картинки из квадратов
\
Теоретико-множественная математика
\
Theoretical Computer Science
\
Основы теории дискретных логических и вычислительных устройств (Л. А. Шоломов, 1980)
\
Модели алгоритмов
\
Частично - рекурсивные функции
\
9.7.5.4.2.2. Определение частично - рекурсивных функций
Начало см.
здесь
.
Шоломов Л. А.
Основы теории дискретных логических и вычислительных устройств.
М.: Наука, 1980, cc. 175 — 176.
Продолжение см.
здесь
.
