Бинарные операции | MetodPro.ru

Реклама на сайте

Бинарные операции


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

Вычисление eval на примере операции cons.

Eval[(cons e1 e2),n,v] = cons(eval[e1,n,v], eval[e2,n,v]), аналогично для других бинарных операций.



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем