Set Theory and Relations
The main goal of this chapter is to demonstrate the usefulness of mathematical abstractions such as sets, relations, functions, and sequences in software development. In particular, the chapter lays the foundation for the specification languages presented in the next four chapters.
KeywordsInductive Step Security Level Finite Sequence Function Definition Induction Rule
Unable to display preview. Download preview PDF.
- K.H. Rosen, Discrete Mathematics and itsApplications (second edition), McGraw-Hill, New York, NY, 1990.Google Scholar