In Z-Notation, wie eine Divisionsoperation für ganze Zahlen zu definieren ist

Question

Ich fragte mich, ob jemand hier draußen sogar die "Z-Notation" in einer professionellen Umgebung verwendet. Nur neugierig auf einige allgemein bekannte Anwendungen von Z oder Ihre Anwendung.

Für diejenigen, die nicht vertraut sind: http://staff.washington.edu/jon/z/z-examples.html

ich wissen will, "In Z-Notation, wie eine Divisionsoperation für ganze Zahlen definieren"

Answer 1

Die Integer-Division ist bereits Teil der mathematischen Toolkit Z:

a \div b 

(Siehe Z manual by M. Spivey, Kapitel 4.4 Zahlen und Endlichkeit)