Чёрч, Алонзо: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Carn (обсуждение | вклад) |
Pilot Ang (обсуждение | вклад) |
||
Строка 39:
* [[Теория алгоритмов]]
* [[Теорема Чёрча — Тьюринга]]
* [[Кодирование Чёрча]]
== Примечания ==
|