CIS 604 - Set Theory and Logic for CS

Credits: 3

Informal and axiomatic set theory, propositional and predicate logic, proof techniques.

Repeat for Credit
N

Requisites:
Prerequisite: Graduate standing.