CIS 301 - Logical Foundations of ProgrammingCredits: 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.
Empirical and Quantitative Reasoning
View course scheduling information for Summer 2017, if available.
View course scheduling information for Fall 2017, if available.
[Add to Portfolio]