Предметная Область

- простейшее выражение языка, представляющее собой такое соединение слов, к-рое имеет самостоятельный смысл, т. Е. Выражает законченную мысль. В формализованных языках П. Наз. Формулы, не содержащие свободных переменных, т. Е. Параметров. П. В формализованных языках наз. Также замкнутыми формулами. Напр., в языке 1-го порядка (языке узкого исчисления предикатов) формулы являются замкнутыми (первая ложная, а вторая и третья - истинные в области натуральных чисел). Формулы но являются ..

- конечно аддитивная мера с действительными или комплексными значениями на нек-ром пространстве W, обладающая свойством. Она определена на алгебре подмножеств W, к-рая имеет вид , где - семейство s-алгебр пространства W, помеченных элементами нек-рого частичного упорядоченного множества Атак, что при a1<a2, и сужение этой меры на любую a-алгебру счетно аддитивно. Напр., если W-хаусдорфово топологич. Пространство, А - совокупность всех компактов, упорядоченных по вложению, , есть s-алгебр..

то же, что индивидная переменная. См. Также Предикатов исчисление. ..

- язык, являющийся предметом изучения. При формализации какой-либо содержательной теории различают два языка. Один - это язык формализуемой теории, или П. Я., задаваемый правилами построения выражений П. Я. И семантическими правилами, определяющими, что обозначают его выражения или какие они выражают суждения. Другой - это язык, на к-ром формулируются упомянутые выше синтаксические и семантич. Правила. Этот язык наз. метаязыком. Обычно метаязык не формализуется. Однако и его можно формализоват..