3622
правки
Изменения
→Вычислительные формализмы
<li value="14">[[Машина Тьюринга]] </li>
<li> [[Лямбда-исчисление]]</li>
<li> '''взяли''' [[Примитивно рекурсивные функции]] (610) </li>
# названия функций надо в \mathrm
# Помёрджить с конспектом математической логики [[Рекурсивные функции, представимость в формальной арифметике]]
<li> ''взяли'' [[Частично рекурсивные функции]] (2) </li>
# Замечание про взаимную рекурсию в обсуждениях
<li> [[Стековые машины, эквивалентность двухстековой машины МТ]] </li>
