Курсы валют:
  • Обменный курс USD по ЦБ РФ на 18.06.2018 : 56,184
  • Обменный курс EUR по ЦБ РФ на 18.06.2018 : 69,9322
  • Обменный курс GBP по ЦБ РФ на 18.06.2018 : 79,7026
  • Обменный курс AUD по ЦБ РФ на 18.06.2018 : 45,4697

Информационные технологии

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

Синонимы:  Дедуктивная машина, Блок логического вывода, Решатель