Картинки из квадратов
\
Теоретико-множественная математика
\
Theoretical Computer Science
\
Основы теории дискретных логических и вычислительных устройств (Л. А. Шоломов, 1980)
\
9.7.5.4. Модели алгоритмов
Начало см.
здесь
.
Шоломов Л. А.
Основы теории дискретных логических и вычислительных устройств.
М.: Наука, 1980, cc. 158 — 209.
9.7.5.4.1. Машины Тьюринга
9.7.5.4.2. Частично - рекурсивные функции
9.7.5.4.1. Машины Тьюринга
9.7.5.4.2. Частично - рекурсивные функции
