A core of computer science and a system of notation for writing computer programs.