Provides an introduction to the theoretical foundations of computer science that combines theory with practical application to a variety of problems in the discipline. Topics include sets, functions, sequences, summations, Boolean algebra, recursive algorithms, complexity, matrices, trees, graphs, and discrete probability. Assignments in the course require a basic understanding of problem-solving and programming experience. Prerequisite:CSCI 111.