CIS 604 - Set Theory and Logic for CS

Credits: (3)

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

Requisites
Prerequisite: Graduate standing.

UGE course
No

K-State 8
Empirical and Quantitative Reasoning