The course presents formal models of basic computational processes and structures,
means of processes and synchronization control, methods of structures and processes analysis,
main categories of programs schemes used in programming languages design,
algorithms of their translation, and methods of program verification.