UNC-CH COMP 410
Examples Used in Class
in class 8/23/11
       
Basic Sorting: Bubble Sort
       
       
Timing version of the sort
       
sort algorithm comparison
in class 8/25/11
       
ADT definition
in class 8/30/11
       
proof by contrapositive
in class 9/01/11
       
O(2^N) vs. O(N)
       
random numbers in Java
       
timing programs in Java
in class 10/04/11
       
splay trees illustrated
       
MAP ADT axioms
in class 10/13/11
       
Priority Queue version 2 axioms and ML code
       
ML implementation of STACK axioms
       
ML implementation of SET axioms
       
   
try taking your MSET axioms and modift this SET ML code to implement the MSET