CourseQuest

CIS 604

Set Theory and Logic for Computer Science

Kansas State University · UGRD · Fall 2026

1 section
Add to a schedule

Catalog description

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

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified
Class #kansas_2-1769Fall 2026UGRD- credits
Days & times
No scheduled meeting time
Meeting dates
—
Location
—
Instructor
Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?
CIS 604 · Set Theory and Logic for Computer Science — Kansas State University