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.
KeywordsFunction Return Inductive Step Specification Language Partial Function Finite Sequence
- 4.Rosen KH (1990) Discrete mathematics and its applications, 2nd edn. McGraw Hill, New York Google Scholar