Перевод: со всех языков на все языки

со всех языков на все языки

выражениям

См. также в других словарях:

  • Эмоциональное заражение (emotional contagion) — Э. з. это «тенденция к автоматическому подражанию и синхронизации выражений лиц, голосовых реакций, телесных поз и движений с выражениями лица, голосовыми реакциями, позами и движениями др. чел., приводящая к сближению с ним в эмоциональном… …   Психологическая энциклопедия

  • ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …   Философская энциклопедия

  • ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… …   Философская энциклопедия

  • ИНТЕРПРЕТАЦИЯ — (от лат. interpretatio истолкование, разъяснение) 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержательного знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и… …   Философская энциклопедия

  • КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… …   Философская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • СВЯЗАННАЯ ПЕРЕМЕННАЯ — связанное вхождение переменной, тип вхождения переменной в языковое выражение. Точное определение для каждого формализованного языка свое и зависит от правил образования этого языка. Вместо С. н. нельзя подставлять объекты. Такая подстановка… …   Математическая энциклопедия

  • Глушко, Валентин Петрович — Валентин Петрович Глушко Дата рождения: 20 августа (2 сентября) 1908(1908 09 02) Место рождения: Одесса, Херсонская губерния, Российская империя >позднее …   Википедия

  • Регексп — Регулярные выражения (англ. regular expressions, сокр. RegExp, RegEx, жарг. регэкспы или регексы) система синтаксического разбора текстовых фрагментов по формализованному шаблону, основанная на системе записи образцов для поиска. Образец (англ.… …   Википедия

  • Регексы — Регулярные выражения (англ. regular expressions, сокр. RegExp, RegEx, жарг. регэкспы или регексы) система синтаксического разбора текстовых фрагментов по формализованному шаблону, основанная на системе записи образцов для поиска. Образец (англ.… …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»