модель доказательства
Смотреть что такое "модель доказательства" в других словарях:
Модель (в науке) — Модель (франц. modèle, итал. modello, от лат. modulus мера, мерило, образец, норма), 1) образец, служащий эталоном (стандартом) для серийного ли массового воспроизведения (М. автомобиля, М. одежды и т. п.), а также тип , марка какого либо… … Большая советская энциклопедия
Доказательства эволюции — Ископаемый археоптерикс, обнаруженный вскоре после публикации « … Википедия
Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… … Википедия
Модель — I Модель (Model) Вальтер (24.1.1891, Гентин, Восточная Пруссия, 21.4.1945, близ Дуйсбурга), немецко фашистский генерал фельдмаршал (1944). В армии с 1909, участвовал в 1 й мировой войне 1914 18. С ноября 1940 командовал 3 й танковой… … Большая советская энциклопедия
Модель вычислений — Иные значения см. разделе в Компьютерное моделирование. Теория вычислимости и теория сложности вычислений трактует модель вычисления (англ. model of computation) не только как определение множества допустимых операций, использованных для… … Википедия
Модель структуры интеллекта (structure-of-intellect model) — М. с. и. обнаруживает тесные связи с тем, что сейчас называют когн. психол. и освещает широкий спектр важных концепций восприятия, научения, памяти, логического вывода, творческого мышления, решения задач и принятия решений. М. с. и. определяет… … Психологическая энциклопедия
Беседы и математические доказательства, касающиеся двух новых... — «БЕСЕДЫ И МАТЕМАТИЧЕСКИЕ ДОКАЗАТЕЛЬСТВА, КАСАЮЩИЕСЯ ДВУХ НОВЫХ ОТРАСЛЕЙ НАУКИ, ОТНОСЯЩИЕСЯ К МЕХАНИКЕ И МЕСТНОМУ ДВИЖЕНИЮ» («Discorsi e dimonstrationi mathematiche, intorno a due nuone scienze, attenentialla Mecanica i Movimenti Locali»)… … Энциклопедия эпистемологии и философии науки
Продукционная модель представления знаний — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Продукционная модель знания — модель основанная на правилах, позволяет представить знание в виде предложений типа «Если (условие), то (действие)». Продукционная модель фрагменты Семантической сети, основанные на временных отношениях между состояниями объектов. Продукционная… … Википедия
Медицинская модель психотерапии (medical model of psychotherapy) — Традиционная биомедицинская модель соматического и психиатрического заболевания постулирует, что причину болезни можно, в конечном счете, свести к действию одного или более внутренних патогенных факторов, вызывающих появление обособленных… … Психологическая энциклопедия
Логическая модель представления знаний — Логическая модель представления знаний модель в представлении знаний. Основная идея подхода при построении логических моделей представления знаний вся информация, необходимая для решения прикладных задач, рассматривается как… … Википедия