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