Логические или декларативные | MetodPro.ru

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

Логические или декларативные


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

Операторы логических программ выполняются не в том порядке, в котором они описаны, порядок выполнения операторов определяется машиной вывода.

Пролог, Yacc



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

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