Apr 25, 2024  
2019-2020 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Colleges & Departments
  Courses
  Degrees & Certificates Offered
  About the Catalog
  About the University
  Academic Advising
  All-University Regulations
  Auxiliary Services and Facilities
  Calendar
  Disclosures
  Enrollment
  Glossary and Abbreviations
  Grades
  International Programs
  K-State Athletics
  K-State Research and Extension
  Online Programs
  Research Facilities and Centers
  Services for Students
  Student Financial Assistance
  Support Services
  Tuition and Fees
  Undergraduate Admission
  University Faculty and Professional Staff
  General Education: K-State 8
  Archived Catalogs
  KSIS
  K-State Libraries
  K-State Online
  Webmail
  My Portfolio
HELP
2019-2020 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
Prerequisite: CIS 200. Students may enroll in CIS courses only if they have earned a grade of C or better for each prerequisite to those courses.

Typically Offered
Fall, Spring

K-State 8
Empirical and Quantitative Reasoning


KSIS Course Search



Add to Portfolio (opens a new window)