Модальная Логика

, -множество ( -множество),- объединение (пересечение) счетного числа замкнутых (открытых) множеств. См. Борелевское множество. А-МНОЖЕСТВО, аналитическое множество, в полном сепарабельном метрическом пространстве - непрерывный образ борелевского множества. Так как любое борелевское множество является непрерывным образом множества иррациональных чисел, то А-м. Можно определить как непрерывный образ множества иррациональных чисел. Счетное пересечение и счетное объединение А-м. Является А- м ..

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

-и, ж. Лингв.. ..

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