0
전문적인 환경에서 "Z 표기법"을 사용하는 사람이 있는지 궁금해하고있었습니다. Z 또는 응용 프로그램의 일반적으로 알려진 응용 프로그램을 알고 싶을뿐입니다. 익숙하지 않은 사람들을 위해Z 표기법에서 정수에 대한 나눗셈 연산을 정의하는 방법
: http://staff.washington.edu/jon/z/z-examples.html
내가 알고 싶은
전문적인 환경에서 "Z 표기법"을 사용하는 사람이 있는지 궁금해하고있었습니다. Z 또는 응용 프로그램의 일반적으로 알려진 응용 프로그램을 알고 싶을뿐입니다. 익숙하지 않은 사람들을 위해Z 표기법에서 정수에 대한 나눗셈 연산을 정의하는 방법
: http://staff.washington.edu/jon/z/z-examples.html
내가 알고 싶은
은 정수 부문은 이미 Z의 수학 툴킷의 일부입니다 "Z 표기법에서, 어떻게 정수 번호를 나누기 연산을 정의"
a \div b
합니다 (
Z manual by M. Spivey 장 4.4 숫자와 유한성을 참조하십시오)