Результаты поиска по запросу "theory"
Что такое Y-комбинатор? [закрыто]
Y-комбинатор - это концепция информатики с «функциональной» стороны вещей. Большинство программистов вообще ничего не знают о комбинаторах, даже слышали ли они о них. Что такое Y-комбинатор?Как работают комбинаторы?Для чего они хороши?Полезны ...
С другой стороны, математические доказательства не волнуют мир. Повторяющийся вопрос с математикой, если он описывает что-то реальное. Он возникает каждый раз, когда изобретается что-то новое, например, воображаемые числа или неевклидово пространство. Тогда вопрос забывается, поскольку эти новые теории являются такими хорошими инструментами. Как хорошая программа, она просто работает.
у компьютерная программа не может быть доказана так же, как математическое утверждение? Математическое доказательство построено на других доказательствах, которые построены от еще большего количества доказательств и вплоть до аксиом - тех истин ...
быть распознанным как выражение с двумя именами атрибутов & и именем оператора в одном месте, но быть просто одним именем атрибута в другом. Есть решения для этих вещей в дизайне языка, например, в SQL дополнительные кавычки, специализированные для имен атрибутов. Но, может быть, вы можете понять, почему простые вещи, такие как алгебра, работающая только с именами атрибутов и значениями отношений с уникальными неупорядоченными именами атрибутов, помогает нам понять с точки зрения автономных кусков.
я есть отношение R ------- cid sid gradepoint credits CS425 001 4.0 3Мне нужно рассчитать средний балл. Есть еще ряды, но я верю, что если я просто получу ответ, со мной все будет в порядке. мне нужно сделатьgradepoint * credits, Как я могу ...
Как мы называем эту (новую?) Функцию высшего порядка?
Я пытаюсь назвать то, что я считаю новой идеей для функции более высокого порядка. Что важно, вот код на Python и Haskell, чтобы продемонстрировать концепцию...
@scurial Я не думаю, что есть проблемы, которые могут быть решены людьми, но неразрешимы на машинах Тьюринга, не так ли?
ли компьютер «выучить» регулярное выражение на предоставленных пользователем примерах? Чтобы уточнить: я делаюнехочу выучить регулярные выражения.Я хочу создать программу, которая «изучает» регулярное выражение на примерах, которые ...
Почему результаты перенаправления не разрешены в дочерних действиях в Asp.net MVC 2
У меня есть некоторые частичные действия, которые я выполняю с помощью метода Asp.Net Futures RenderAction. Некоторые из них выполняют перенаправления после ...
Эквивалентный метод перегрузки зачем нужен?
Я просмотрел код JAVA, созданный Google, и нашел набор ...
Метод расчета центра масс из файла .stl (стерео литография)?
Я пытаюсь вычислить координаты центра масс (x, y, z) объекта, определенного в файле STL (стерео литография, не путать со стандартной библиотекой шаблонов). Файл STL содержит замкнутый объект (или объекты), ограниченный границей из треугольников. ...