Алгоритм результативен
если его выполнение завершается определенными результатами.
возникают при логическом определении понятий: Мнемозина — богиня памяти в греческой мифологии, мать девяти муз; Ассюре — типографическая линейка, дающая оттиск в виде нескольких параллельных линий; Семиотика — наука о знаках и знаковых системах.
Общее представление о синонимии
Определение 1
Синонимия – это языковое явление, которое заключается...
В лексикологии принято выделять два варианта понимания синонимии:
узкое понимание синонимии представляет...
на тождестве или сходстве значений языковых единиц;
в центре внимания исследователей оказывается логическая...
синонимии....
Описание стилистической синонимии
Стилистическая синонимия представляет собой явление выражения одного
Статья посвящена проблеме оснований синонимии как вида парадигматических отношений лексических и фразеологических единиц. Автор статьи обнаруживает, что логическим основанием синонимии является общность выражаемого понятия. На уровне лингвистики это выражается в полном или частичном совпадении сем понятийного компонента значения языковой единицы.
Общая характеристика логической семантики
Определение 1
Семантика и вопросы онтологии – это взаимосвязь...
Для логической семантики ключевым является отношение между выражениями и их интерпретацией....
Традиция, заложенная еще авторами первых фундаментальных работ по логической семантике (Г....
При этом от синонимии не избавляются, устанавливая для синонимов отношения типа равенства (тождества,...
В ряде случаев устранить синонимию невозможно из-за отсутствия алгоритмов, позволяющих установить тождество
Статья посвящена концепции синонимии, а именно синонимам как словам принадлежащие к одной части речи, близкие или тождественные по предметно-логическому значению, представляющие одно и то же понятие в разных стилистических регистрах.
если его выполнение завершается определенными результатами.
процедура приближенного формализованного представления сложных геометрических многообразий через совокупность более простых. Например, замена произвольных кривых ломаными линиями, состоящими из прямолинейных отрезков; произвольных криволинейных поверхностей – системой сопряженных плоских граней, тел сложной конфигурации – многогранниками. Процедура А. позволяет упрощать математические описания объектов виртуального мира и, соответственно, создание системы виртуальной реальности.
«Истинно суждение либо его отрицание - третьего не дано».