Functional Language of Digital Computers I
Kenneth K. Nwabueze · 2005
In digital electronics there may be situations in which the designer may need the system to be able to “undo” certain processes. If that is a requirement, what the designer does, in simple mathematical terms, is to restrict the domain so that the process becomes a one-to-one function. The purpose of this short note is to discuss some simple logical operations in computer science in the context mathematical functions.