CSC 201B - Logic Application to Software

Semester Hours: 3

Every Other Year
Application of predicate logic and nontruth functional logics to software design and use. Logic programming (PROLOG), database and telecommunications schemata, query analysis, correctness proofs for subroutines, operating system kernels, security. Finite state machines and temporal logic applied to protocol specification.

Prerequisite(s)/Course Notes:
CSC 201A or MATH 202.