Maths›03. Logic and Foundations10.2 Partial vs Total FunctionsDistinction between partial and total computable functions, undefined values, domains of definition, and the role of nontermination.