3622
правки
Изменения
→Вычислительные формализмы
# Заменить ссылки на источники информации
# Добавить категории
<li> '''!!!взяли''' [[Лямбда-исчисление]] ''(можно получить 10 баллов суммарно)'' </li>
# Англоязычные термины
# Заменить "в разработке" на "nohate"
# Добавить см. также и источники информации
</ol>
=== Примеры неразрешимых задач ===
<ol>
