CISC204, Logic for Computing Science: Fall 2016

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

  • Eric has moved his Tuesday Office Hours to 8:30-9:30 to avoid a conflict with CISC 203, and added another slot on Thursdays from 11:30-12:30.
  • Course Instructor Midterm Feedback Survey - please provide feedback: http://bit.do/204eval

  • Last updated