CIS 505 - Analytical Methods In Computer Science

(4 credits)

Prerequisite: OMS 500. Methods and concepts necessary for use in computer programming, data structures, relational databases, algorithm analysis, and other areas of computer science. Topics include sets, combinatorics, logic, induction, relations, functions, graphs and trees, recurrence equations, and introduction to proof of program correctness.