A rigorous introduction to logic from a computational perspective. The course covers propositional logic, relational logic, and Herbrand Logic. Topics in logic include syntax, semantics, models, logical entailment, proofs, soundness, completeness, and decidability. Reasoning methods include the truth table method, natural deduction, the Davis-Putnam procedure, resolution, model elimination, demodulation, and paramodulation.
Ease with mathematical definitions and arguments (as obtained, for example, in Math120) and familiarity with the basic concepts of computation (as obtained, for example, in CS103).
Tuesday and Thursday 2:15 PM - 3:30 PM, Gates B03
Lecture notes are available on the WWW at the course URL.
In addition, the following book is recommended as background reading.CS157 is offered for 3 units. The requirements (same for both number of units) include four problem sets and a very easy final exam. Each will be worth 20% of the total grade. All problem sets will be submitted electronically. Instructions for submission will be posted shortly.
Make sure to sign up through Axess.