2021-2022 Graduate Catalog

CS 605 Discrete Structures and Logic

Reviews the mathematical concepts and foundations of logic for computer science: sets, relations and functions; Boolean algebras; graphs; propositional and predicate logic; notions of logical consequence and provability; soundness and completeness of inference methods; resolution; unification; and introduction to theorem proving. 

Credits

3

Prerequisite

CS 501 Introduction to Structured Programming and Calculus