Week 02, Wednesday
Efficiency
Program Properties
Program/Algorithm Efficiency
Algorithmic Complexity
Ex1: Assigning Complexity Class
Abstract Data Types
Abstract Data Types
DTs, ADOs, ADTs, GADTs
Interface/Implementation
Collections
Example ADT: Sets of Integers
Set ADT
Ex2: pre- and post-conditions
Set Applications
Ex3: Set Lab
Produced: 5 Aug 2015