Тоже самое что слово - буквализм,
1. Формальное следование чему -либо , строгое соблюдение внешней стороны чего -либо в ущерб существу дела.
-а, м.
Строгое соблюдение внешней, формальной стороны, узкоформального смысла чего -либо в ущерб сущности самого дела.
Буквализм в экранизациях --- так же губителен, как буквализм в переводах поэзии с одного языка на другой. Симонов, Земная правда романтики.
... автомат строит его вывод . в явном виде , что позволяет анализировать семантику этого слова Формальные языки Формальный язык в математической логике , информатике и лингвистике - множество конечных . слов ... ... . Монтегю не показал как можно воспринимать английский (или любой другой .естественный язык ) как формальный язык Его вклад в лингвистическую семантику , известный как грамматика Монтегю , представляет . основу ... (Компьютерная лингвистика)
... распространенный способ доказательства отпротивного ., используемый вклассической математике ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ Логическое следование данной формулы изданной совокупности выведенных ранее формул .ДОМЕН Помещенная вбазу ... ... системах ЛЗСиспользуется втех случаях , когда привоспроизведении деятельности эксперта-профессионала нет.возможности построить формальную систему , вкоторую можно было быпогрузить .процедуры рассуждений этого эксперта ЛОГИКА ... (Искусственный интеллект. Основы и история. Цели.)
... А, ТО , ИНАЧЕ Секвенция может истолковываться в обычном логическом смысле как знак логического . следования В из истинного А (если А не является истинным .выражением , то о В ничего сказать нельзя ). Возможны и другие интерпретации ... ... ввиду присущих ему нерегулярностей , двусмысленностей , пресуппозиций и.т п Но главное препятствие заключается в отсутствии формальной семантики естественного языка ., которая имела бы достаточно эффективную операционную поддержку Для ... (Искусственный интеллект. Основы и история. Цели.)
... ключа , который совпадает с именем формального аргумента . Ключевые позволяют нарушить порядок следования аргументов или пропустить часть из. них Так , для подпрограммы с заголовком Subroutine ONE (A, B, C., D) вызов может ... ... функцию | | | | | | | | Заголовок | Невыполняемый Определяет начало | | программной | программной единицы и описывает ее |. | единицы | формальные параметры | | | | L+.--. Таб 1-2 Категории операторов Фортрана Для полной информации об использовании ... (Языки и методы программирования. Теория трансляции)
... вклада и вознаграждений в трудовом взаимодействии ). Ценностные факторы - это принципы , которым личность следует или следование которым . от нее ожидают другие (коллеги и т д ) Структурные факторы - это существующие объективные обстоятельства ... ... передатчиков ролей Такие действия рассматриваются как ролевые давления Они могут исходить из формальных и неформальных источников , быть законными . или незаконными , запрещающими или предписывающими и отражать передаваемые требования ... (Организационная психология)
... (определение ) необходимой логической присущности . (включенности в определение ), «вьяпти »;, также известное как «неизменное следование »; или «.убеждение »; Для этой цели они развили учение об «апоха »; или различении ., о правилах включения ... ... Теории логического вывода Теории логического вывода (теория логического вывода ). Теории следования (теория следования ). Теории импликаций (теория импликаций ). Материальная импликация Неклассические логики ... (Логика)
Комментарии
Оставить комментарий