Section outline

◄Oct 12
►Oct 26

  • proof by contrapositive, universal and existential quantification, bound and free variables, scope of a quantification

    • Quiz 3

      Note: you win points by answering correctly, but you can also lose points by answering incorrectly (your total points will never be below 0). This means that if you are unsure, you are better off not answering instead of guessing.

      Not available unless: Your Email address is not empty
    • Recording of lecture URL
◄Oct 12
►Oct 26