Next: From Functions to Relations
Up: CS206 Lecture 01 Formal
Previous: Non-classical Logics
Consider a simple function like addition (plus)
Functional View
Binary function-- Two inputs and one output.
Example:
plus(2,3) -> 5,
plus(1,4) -> 5
Directionality is associated.
Given the two inputs,
a program can compute the output.
G. Sivakumar
2002-12-31