Испытание
термин классической теории вероятностей, при аксиоматическом подходе определяемый как любое разбиение пространства элементарных событий на попарно несовместимые случайные события, которые называются исходами испытания
раздел логики, в котором наряду с обычными высказываниями рассматриваются высказывания типа «возможно, что . . .», «необходимо, чтобы . . .» и т.п.
История модальной логики
Определение 1
Модальная логика – это раздел формальной логики, занимающийся...
Ученик Аристотеля Теофраст сделал следующий шаг в развитии модальной логики....
Аксиоматическую точность модальной логике придал К. И. Льюис в первой половине XX века....
Современное содержание модальной логики
Логическую теорию признают модальной при выполнении следующих...
логика вообще не требует задания модальности «возможно»).
In this paper we present Hilbert-style axiomatization of polymodal logic K# with "existential" modality, that is modality that allows us to say that a formula is true in a world accessible by some accessibility relation, and prove its completeness. We also prove completeness for the extension of K# obtained by augmenting it the axiom of determinism.
Общая характеристика логик с модально-временными операторами
Определение 1
Логики с модально-временными...
операторами – это класс логик, которые объединяют в себе операторы модальной и темпоральной логики,...
В области математической логики модальные и временные операторы используются для выражения утверждений...
, внутри модальной логики....
Приложения модальных и временных логических языков
Среди приложений модальных и временных логик можно
В статье рассматривается класс ERA-логик с эмпирическими модальностями □ (необходимость) и 0 (возможность), которые характеризуют, соответственно, высказывания, представляющие эмпирические законы и эмпирические тенденции, т. е. эмпирические закономерности. Эмпирические закономерности являются результатом ДСМ-рассуждений, которые образованы взаимодействием правил индуктивного вывода и правил вывода по аналогии, а также процедурами абдуктивного принятия гипотез. Рассматриваемые ERA-логики являются пропозициональной имитацией ДСМрассуждений, применимых к последовательностям расширяемых баз фактов интеллектуальных систем. Характерной особенностью ERA-логик является применение двух концепций истины когерентной и корреспондентной. Применение когерентной концепции истины обусловлено порождением гипотез посредством правил индуктивного вывода и вывода по аналогии. Применение же корреспондентной концепции истины обусловлено применением абдуктивного вывода, принятие результатов которого исполь...
термин классической теории вероятностей, при аксиоматическом подходе определяемый как любое разбиение пространства элементарных событий на попарно несовместимые случайные события, которые называются исходами испытания
порождающая грамматика
аксиальный вектор
Возможность создать свои термины в разработке
Еще чуть-чуть и ты сможешь писать определения на платформе Автор24. Укажи почту и мы пришлем уведомление с обновлением ☺️
Включи камеру на своем телефоне и наведи на Qr-код.
Кампус Хаб бот откроется на устройстве