SP20:Lecture 5 prep
Bring your proof techniques handout.
Please come to lecture with the following definitions:
A partial function is like a function, except that it does not need to give an output for every input. However, the outputs it does give must be unambiguous. One way to formalize this is by defining a partial function as a function from a restricted domain: