This course is a study of rigorous development of algorithms and computer programs, including elementary data structures.