CIS 300 - Foundations of Computer Science

4 Credit(s)

Topics include introductions to: propositional logic, sets, and formal languages; mathematical proof techniques; incomputability; and recurrence relations. Fall and Spring.

Prerequisite(s): CIS 203.