Dec 18, 2025  
2014-2015 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Courses
  Programs
  Schools/Colleges and Departments
  About the Catalog
  About the University
  Academic Advising
  All-University Regulations
  Auxiliary Services and Facilities
  Calendar
  Degrees & Certificates Offered
  Disclosures
  Enrollment
  Glossary and Abbreviations
  Grades
  International Programs
  K-State Athletics
  K-State Research and Extension
  Outreach
  Research Facilities and Centers
  Services for Students
  Student Financial Assistance
  Support Services
  Tuition and Fees
  Undergraduate Admission
  University Faculty
  General Education: K-State 8
  General Education: UGE
  Archived Catalogs
  Catalog Updates
  iSIS
  K-State Libraries
  K-State Online
  Webmail
  My Portfolio
HELP
2014-2015 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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


Add to Portfolio (opens a new window)