A study of the foundations of modern mathematics including graph theory and algorithms, logic and design of intelligent machines, probability, and abstract algebra. For mathematics and science majors. Prerequisite: MATH 1516 or equivalent or Math Plac