Семантика
в математической логике - исследование интерпретаций логического исчисления, формальной аксиоматич. Теории. Изучение смысла и значения конструкций формализованного языка теории, способа понимания его логич. Связок и формул. С. Уделяет внимание возможности точного описания и определения таких понятий, как "истина", "определимость", "обозначение", по крайней мере применительно к точно описанным языкам. В несколько более узком смысле под С. Формализованного языка понимают систему соглашений, определяющих понимание формул языка, задающих условия истинности этих формул. С. Логич. Связок в классической и интуиционистской логике носит э к с т е н с и о н а л ь н ы й характер, т.
Дополнительный поиск Семантика
На нашем сайте Вы найдете значение "Семантика" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Семантика, различные варианты толкований, скрытый смысл.
Первая буква "С". Общая длина 9 символа