CISC204, Logic for Computing Science: Fall 2017

Calendar Description:

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

  • This website is currently under construction

  • Last updated