Discrete Structures & Algorithms

Month: February 2022 (Page 1 of 3)

Quiz #1 – due Wed Feb 23

Since we ran out of time to take the quiz in class on Wednesday, the first quiz will be a take-home quiz. You can download the pdf with the quiz exercises on OpenLab Files.

Please write out your solutions, scan to a pdf file, and submit on Blackboard by next Wednesday (Feb 23). Submit via the Quiz #1 assignment under “Content” on our Blackboard site (this link should take you there).

Also, as I discussed in class, the college is closed Monday (Feb 21) for President’s Day, and I will be out of town on Wednesday (Feb 23), so I need to cancel that class. Thus, our next class meeting will be Monday, Feb 28.

Please use next week to

  • finish the quiz, and review the material on propositional logic and truth tables if needed
  • review the material we have been covering on predicate logic (predicates and quantifiers, in Sec 1.4 of Rosen and in the “Chapter 1 – Part 2” slides)
  • start the HW#2 exercises on predicate logic (click on “Homework Assignments” in the menu above to see the list of homework exercises)

Class #6 Agenda (Wed Feb 16)

Topics

  • Review & examples from Sec 1.4 (Predicates and Quantifiers)
    • quantifiers: universal quantifier ∀, existential quantifier ∃
      • x P(x)
      • x P(x)
    • HW#2 exercises
  • Sec 1.5: Nested Quantifiers
  • Quiz #1

Notes/To-Do After Class

  • No class next week:
    • College is closed Monday (Feb 21)
    • Our class won’t meet Wednesday (Feb 23)
    • So our next meeting will be Monday Feb 28
  • Work on HW#2! Due Wed March 2
  • Read textbook (examples) and slides:
    • Sec 1.4 & Sec 1.5
    • Chapter1 (Part 2) Slides
« Older posts