ТОРМИНА
(лат., от torquere - вертеть, беспокоить, мучить). Резь в животе.
... общего общего звучания звучания ипривлекают ипривлекают внимание внимание слушателя слушателя Определение Определение «пятен «пятен яркости яркости »;.Визуальная »;.Визуальная метафора метафора : термин : термин заимствован заимствован изпсихологии изпсихологии восприятия восприятия , где «пятна , где «пятна яркости яркости .»; обозначают .»; обозначают участки участки повышенной повышенной световой световой интенсивности интенсивности ... (Музыкальная психология)
... Данное умозаключение (логический вывод ) построено по первой фигуре Именно такое расположение терминов есть в первой фигуре Однако совсем не обязательно такое расположение терминов и модусов ... ... ). Такие силлогизмы Аристотель называл диалектическими , где вывод правдоподобен , а недостоверен . Рис Соотношение терминов в недемонстративном умозаключении Данный логический вывод является правдоподобным , ибо в нем возможны ответы ... (Логика)
... Нормализация и ранжирование Во время нормализации можно пытаться определить не только термины документа ., но и их значимость для него Примеры : Орфографический словарь «Тихий Дон »; на одной странице ... ... »; на одной странице Документная частота Документная частота - сколько документов содержат данный термин Определяет насколько термин важен вообще Чем специфичнее термин , тем меньше документов ... (Обработка естественного языка)
... прибегая . к толковому словарю , а через предлагаемый контекст ). В этом случае говорят о некоторой контекстной зависимости определяемого термина . Определяемый термин помещается в некоторый языковой контекст , а ему приравнивается . по смыслу другой ... ... языковой контекст , а ему приравнивается . по смыслу другой контекст , не содержащий данного термина При этом сам термин «контекстная зависимость »; понимается в двух различных . смыслах С одной ... (Логика)
... векторов , скалярное .умножение искалярное произведение объявляются как , и , соответственно Предполагая переменные символы иa , b ∈ VN , термин хорошо .отсортирован , втовремя какв →+ане является (поскольку + не принимает .термин типаNвкачестве ... ... вразделе «Многосортная логика »; , включая расширения многосортной структуры , описанные здесь .Лямбда-термины Термины сосвязанными переменными Пример обозначения Связанные переменные Свободные переменные Записывается каклямбда-терм ... (Логика)
... вобщем случаенеразрешима ; этот.результат иногда называют теоремой Пост-Маркова . [ 12 ] Системы переписывания терминов Рис 1 : Схематическая треугольная диаграмма применения правила перезаписи впозициипв термине ... ... применения правила перезаписи впозициипв термине ., ссоответствующей заменойσРис 2 : Правило левого термина соответствие втерминах .Система переписывания терминов ( TRS ) - этосистема переписывания , объектами которой ... (Логика)
Комментарии