Logical Foundations of Programming
2017-2018 Undergraduate Catalog

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

View course scheduling information for Summer 2017, if available.

View course scheduling information for Fall 2017, if available.

Print-Friendly Page.Print-Friendly Page
Add to Portfolio.
Close Window