A rigorous introduction to logic from a computational perspective. The course covers both propositional logic and relational 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 CS103B).
Tuesday and Thursday 02:45 PM - 04:00 PM, Gates B03
Lecture notes are available on the WWW at the course URL.
CS157 is offered for 3-4 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.