Математика

Первоначально математическая теория, лежащая в основе этой технологии, была разработана в Математическом институте имени Соболева тремя известными математиками Ю.Л. Ершовым, С.С. Гончаровым и Д.И. Свириденко.

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

d0sl означает Delta*0 (*дельта-ноль_)Semantiс Language.

  • d0sl - это декларативный исполняемый язык спецификаций, который является конструктивным подмножеством языка логики предикатов первого порядка.
  • Синтаксис d0sl здесь

Если вас более подробно интересует математическая теория, пожалуйста, ознакомьтесь с этим Список статей