This course will be based on correctness and efficiency of algorithms. Algorithm design, understanding of abstraction applied to data types and structures, and