 expressions denoting the relations among elements of data structures, "programs" - i.e.algorithms - these expressions describe the computations.For semantics of terms and formulas consult pages on first order logic and Tarski's semantic.