Introduction to programming 2+2

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.

1998-05-25 11:39:43 MET DST
This page is maintained by the webmaster.
You are the # visitor of this page.