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 December 6)

  • Test #5 is available in the TA room, Goodwin Hall 241; abbreviated questions and sample solutions are in the notes for class #35
  • Re-grade requests must be submitted by noon, December 8 to the main office, Goodwin Hall 5th floor; to date, about half of re-grade requests resulted in a lower mark because the instructor found errors — usually in responses other than were challenged by the student — that had not been deducted by the TA's during the original grading
  • Final grades will be submitted to SOLUS on December 11, which is why the re-grade deadline is one working day earlier than for previous tests

  • Last updated