00000 Handouts

CS103a Handouts

The handouts are available in PDF format. If you need help reading pdf files, download Adobe Acrobat Reader.

You do not need to turn in any of the problem sets. Please do not send us a copy of your solutions should you choose to submit to GradeGrinder.

We will go over solutions to the problem sets in section.

  1. Syllabus (HTML) (PDF)
  2. Background and History (HTML) (PDF)
  3. Propositional Logic (HTML) (PDF)
  4. Problem Set 1 (HTML)
  5. Proofs1 (HTML) (PDF)
  6. Connectives (HTML) (PDF)
  7. Consequence (HTML) (PDF)
  8. Problem Set 2 (HTML)
  9. Boolean Algebra (PDF)
  10. Logic Gates (PDF)
  11. Exam 1: due 10/17 12:00 (PDF)
  12. Proofs 2 (HTML)
  13. Problem Set 3 (HTML)
  14. Proof Stradegy (HTML)
  15. Conditionals (HTML)
  16. Problem Set 4(HTML)
  17. Intro to Quantification (HTML)
  18. Logic of Quantification (HTML)
  19. Multiple Quantifiers (HTML)
  20. Proofs with Quantifiers 1 (HTML)
  21. Problem Set 5 (HTML)
  22. Proofs with Quantifiers 2 (HTML)
  23. Exam 2: due 11/3 12:00 (PDF)
  24. Resolution (HTML)
  25. Problem Set 6 (HTML)
  26. Real Proofs (HTML)
  27. Proof Forms (HTML)
  28. Sequences (HTML)
  29. Induction (HTML)
  30. Exam 3 (PDF)
  31. Program Proofs (HTML)
  32. Recursion (HTML)
  33. Problem set 7 (HTML)
  34. Combinatorics (HTML)
  35. Functions (PDF)


    Information
    Contacting Us
    Syllabus