The aim of this course is for students to understand basic concepts pertaining to the theory of problem solving: classical algebra, sets, relations and functions, Boolean algebra and Boolean expressions, number systems and numeric bases, fundamental theory of arithmetic, congruence, equations and systems of equations. Students should be able to apply these concepts to the solution of problems and in other computer science courses.