Результаты поиска по запросу "theory"
Что такое Y-комбинатор? [закрыто]
Y-комбинатор - это концепция информатики с «функциональной» стороны вещей. Большинство программистов вообще ничего не знают о комбинаторах, даже слышали ли они о них. Что такое Y-комбинатор?Как работают комбинаторы?Для чего они хороши?Полезны ...
Путь от рекурсии к итерации
Я много использовал рекурсию в своих многолетних программах для решения простых задач, но я полностью осознаю, что иногда вам нужна итерация из-за проблем с памятью / скоростью. Итак, когда-то в очень далеком прошлом я попытался выяснить, ...
С другой стороны, математические доказательства не волнуют мир. Повторяющийся вопрос с математикой, если он описывает что-то реальное. Он возникает каждый раз, когда изобретается что-то новое, например, воображаемые числа или неевклидово пространство. Тогда вопрос забывается, поскольку эти новые теории являются такими хорошими инструментами. Как хорошая программа, она просто работает.
у компьютерная программа не может быть доказана так же, как математическое утверждение? Математическое доказательство построено на других доказательствах, которые построены от еще большего количества доказательств и вплоть до аксиом - тех истин ...
Есть ли O (1 / n) алгоритмы?
Есть ли O (1 / n) алгоритмы? Или что-нибудь еще, что меньше, чем O (1)?