Доказательные вычисления — целенаправленные вычисления на ЭВМ, комбинируемые с аналитическими исследованиями, которые приводят к строгому установлению...

методом экспериментальной математики являются доказательные вычисления, в ходе которых результаты вычислений используются для строгого доказательства математических...

эффектом плацебо и естественным выздоровлением после болезни. Тривиальные вычисления показывают, что в препаратах с разведениями 12C➤ и выше вероятность наличия...

Computing» («Надёжные вычисления»). Основной тематикой журнала являются доказательные вычисления, методы интервального анализа и его приложения. В России и СССР...

поворотов граней на любой угол. Алгоритм Бога Группа кубика Рубика Доказательные вычисления Теория групп Rokicki, T.; Kociemba, H.; Davidson, M.; and Dethridge...

было разработано Makarius Wenzel. Автоматическое доказательство Доказательные вычисления QED manifesto[англ.] Формальная верификация Задача выполнимости...

Гарднера. «Отражение радуги» — детективный сериал 2019 года, Россия. Доказательные вычисления Задача Нельсона — Эрдёша — Хадвигера Франк Харари. Гипотеза четырёх...

алгоритмов, сформулированная в начале 1970-х годов и до сих пор не имеющая доказательного ответа. Если будет дан утвердительный ответ, это будет означать, что...

«парадигма» как «способ концептуализации того, что значит „производить вычисления“, и как задачи, подлежащие решению на компьютере, должны быть структурированы...

вавилонян был громоздкий комплект специальных арифметических таблиц. Для вычисления квадратных корней вавилоняне открыли быстро сходящийся итерационный процесс...

Поэтому на данный момент гипотеза симуляции нуждается в более серьёзной доказательной базе, чем несколько статей. Физик Дэвид Дойч в своих книгах «Структура...

расстройства: от доказательных научных исследований к клинической практике // Биологические методы терапии психических расстройств (доказательная медицина —...

специалисты предложили заменить P-значения на альтернативные метрики доказательности, такие как доверительный интервал, отношение правдоподобий или коэффициент...

Колмогорова-Смирнова. При проверке гипотез основной целью статистических вычислений является получение p-значения — вероятности увидеть полученный результат...

немногие. В своей книге Фибоначчи всячески поддерживал индийские приёмы вычисления и методы. По словам историка математики А. П. Юшкевича, «„Книга абака“...

(LTS). Каждое состояние LTS представляется парой (S,K), где S — состояние вычисления протокола, а K — знания, доступные противнику. Переходы в LTS осуществляются...

примитивных типов данных. Она используется для целей доказательной демонстрации того, что для проведения вычислений другие примитивные типы данных не обязательны...

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

создателя исчисления — Тьерри Кокана. Coq можно использовать для вычислений. Пример вычисления факториала: Fixpoint factorial n := match n with | 0 => 1 |...

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

схемах ЭП зачастую подпись ставится не на сам документ, а на его хеш. Для вычисления хеша используются криптографические хеш-функции, что гарантирует выявление...

функций, и в этом деле достиг вершин мастерства. Он использовал ряды для вычисления таблиц, решения уравнений (в том числе дифференциальных), исследования...

Было выявлено 16 типов медицинских алгоритмов, от простых формул для вычисления индекса массы тела до сложных методов прогноза клинических результатов...

Искомый результат либо даётся прямо, либо приводится краткий алгоритм его вычисления. Такой способ изложения, типичный для науки стран древнего Востока, наводит...

«отсекать» или др.-греч. ῥιζικόν «опасность») — сочетание (с точки зрения вычисления — произведение) вероятности и последствий наступления неблагоприятных...

установлению общих закономерностей, составили первые систематические и доказательные труды по геометрии. Центральное место среди них занимают написанные...

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

зарождение и развитие современной вычислительной математики и доказательных вычислений. К. И. Бабенко всегда был в гуще общественной жизни. В 1955 году...

этических норм. Одновременно индуктивные умозаключения не имеют логически доказательного характера и соответственно не могут гарантировать истинность определений...

сообщение всегда приводит к одному и тому же хешу); Высокая скорость вычисления значения хеш-функции для любого заданного сообщения; Невозможность сгенерировать...

. Участники используют функцию h {\displaystyle h} для вычисления образов h ( R 1 ) , h ( R i ) , . . . , h ( R l ) {\displaystyle h(R_{1})...