curriculum of department of information technology
Interpolation: Lagrange Approximation, Newton's Polynomials and Polynomial
Approximation. ...... Programming exercises will include representation and
evaluation; conversion to normal-forms; tautology checking; proof normalization;
resolution; unification; Skolemization; conversion to Horn-clauses; binary-
decision ...