| |
Dec 05, 2025
|
|
|
|
|
CSC 201B - Logic Application to Software
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.
Prerequisites & Notes
CSC 201A or MATH 202.
Credits: 3 s.h.
View Course Offering(s):
Fall 2025
January 2026
Spring 2026
Add to Personal Catalog (opens a new window)
|
|