ϵ">]>
[CL] Syntax. Identifier conventions:
Variable identifier. A string of lower case letters possibly followed by one or two digits as indices. Examples: , , , .
Function identifier. An alpha-numeric string starting with a capital letter and containing lower case letters, digits, and underline symbols '_'. Examples: , , , .
Square function. The next component contains the explicit definition of the function which yields the square of the number .
Cube function. Write an explicit definition of the function which yields the cube of the number .
Hint. Use the Ins/Del button.
Sum of two squares. Write an explicit definition of the binary function which yields the sum of the squares and .
Minimum. The following component contains an explicit clausal definition of the minimum function.
[CL] Remark. Here is an example of syntactically incorrect definition of the same function:
This is because the first application of the minimum function is syntactically different from the second . They should be identical as it is in the previous definition.
Minimum of three numbers. Define a ternary function which yields the minimum of three numbers.
Maximum of three numbers. Define a ternary function which yields the maximum of three numbers.
Median. Define the ternary function which yields the median of the numbers , and . The function satisfies: