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

[[Категория:Математические гипотезы|Штрассена]] [[Категория:Логические гипотезы]] ...

...тности и доказал частный случай теоремы, позволяющей оценивать вероятность гипотезы на основании новых данных, которая позже получила его имя. Впоследствии [[Л ...атик и статистик [[Де Финетти, Бруно|Бруно де Финетти]] («Предвидение: его логические законы, его субъективные источники», опубл. в 1937). Однако по-настоящему в ...

...'' — логическое отношение между двумя предложениями, степень подтверждения гипотезы ''H'' свидетельством ''E''. ...я получения более сложных предложений использовались [[логическая операция|логические связки]]. Далее Карнап составил описания всех возможных состояний [[универс ...

...th>0</math> или <math>1</math>. На основе этого понятия вводятся различные логические операции над нечёткими множествами и формулируется понятие лингвистической ...претировать как функции активации нейронов, передачу сигналов как связи, а логические t-нормы и k-нормы, как специальные виды нейронов, выполняющие математически ...

...ории вычислительного обучения. Другими словами, ''бережливость'' (выходной гипотезы) влечёт ''прогнозирующую способность''. ...\mathcal{H}</math> являются классами понятий, содержащих целевые понятия и гипотезы соответственно. Тогда, для констант <math>\alpha \geqslant 0</math> и <math ...

Результатом применения ДСМ-метода являются гипотезы двух типов: :* гипотезы о связи определённых структурных фрагментов изучаемых объектов со свойствам ...

[[Категория:Математические гипотезы]] [[Категория:Логические гипотезы]] ...

[[Категория:Физические гипотезы]] [[Категория:Астрономические гипотезы]] ...

...нтерактивно создаёт доказательство сверху вниз, начиная с цели (то есть от гипотезы, которую необходимо доказать). Coq может [[Автоматическое доказательство те ...e>plus_comm</code>, и индуктивная гипотеза <code>H</code>. Имя индуктивной гипотезы было сгенерировано автоматически тактикой <code>intros</code>, второе вхожд ...

[[Категория:Логические гипотезы]] ...

...сти отличить искусственные сигналы от естественных до «[[Гипотеза зоопарка|гипотезы зоопарка]]». == Объясняющие гипотезы == ...

...практическим причинам, а это означает, что без каузальной модели некоторые гипотезы не могут быть проверены<ref>{{Cite web|url=https://studme.org/50348/psiholo ...о Александр Степанович|заглавие=Контрфактуальное мышление|год=2017|издание=Логические исследования|том=23|выпуск=2|issn=2074-1472}}</ref>. ...

Ошибочным доказательством называется текст, содержащий логические ошибки, то есть такой, по которому нельзя восстановить формальное доказател Первые доказательства использовали простейшие логические построения. В частности [[Фалес Милетский]], доказавший что [[диаметр]] дел ...

...е идеи Рассела в основание своей философии («Логико-философский трактат»). Логические позитивисты решили перенести логико-математические идеи Рассела и Витгенште ...к тавтологии и относящиеся к логико-математической сфере, — аналитические, логические истины; ...

...a/> — критерия согласия <math>\chi^2</math>, критерия Крамера для проверки гипотезы о связи качественных признаков и др. !rowspan="4"| Логические/<br>математические<br>операции ...

Применение гипотезы [[Независимость (теория вероятностей)|условной независимости]] позволяют пр Используя эти гипотезы и рекурсивной формулу, задачу вывода для получения ответа на обычный вопрос ...

...анизм не нужен. Аналогами операторов и команд в асинхронной схеме являются логические элементы, триггеры или сложные иерархические модули. Роль данных, которыми Вариант toggle, использующий дуальные логические элементы 1И-2ИЛИ-НЕ и 1ИЛИ-2И-НЕ приводится в<ref name="Var97">[https://www ...

...ысказывание (логика)|высказывания]], [[Логика высказываний|истинность]], [[логические операции]], [[Предикат|пропозициональные функции]]{{sfn|Клайн М.|1984|с=252 ...гика основана на математике, а не математика на логике (впрочем, некоторые логические принципы входят как составная часть в математическую интуицию). Аксиоматиза ...

...ищного вздора|гипотезой чудовищного вздора]]»{{ref+|Такой перевод названия гипотезы встречается в научно-популярной литературе<ref>{{публикация|книга|автор= Иэ ...ыла его аспиранткой<ref name="Times-obituary" />, занималась исследованием гипотезы чудовищного вздора; она получила степень [[PhD]] в Кембридже в 1981 году<re ...

...на сама нуждается в обосновании своих методов рассуждения. Более того, все логические трудности, связанные с обоснованием математического учения о бесконечности, ...од в науке|1940 году]] (в работе по доказательству независимости континуум-гипотезы от аксиомы выбора), окончательный вариант получил известность как [[система ...