Вопросы с тегом «math»

10
Хороший способ научиться решать вопросы на InterviewStreet [закрыто]

Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы. Закрыто 4 года назад . Locked . Этот вопрос и его ответы заблокированы, потому что вопрос не по теме, но имеет историческое значение. В настоящее время он не принимает новые ответы или взаимодействия. Возможный дубликат:...

10
Как исчисление и линейная алгебра могут быть полезны системному программисту? [закрыто]

Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он соответствовал теме разработки программного обеспечения стека Exchange. Закрыто 4 года назад . Я нашел сайт, на котором написано, что исчисление и линейная алгебра...

10
Интервью головоломки о путешествии на отрезке

На числовой линии длины M, где 0 < M <= 1,000,000,000вы задали N( 1 < N <= 100,000) целочисленные пары точек. В каждой паре первая точка указывает, где в данный момент находится объект, а вторая точка указывает, куда должен быть перемещен объект. (Имейте в виду, что secondточка может...

10
Можно ли редактировать встроенный модуль Python?

В настоящее время я изучаю Python, и я сейчас в книге об использовании библиотеки Math. Я заглянул на сайт Python и заметил, что библиотеки немного не хватает, и я пишу еще несколько полезных функций. Например, я пошел дальше и написал функцию для получения коэффициентов и возврата корней...

9
Подразумеваемая точность функций с плавающей точкой

Рассматривая реализацию функции другого программиста для вычисления CDF нормального распределения , я предложил либо заменить всю реализацию встроенными функциями Python, либо использовать SciPy, общую научную библиотеку. Другой программист отметил, что ни math.erfc()не scipy.stats.norm.cdf()дает...

9
Какое обоснование используется, когда разработчики языка программирования решают, какой знак дает результат операции по модулю?

Проходя операцию по модулю (проспект, в который я вошел, исследуя разницу между remиmod ), я наткнулся на: В математике результатом операции по модулю является остаток от евклидова деления. Однако возможны и другие соглашения. Компьютеры и калькуляторы имеют различные способы хранения и...

9
Можно ли использовать доказательства реляционной алгебры / исчисления для проверки / проверки SQL?

Возможно ли или даже возможно использовать реляционную алгебру и / или реляционное исчисление в форме доказательств для проверки / проверки правильности операторов, функций и хранимых процедур SQL? Мне кажется, что это должно быть по крайней мере возможно, но я не знаю, есть ли какая-то деталь,...

9
Как unums может эмулировать отрицательный ноль IEEE?

В настоящее время я читаю «Конец ошибки - Unum Computing» Джона Густафсона ( Youtube ). Что я до сих пор не уверен, так это то, как дела, обработанные в IEEE с отрицательным знаком нуля , обрабатываются с помощью unums. Таким образом, прежде всего, unums позволяют представлять определенные точные...

9
Математика должна была понять теорию позади системы типов Хаскелла?

Недавно я глубоко заинтересовался Хаскеллом. Пытаясь изучить новые концепции (например, ключевое слово forall и монаду ST ) и систему типов Хаскеля в целом, я постоянно сталкиваюсь с понятиями из теории категорий и лямбда-исчисления . Итак, мне интересно: Какие другие разделы математики важны для...

9
Должен ли `Vector <float> .Equals 'быть рефлексивным или соответствовать семантике IEEE 754?

При сравнении значений с плавающей запятой на равенство существует два разных подхода: NaNне равный самому себе, что соответствует спецификации IEEE 754 . NaNбыть равным самому себе, что обеспечивает математическое свойство рефлексивности, которое необходимо для определения отношения...