Introduces topics that find their applications in the field of computers and computing. Topics include: logic, proof, graphs, trees and counting techniques. This course is designed for mathematics majors, computer studies majors and students with a particular interest in mathematics. [3 credits]