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