- семантическая полнота
- мат. semantical completeness
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
полнота логических исчислений — ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… … Энциклопедия эпистемологии и философии науки
Федоров, Юрий Михайлович — (р.23.06.1936) спец. по филос. антропологии, онтологии и соц. филос.; д р филос. наук. Род. в г. Гудаута (Абхазия). Окончил Омское высшее общевойсковое командное училище (1960), ВПА (1970) и адъюнктуру при ней (1973). С 1973 по 1986 нач. кафедры… … Большая биографическая энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
Информация — (Information) Информация это сведения о чем либо Понятие и виды информации, передача и обработка, поиск и хранение информации Содержание >>>>>>>>>>>> … Энциклопедия инвестора
Разрешение лексической многозначности — Необходимо проверить качество перевода и привести статью в соответствие со стилистическими правилами Википедии. Вы можете помочь … Википедия
Истина — У этого термина существуют и другие значения, см. Истина (значения). Истина гносеологическая характеристика мышления в его отношении к своему предмету[1]. Содержание 1 Определения 1.1 В философии … Википедия
Интернет-магазин — (англ. online shop или e shop) сайт, торгующий товарами в интернете. Позволяет пользователям сформировать заказ на покупку, выбрать способ оплаты и доставки заказа в сети Интернет. Содержание 1 Принципы работы сайта 1.1 Оформл … Википедия
Истина (логика) — Истина такая качественная характеристика мысли, представления или суждения, которая позволяет считать их знанием. Истиной также может называться само знание (содержание знания) или сама познанная действительность. В целом истина есть… … Википедия
Относительная истина — Истина такая качественная характеристика мысли, представления или суждения, которая позволяет считать их знанием. Истиной также может называться само знание (содержание знания) или сама познанная действительность. В целом истина есть… … Википедия
ЖИВОТРЕПЕЩУЩИЙ — В русском литературном языке есть слова, которые с виду похожи на старославянизмы, а на самом деле имеют под собою глубоко народный русский фундамент. В некоторых случаях даже славянорусская морфология их является последствием позднейшей… … История слов
МЕТАЯЗЫК — (от греч. meta после, за, позади) язык, средствами которого исследуются и описываются свойства языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его лексикой, с его грамматической… … Философская энциклопедия