d0sl semantic platform
  • Главная
  • Github
Контакты
Контакты
  • Начало работы
    • Требования
    • Установка
    • Задача о 8 ферзях
      • Подробности проекта
  • Видение
    • Проблемы алгоритмического подхода
    • Семантические технологии
    • Применение
    • Пример цифрового контракта
  • Язык спецификаций d0sl
    • Семантическая и доменная модели
    • Предикаты
    • Логические операции
    • If (импликация)
    • For all (Для каждого)
    • Переменные
    • Модель предметной области
    • Use
    • Подсказки по редактору
    • Как запустить модель из MPS
  • Математика

Начало работы

image

В этой главе описывается процесс установки d0sl SDK и запуск демонстрационных примеров. Программисты также смогут узнать о том, как d0sl связывает логику и программный код.

d0sl semantic platform Требования
  • История
  • Контакты
d0sl semantic platform