3622
правки
Изменения
м
→Вычислительные формализмы
# Добавить категории
<li> [[Лямбда-исчисление]]</li>
<li> '''!!!взяли''' [[Примитивно рекурсивные функции]] (6) </li>
# названия функций надо в \mathrm
# Помёрджить с конспектом математической логики [[Рекурсивные функции, представимость в формальной арифметике]]
