This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.
Stand with UkraineDonate
- Home
- Kentucky
- Northern Kentucky University
- Course info
- csc-685 - logic-and-computation
Northern Kentucky University Course Info
Highland Heights, Kentucky
Course Info
Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.
CSC 685
Logic and Computation
Introduction to formal reasoning applied to computer science; propositional and predicate logic; algebraic specification of abstract data types; program correctness; survey of computability theory
Units: 3.0
Hours: 3 classroom + 0 lab/studio
Prerequisites:
CSC 585 - Theory of Computation
and
CSC 502 - Advanced Programming Methods