Mathematics in Computing by Gerard O’Regan

Author:Gerard O’Regan
Language: eng
Format: epub
Publisher: Springer London, London

6.11 Review Questions

1.Describe the main features of the Z specification language.

2.Explain the difference between ℙ1 X, ℙX and F X.

3.Give an example of a set derived from another set using set comprehension. Explain the three main parts of set comprehension in Z.

4.Discuss the applications of Z and which areas have benefited most from their use? What problems have arisen?

5.Give examples to illustrate the use of domain and range restriction operators and domain and range anti-restriction operators with relations in Z.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.