CISC204, Logic for Computing Science: Fall 2017
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.

Course Lectures: Each student is expected to have read the relevant textbook sections before attending class, and to have understood the important definitions and concepts. The lecture will concentrate mainly on the use of terms and concepts; definitional material will not be covered.

Each student is responsible for transcribing lecture material. The instructor will not scan or otherwise copy the lecture notes, which are intended to reflect and supplement the on-line class notes available on this website.

Recent Course News (as of October 13)

  • Test #2 questions, and sample answers, are under "Notes" for Class #14
  • Notes for Class #15 have been updated to show how the final example does not lead to a correct proof

  • Last updated