Модальность

- одна из числовых характеристик распределения вероятностей случайной величины. Для случайной величины, имеющей плотность вероятности р(х), М. Наз. Любая точка х 0 максимума р(х). М. Определяется и для дискретных распределений. Если значения и случайной величины Xс распределением расположены в цорядке возрастания, то точка х т наз. Модой, если Распределения с одной, двумя или большим числом М. Наз. Соответственно унимодальными (или одновер шинным и), бимодальными и мультимодальными. Наиболе..

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

- раздел математической логики, изучающий математические модели. Начало М. Т. Относится к 30-м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя - Мальцева). Если каждая конечная подсовокупность совокупности Твысказываний языка 1-й ступени совместима, то совместна и вся совокупность Т(см. [1]). Теорема 2 (теорема Лёвенхейма - Сколема - Мальцева). Если совокупность высказываний языка 1-й ступени сигнатуры Wимеет бесконечную модель, то она имеет модель л..

- интерпретация формального языка. Основным формальным языком является язык 1-г о порядка (или 1-й ступени) данной сигнатуры , включающей предикатные символы функциональные символы и константы Модель языка есть алгебраическая система сигнатуры Пусть -нек-рое множество замкнутых формул языка . Модель для есть М. Языка , в к-рой истинны все формулы из'. Множество наз. Совместным, если оно имеет хотя бы одну М. Класс всех М. Для обозначается Mod . Совместность множества означает, что ..