Основы современных компьютерных технологий


Язык спецификации вычислительных задач - часть 3


  • EQV(x,y) - эквивалентность;
  • 340

    • AND () - логическое И;
    • IMPLY(x,y) - логическая импликация;
    • ОР() - логическое ИЛИ.

    Здесь х и у - логические выражения, а - последовательность логических выражений, разделенных запятыми. К символьным выражениям относятся:

    • переменные символьного типа;
    • выражения, в которых используются символьные переменные.

    Объекты (переменные) в ТК Solver связываются между собой отношениями. В моделях допускается применение следующих видов отношений:

    • реляционные отношения, задаются путем явного перечисления элементов отношений и представляются в ТК Solver в форме таблиц или (при геометрической интерпретации бинарных таблиц) графиков;
    • отношения вычислимости, задаются в функциональной форме в виде предложений вычислимости, которые могут безусловными и условными.




    Начало  Назад  Вперед