next up previous
Next: From Functions to Relations Up: CS206 Lecture 01 Formal Previous: Non-classical Logics

Functional Programming

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