Jul 23, 2024  
2018-2019 Undergraduate Catalog 
2018-2019 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.

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

UGE course

K-State 8
Empirical and Quantitative Reasoning

KSIS Course Search

Add to Portfolio (opens a new window)