В нотации Z, как определить операцию деления для целых чисел

Мне было интересно узнать, использовал ли кто-нибудь здесь «обозначение Z» в профессиональной среде. Просто любопытно узнать некоторые общеизвестные приложения Z или ваше приложение.

Для тех, кто не знаком: http://staff.washington.edu/jon/z/z-examples.html

Я хочу знать: "В нотации Z, как определить операцию деления для целых чисел"


person pc70    schedule 09.02.2017    source источник


Ответы (1)


Целочисленное деление уже является частью математического инструментария Z:

a \div b

(См. Руководство по Z М. Спайви, глава 4.4 Числа и конечность. )

person danielp    schedule 27.03.2017