6.9 Conclusion
We have introduced the essence of functions: that they map arguments of their definition set into (i.e., yield) results of their range, and that they can be expressed (i.e., defined), named, applied and abstracted. We have also introduced the notion that functions have type — from (type of) definition set into (type of) range set. Together with the name of the function, this is called the signature of the function. We have seen that functions are either total or partial, and that functions can be further attributed as either being surjective, injective or bijective.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
6.10 Bibliographical Notes
H.R. Rogers: Theory of Recursive Functions and Effective Computability (McGraw-Hill, 1967)
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Functions. In: Software Engineering 1. Texts in Theoretical Computer Science an EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-31288-9_6
Download citation
DOI: https://doi.org/10.1007/3-540-31288-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21149-5
Online ISBN: 978-3-540-31288-8
eBook Packages: Computer ScienceComputer Science (R0)