вывода

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

• ВЫВОДА ДЕРЕВО — способ записи выводов в исчислении, при к ром над каждым элементом Рпишутся те элементы вывода, из к рых Рполучен за одно применение вывода правила. Напр., имея вывод в к ром аксиомы, получается за одно применение правила из из из можно записать… …   Математическая энциклопедия

• ВЫВОДА ПРАВИЛО — способ порождения объектов, называемых заключением В. п., по множеству объектов, называемых посылками правила; формулирование В. п. играет решающую роль при описании исчислений (часто данное В. п. имеет смысл лишь в контексте данного исчисления) …   Математическая энциклопедия

• устройство вывода — 01.04.17 устройство вывода (сводный оригинал макет) [output device integrated artwork>]: Конечный элемент компьютеризированного оборудования, используемый для создания оригинала изображения для репродуцирования. Примечание Устройство вывода… …   Словарь-справочник терминов нормативно-технической документации

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

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

• Порт ввода-вывода — Не следует путать с Аппаратный порт. Эта статья содержит незавершённый перевод с иностранного языка. Вы можете помочь проекту, переведя её до конца. Если вы знаете, на каком языке написан фрагмент, укажите его в этом шаблоне. Ввод вывод через… …   Википедия

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

• Медаль «В память 10-летия вывода советских войск из Афганистана» (Белоруссия) — Медаль «В память 10 летия вывода советских войск из Афганистана» …   Википедия

• Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… …   Википедия

• Механизм вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… …   Википедия

• Интерфейс (или сопряжение ввода - вывода) — Совокупность унифицированных конструктивных, логических, физических условий, которым должны удовлетворять технические средства, чтобы их можно было соединить и производить между ними обмен информацией. В соответствии с назначением в состав… …   Словарь-справочник терминов нормативно-технической документации