Basic concepts, relations, functions, series. Problems, programs, program functions, solutions, extensions. Type specifications, type, conformity. Weakest precondition, theory of specification. program constructions, Deduction, backtracking, transformations. Different forms of programs, coding.