формальное выражение

формальное выражение
мат. formal expression

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужен реферат?

Смотреть что такое "формальное выражение" в других словарях:

  • Формальное доказательство — (англ formal evidence) доказательство, сила и значение которого определяются по внешним, формальным признакам, в соответствии с определенными условиями, установленными законодательством. Система Ф.д. (законных, легальных доказательств) была тесно …   Энциклопедия права

  • Формальное доказательство — (англ formal evidence) доказательство, сила и значение которого определяются по внешним, формальным признакам, в соответствии с определенными условиями, установленными законодательством. Система Ф.д. (законных, легальных доказательств) была тесно …   Большой юридический словарь

  • ФОРМАЛЬНОЕ ДОКАЗАТЕЛЬСТВО — – доказательство, сила и значение которого определяется по внешним, формальным признакам, в соответствии с определёнными условиями, установленными законом. Система Ф. д. (законных, легальных доказательств) была тесно связана с розыскным… …   Советский юридический словарь

  • ВЕРОЯТНОСТИ, ФУНКЦИЯ — Формальное выражение, представляющее попарное сравнение каждого события в определенной ситуации и вероятность его возникновения. Иногда этот термин используется синонимично с нормальной кривой вероятности; см. здесь нормальное распределение …   Толковый словарь по психологии

  • ПРАВИЛО — Формальное выражение, которое кодифицирует и определяет некоторый набор отношений. В этом смысле употребление этого термина удивительно схоже с употреблением термина понятие. Действительно, многие эксперименты на усвоение понятий также… …   Толковый словарь по психологии

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

  • логический анализ — применение средств математической логики для обсуждения и решения философских и методологических проблем. Выражение проблемы в формальном языке придает ей точность и определенную ясность, что иногда способно облегчить поиск ее решения. При этом… …   Словарь терминов логики

  • ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… …   Математическая энциклопедия

  • Кошмар Дженкина — Кошмар Дженкина  принципиальное возражение против теории Дарвина о постепенном образовании новых биологических видов путём сохранения благоприятного признака естественным отбором, выдвинутое английским инженером Флемингом Дженкином… …   Википедия

  • Энергия — есть способность данной системы тел, находящихся в данных условиях, совершить некоторое, вполне определенное количество работы. Э. системы может оцениваться по весьма различным признакам. Например, Э. парового котла зависит от количества пара,… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Грамматика турецкого языка — Турецкий язык относится к агглютинативным (или «приклеивающим») языкам и, тем самым, существенно отличается от индоевропейских. Содержание 1 Морфология 1.1 Гармония гласных 1.2 Число …   Википедия


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

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