main navigation
my pace

CS 113 Mathematical Structures for Computer Science

Course Description: Mathematical logic: propositional logic, predicate logic, program loop invariants and correctness proof, Boolean algebra and its application in the design of combinatorial circuits; set theory: operations, counting, relations, functions, partial/full ordering; introduction to graph theory: basic and weighted graphs, paths, and trees.

Course Rotation: NY and PL: Fall

Credits

4 credits

Prerequisite

MAT 103 Minimum Grade of C or Math Placement 40