An introduction to mathematical concepts and theories that are needed for the theoretical understanding of major ideas in computer science, including logic, Boolean algebra, and relations and functions. Includes a fundamental treatment of: sets, counting techniques, logic, relations and functions, graphs, semigroups, monoid, groups, homomorphisms and isomorphism. Also provides illustrations and applications of these theoretical concepts to the computer field, for example, combinational network, computer logic, coding theory, introductions to finite state machines and formal languages. Prepares students for advanced work in computability theory, algorithms analysis, machine design and construction and Turing machines.
Recent sections
Fall 2026 · 3 sections
Sep 8 – Dec 18
Section
Days & time
Location
Instructor
02Class #3946-MAT-206-02
Days & timeTuesday 9:00 AM - 10:50 AM Main Hall 123 (Lecture)Monday, Tuesday, Wednesday, Thursday, Friday 9:00 AM - 10:50 AM (Internet)
LocationMain Hall 123
InstructorSherman, T
02 notes: HYBRID COURSE: Students are required to participate in BOTH Main Campus and ONLINE modalities for this course. Students may be required to access CANVAS for this course.
INClass #3947-MAT-206-IN
Days & timeMonday, Tuesday, Wednesday, Thursday, Friday (Internet)
LocationNot published
InstructorKim, S
IN notes: Online Course: Students must access CANVAS for this course
This section will require in-person attendance for two midterm exams and a final exam. Dates, times, and locations of these exams to be announced by the instructor.
Students in this class should expect and be prepared to complete the Final Examination IN-PERSON, on one of the days in the Special Final Examination Schedule, Saturday, Monday, or Tuesday, December 19, 21, or 22, 2026, at a location and in a time block to be determined by the Office of the Registrar and Records.
IN1Class #3948-MAT-206-IN1
Days & timeMonday, Tuesday, Wednesday, Thursday, Friday (Internet)
LocationNot published
InstructorKim, S
IN1 notes: Online Course: Students must access CANVAS for this course.
Students in this class should expect and be prepared to complete the Final Examination IN-PERSON, on one of the days in the Special Final Examination Schedule, Saturday, Monday, or Tuesday, December 19, 21, or 22, 2026, at a location and in a time block to be determined by the Office of the Registrar and Records.