Глоссарий





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

28 марта, 2024

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

26 марта, 2024

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

26 марта, 2024

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

25 марта, 2024

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

20 марта, 2024

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

20 марта, 2024

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

19 марта, 2024

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



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

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

Вывод интуиционистский

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




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

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

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

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

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

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

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

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


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

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

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


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


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

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

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

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


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

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

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


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

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


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

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


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


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

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


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

Характерный, русский
    Характерный , отличительный


Формула замкнутая, русский
    Выражение в формальной системе в котором либо нет переменных, либо переменные являются связанными квантификаторами.


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