Algorithm development, syntax and semantics of a high level programming language, debugging and verification of programs. Concepts of structured programming. Arrays, subroutines. Elementary system concepts (compilation, time-sharing).