- формальное выражение
- мат. formal expression
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Формальное доказательство — (англ formal evidence) доказательство, сила и значение которого определяются по внешним, формальным признакам, в соответствии с определенными условиями, установленными законодательством. Система Ф.д. (законных, легальных доказательств) была тесно … Энциклопедия права
Формальное доказательство — (англ formal evidence) доказательство, сила и значение которого определяются по внешним, формальным признакам, в соответствии с определенными условиями, установленными законодательством. Система Ф.д. (законных, легальных доказательств) была тесно … Большой юридический словарь
ФОРМАЛЬНОЕ ДОКАЗАТЕЛЬСТВО — – доказательство, сила и значение которого определяется по внешним, формальным признакам, в соответствии с определёнными условиями, установленными законом. Система Ф. д. (законных, легальных доказательств) была тесно связана с розыскным… … Советский юридический словарь
ВЕРОЯТНОСТИ, ФУНКЦИЯ — Формальное выражение, представляющее попарное сравнение каждого события в определенной ситуации и вероятность его возникновения. Иногда этот термин используется синонимично с нормальной кривой вероятности; см. здесь нормальное распределение … Толковый словарь по психологии
ПРАВИЛО — Формальное выражение, которое кодифицирует и определяет некоторый набор отношений. В этом смысле употребление этого термина удивительно схоже с употреблением термина понятие. Действительно, многие эксперименты на усвоение понятий также… … Толковый словарь по психологии
ЛОГИЧЕСКИЙ АНАЛИЗ — применение средств математической логики для обсуждения и решения филос. и методологических проблем, для уточнения и формализации языковых выражений. Выражение проблемы в формализованном языке придает ей точность и определенную ясность, что… … Философская энциклопедия
логический анализ — применение средств математической логики для обсуждения и решения философских и методологических проблем. Выражение проблемы в формальном языке придает ей точность и определенную ясность, что иногда способно облегчить поиск ее решения. При этом… … Словарь терминов логики
ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… … Математическая энциклопедия
Кошмар Дженкина — Кошмар Дженкина принципиальное возражение против теории Дарвина о постепенном образовании новых биологических видов путём сохранения благоприятного признака естественным отбором, выдвинутое английским инженером Флемингом Дженкином… … Википедия
Энергия — есть способность данной системы тел, находящихся в данных условиях, совершить некоторое, вполне определенное количество работы. Э. системы может оцениваться по весьма различным признакам. Например, Э. парового котла зависит от количества пара,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Грамматика турецкого языка — Турецкий язык относится к агглютинативным (или «приклеивающим») языкам и, тем самым, существенно отличается от индоевропейских. Содержание 1 Морфология 1.1 Гармония гласных 1.2 Число … Википедия