Prerequisite: Precalculus. This course covered in this course include formal approach to the logic of Computer Science, including set theory, methods of proof, sequences, recurrence relations, combinatorics, and graph theory, mappings, functions.