Инструмент интерактивного доказательства теорем (интерактивный решатель теорем) — программное обеспечение, помогающее исследователю в разработке формальных...

соответствующая ему компактная компьютерная программа (инструмент интерактивного доказательства теорем) для формализации, коллекционирования в архиве соответствующего...

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

Логика для вычислимых функций), (LCF) — инструмент для интерактивного автоматического доказательства теорем, разработанный Робином Милнером и его сотрудниками...

Coq (фр. coq — петух) — интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina)...

Isabelle — интерактивный инструмент для автоматического доказательства, использующий логику высшего порядка. Реализован в том же стиле, что и один из...

Элизабет Вайтинг, Бренда Волдерс, 2005, Использование интерактивной доски в продвижении интерактивного обучения (Painter, D., Whiting, E., & Wolters, B.,...

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

NQTHM это средство автоматического доказательства теорем, которое иногда называют средством доказательства теорем Бойера — Мура. Он был предшественником...

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

превращает язык в систему интерактивного доказательства. Idris поддерживает два способа работы с системой автоматического доказательства: путём написания последовательных...

время дебатов в Сенате США многие эксперты признали[когда?], что для доказательства прямой связи между видеоиграми и приписываемыми им негативными эффектами...

изначально разрабатывался в качестве DSL для системы автоматического доказательства теорем LCF. Примером, показывающим условность классификации, служит язык...

математики. Используется как базис для системы интерактивного доказательства Coq и ряда подобных инструментов (в том числе Matita[англ.]). Среди вариантов...

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

программой на OCaml. Например, на OCaml написана система интерактивного доказательства теорем Coq. Занимает особое место среди языков программирования...

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

типобезопасности. Некоторые потомки ML так же являются инструментами интерактивного доказательства (Idris, Mercury, Agda). Многие из них, хотя и могли бы...

процессе. Доказательства теорем Устройства для доказательства теорем используют автоматизированные методы рассуждения для определения доказательств математических...

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

социальных стандартов жизни наших сограждан. Преобразования в экономике — это инструмент построения в России подлинного социального государства. Доходы государства...

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

(Колорадо) опубликовали в журнале Science статью, в которой предъявили новые доказательства идущего потепления климата (на основе анализа данных Mars Reconnaissance...

системы автоматического доказательства, такие как HOL[англ.], Twelf[англ.] и Isabelle (система автоматического доказательства теорем). Все они свободны и...

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

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

вручную пишет как спецификацию, так и доказательства, используя тактики: интерактивные системы доказательства теорем Coq, HOL4, Isabelle/HOL. Пользователь...

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

процедур AK в качестве диагностических тестов. До настоящего времени доказательства не поддерживают использование [мануального мышечного тестирования] для...

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

Стивен Кук доказывает теорему Кука. Робин Милнер создал первую систему для демонстрации автоматического доказательства теорем. Марциан Хофф разрабатывает...