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

Print-Friendly Page

Add to Catalog Portfolio.

Close Window