Глоссарий





Новости переводов

28 марта, 2024

Бюро переводов vs. переводчиков-фрилансеров

26 марта, 2024

Значение китайского языка в глобализации

26 марта, 2024

Глоссарии по ядерной энергетике на сайте бюро переводов.

25 марта, 2024

Обеспечение качества переводов в работе переводческого агентства

20 марта, 2024

Востребованы ли сегодня переводчики математических текстов с русского языка на английский?

20 марта, 2024

Глоссарий транспортно-экспедиторских и коммерческих терминов добавлен на сайт бюро переводов

19 марта, 2024

Переводы комиксов



Глоссарии и словари бюро переводов Фларус

Поиск в глоссариях:  

Правило вывода

Общая лексика
  1. , правило, определяющее переход от посылок к следствиям; более точно - правило, устанавливающее определенного вида соответствие между некоторой совокупностью высказываний (формул), называемым посылками, и одним определенным высказыванием (формулой), называемым логическим следствием из этих посылок.

  2. Правило, с помощью которого в формальных системах из множества аксиом порождается правильно построенные формулы, которые интерпретируются как истинные.

  3. Правило, определяющее переход от исходных посылок к следствиям.




Вывод, русский
  1. Крепостное сооружение, выступающее перед основным.

  2. Вывод, заключение, умозаключение, нравоучение, мораль; суд, силлогизм. ср. следствие и мнение. , мнение, суд , сделать вывод

  3. , переход от посылок к следствиям (заключениям) по правилам логики (см. также дедукция).

  4. – в логике рассуждение, в ходе которого из определенных исходных суждений, высказываний, посылок или предпосылок получается заключение (вывод) – суждение, вытекающее из посылок. см. также дедукция, индукция.

  5. Получение новых информационных единиц из ранее известных. частным случаем является логический вывод.

  6. Кратко и четко сформулированное заключение но конкретному направлению, вытекающее из материалов проведенных научных исследований.

  7. Цифровой или текстовой материал, сгруппированный в виде горизонтальных строк и вертикальных колонок, разделенных пробельным материалом

  8. Итоговое утверждение констатирующего типа.


Вывод (программы) на перфоленту, русский

Вывод (формулы);, русский

Вывод абдуктивный, русский
    Вывод на основании абдукции.


Вывод вероятностный, русский
    Вывод, при котором каждое выражение, используемое в нем, имеет оценку правдоподобия в виде вероятности того, что оно является истинным. при в.в. применяются специальные процедуры для вычисления вероятности истинного значения результирующего выражения по вероятностям посылок, используемых при выводе.


Вывод данных, русский

Вывод данных на устройство отображения;, русский

Вывод для медицинских газов, русский

Вывод естественный, русский
    Вывод, полученный на основании "здравого смысла". в.е. может либо соответствовать логическому выводу в некоторой формальной системе (но быть для человека очевидным), либо опираться на соображения, которые не укладываются в строгие рамки формальной системы.


Вывод запроса, русский

Вывод запроса на взаимодействие, русский

Вывод из оборота, русский
    Продажа, изъятие, утилизация, уничтожение или безвозвратная утрата маркированных товаров.


Вывод из работы, русский

Вывод индуктивный, русский
    Вывод "от частного к общему". позволяет на основании обобщения частных примеров некоторого явления выдвинуть гипотезу о существовании общей закономерности. в интеллектуальных системах, использующих в.и., работают механизм, позволяющий при формировании гипотезы приписывать ей оценку правдоподобия (например, вероятность того, что данная гипотеза является истинной). в.и. является средством получения новых знаний в интеллектуальных системах.


Вывод интуиционистский, русский
    Вывод, характерный для интуиционистской логики, не использующий, в частности, закон снятия двойного отрицания и закон исключенного третьего.


Вывод канала, русский

Вывод кратера, русский
    Вывод кратера (перемещение дуги и сварочной ванны, при дуговой сварке на вспомогательную металлическую планку с целью устранения кратера в конце шва)


Вывод линейный, русский
    Последовательность дизъюнктов, в которой начальный дизъюнкт принадлежит исходному множеству, в каждый промежуточный дизъюнкт является резольвентой предшествующего в уже построенной части последовательности дизъюнктов и некоторого бокового дизъюнкта.


Вывод листа (бумаги), русский

Вывод логический, русский
    Рассуждение, в ходе которого из какихлибо исходных суждений


Вывод меню, русский

Определяющее, русский

Соответствие, русский
  1. Соответствие, соотношение, аналогичность, аналогия, согласие, соразмерность, симметрия, гармония. ср. согласие и сходство. , аналогия, согласие, сходство

  2. Выполнение требования.

  3. Выполнение требований.

  4. 1) выполнение установленных требований; 2) выполнение требований потребителей оу и образовательных стандартов.

  5. Соответствие сегмента текста сегменту выбранной базы тм

  6. Условие, при котором точка на половине штампа для одной ковки или штамповки должным образом соотносится с соответствующей точкой другой половины штампа, в пределах точно установленного допуска.

  7. Соотношение между чемлибо, выражающее согласованность, равенство в чемнибудь или чемунибудь в какомлибо отношении


Право убежища, русский
  1. , предоставление государством права въезда и проживания на его территории иностранцам, преследуемым на родине или в других странах за их политическую или научную деятельность. не распространяется на лиц, обвиняемых в совершении международных преступлений (в т. ч. военных преступников), а также уголовных преступлений.

  2. Предоставление конкретным государством какому-либо лицу возможности укрыться от преследований, которым он подвергается в стране своего гражданства или постоянного местожительства по политическим, религиозным и иным мотивам. право убежища не распространяется на военных преступников и лиц, виновных в совершении преступлений против человечества. различают убежище территориальное и убежище дипломатическое. предоставление политического убежища не влечет автоматического предоставления гражданства. актом предоставления убежища государство принимает на себя обязательство не выдавать данное лицо государству, в котором оно подверглось преследованиям.


Правеж, русский
    , в древнерусском праве - исполнение судебного решения, принуждение к уплате долгов, пошлин и т. п. битьем батогами.