Jan 29, 2025  
2008-2009 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  About the Catalog
  About the University
  Calendar
  Glossary and Abbreviations
  Undergraduate Admission
  Academic Advising
  Enrollment
  Tuition and Fees
  Grades
  Undergraduate Degrees
  All-University Regulations
  Auxiliary Services and Facilities
  Student Financial Assistance
  Services for Students
  Support Services
  Research Facilities and Centers
  International Programs
  Intercollegiate Athletics
  K-State Research and Extension
  Outreach
  University Faculty
  Colleges and Departments
  Courses
  Programs
  Archived Catalogs
  Online Catalog Tutorial
  iSIS
  K-State Online
  Webmail
  My Portfolio
HELP
2008-2009 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 301 - Logical Foundations of Programming

Credits: (3)
Logical formalisms used to model and reason about computer systems. Propositional and predicate logic, syntax, semantics, and proof theory; soundness and completeness issues. Mathematical induction. Program verification: invariants and program logics.

Requisites
Pr.: CIS 200.

When Offered
I, II


KSIS Course Search



Add to Portfolio (opens a new window)