Symbolic logic, sets and relations, algorithms, trees and other graphs. Additional topics chosen from algebraic systems, networks, automata. Pre: one semester of calculus from mathematics department; or consent. Recommended: one semester programming.