(Prerequisites: MA240 Discrete Mathematics.) Computer oriented course. Theory and applications with regard to trees, graphs, partial orders, lattices, Boolean algebra, finite groups, and combinatorics.