|CISC204, Logic for Computing Science: Fall 2016|
Elements of mathematical logic with computing applications. Formal proof systems for propositional and predicate logic. Interpretations, validity, and satisfiability. Introduction to soundness, completeness and decidability.
Course Details: Please use the navigation area, to the left of this text, to find further details.
Recent Course News