CSC 201B - Logic Application to Software

Semester Hours: 3

Periodically
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.