Teaching Theory of Programming: Methodology and Basic Notions

Abstract

An idea of including into computing curricula an integral course “Theory of Programming” is proposed. Its main methodological aspects and basic notions are discussed. Such an approach leads to a simple structure of the course, its integrity with such programming related courses as mathematical logic and computability theory.