Abstract
This chapter provides an introduction to fundamental building blocks in mathematics including sets, relations and functions. A set is a collection of well-defined objects, and it may be finite or infinite. A relation between two sets A and B indicates a relationship between members of the two sets and is a subset of the Cartesian product of the two sets. A function is a special type of relation such that for each element in A there is at most one element in the co-domain B. Functions may be partial or total and injective, surjective or bijective.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We distinguish between total and partial functions. A total function f : A → B is defined for every element in A, whereas a partial function may be undefined for one or more values in A.
- 2.
There are mathematical objects known as multi-sets or bags that allow duplication of elements. For example, a bag of marbles may contain three green marbles, two blue and one red marble.
- 3.
The British logician, John Venn, invented the Venn diagram. It provides a visual representation of a set and the various set-theoretical operations. Their use is limited to the representation of two or three sets as they become cumbersome with a larger number of sets.
- 4.
The natural numbers, integers and rational numbers are countable sets (i.e. they may be put into a one-to-one correspondence with the Natural numbers), whereas the real and complex numbers are uncountable sets.
- 5.
Cartesian product is named after René Descartes who was a famous seventeenth-century French mathematician and philosopher. He invented the Cartesian coordinates system that links geometry and algebra and allows geometric shapes to be defined by algebraic equations.
- 6.
Permutations and combinations are discussed in Chap. 8.
- 7.
Parnas made important contributions to software engineering in the 1970s. He invented information hiding which is used in object-oriented design.
- 8.
We distinguish between total and partial functions. A total function is defined for all elements in the domain, whereas a partial function may be undefined for one or more elements in the domain.
- 9.
Higher order functions are functions that take functions as arguments or return a function as a result. They are known as operators (or functionals) in mathematics, and one example is the derivative function dy/dx that takes a function as an argument and returns a function as a result.
- 10.
Monads are used in functional programming to express input and output operations without introducing side effects. The Haskell functional programming language makes use of uses this feature.
- 11.
This is the most common algorithm used to perform type inference. Type inference is concerned with determining the type of the value derived from the eventual evaluation of an expression.
- 12.
Lisp is a multi-paradigm language rather than a functional programming language.
- 13.
Iverson received the Turing Award in 1979 for his contributions to programming language and mathematical notation. The title of his Turing award paper was ‘Notation as a tool of thought’.
- 14.
Goldbach was an eighteenth-century German mathematician and Goldbach’s conjecture has been verified to be true for all integers n < 12 * 1017.
- 15.
Pierre de Fermat was a seventeenth-century French civil servant and amateur mathematician. He occasionally wrote to contemporary mathematicians announcing his latest theorem without providing the accompanying proof and inviting them to find the proof. The fact that he never revealed his proofs caused a lot of frustration among his contemporaries, and in his announcement of his famous last theorem he stated that he had a wonderful proof that was too large to include in the margin. He corresponded with Pascal, and they did some early work on the mathematical rules of games of chance and early probability theory.
- 16.
The four-colour theorem states that given any map it is possible to colour the regions of the map with no more than four colours such that no two adjacent regions have the same colour. This result was finally proved in the mid-1970s.
- 17.
The Church–Turing thesis states that anything that is computable is computable by a Turing Machine.
References
Codd EF (1970) A relational model of data for large shared data banks. Commun ACM 13(6): 377–387
Date CJ (1981) An introduction to database systems. In: The systems programming series, 3rd edn
Hoffman D, Weiss D (eds) (2001) Software fundamentals: collected papers by David L. Parnas. Addison Wesley
O’Regan G (2016) Guide to discrete mathematics. Springer
O’Regan G (2018) World of computing. Springer
Turner D. Miranda. In: Proceedings IFIP conference, Nancy, France, Springer LNCS (201), Sept 1985
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
O’Regan, G. (2020). Overview of Mathematics in Computing. In: Mathematics in Computing. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-030-34209-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-34209-8_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-34208-1
Online ISBN: 978-3-030-34209-8
eBook Packages: Computer ScienceComputer Science (R0)