Результаты поиска по запросу "theory"

17 ответов

Что такое Y-комбинатор? [закрыто]

Y-комбинатор - это концепция информатики с «функциональной» стороны вещей. Большинство программистов вообще ничего не знают о комбинаторах, даже слышали ли они о них. Что такое Y-комбинатор?Как работают комбинаторы?Для чего они хороши?Полезны ...

19 ответов

Путь от рекурсии к итерации

19 ответов

Путь от рекурсии к итерации

Я много использовал рекурсию в своих многолетних программах для решения простых задач, но я полностью осознаю, что иногда вам нужна итерация из-за проблем с памятью / скоростью. Итак, когда-то в очень далеком прошлом я попытался выяснить, ...

ТОП публикаций

30 ответов

С другой стороны, математические доказательства не волнуют мир. Повторяющийся вопрос с математикой, если он описывает что-то реальное. Он возникает каждый раз, когда изобретается что-то новое, например, воображаемые числа или неевклидово пространство. Тогда вопрос забывается, поскольку эти новые теории являются такими хорошими инструментами. Как хорошая программа, она просто работает.

у компьютерная программа не может быть доказана так же, как математическое утверждение? Математическое доказательство построено на других доказательствах, которые построены от еще большего количества доказательств и вплоть до аксиом - тех истин ...

30 ответов

Есть ли O (1 / n) алгоритмы?

Есть ли O (1 / n) алгоритмы? Или что-нибудь еще, что меньше, чем O (1)?