(Prerequisite, MA 240.) Computer oriented course. Theory and applications with regard to trees, graphs, partial orders, lattices, Boolean algebra, finite groups and combinatorics.