Discrete Structures & Algorithms

Author: Suman Ganguli (Page 8 of 11)

Class #9 Agenda (Mon March 7)

Topics

  • Return & discuss HW#1
  • Sec 1.7 (Proofs): read some examples of mathematical proofs

Announcements

  • Hand in HW#2 (Sections 1.4, 1.5, 1.6)
  • Schedule for 1st midterm (Exam #1):
    • take-home component: Wed March 9 – Monday March 14
    • in-class component: Monday March 14

Class #8 Agenda (Wed March 2)

Topics

  • HW#2 examples from Sec 1.5 (Nested quantifiers)
  • Briefly discuss Sec 1.6 (Rules of inference)
    • Add to HW#2: Sec 1.6: #5, 6
  • Start Sec 1.7: Proofs – go through a simple proof

Notes/To-Do After Class

  • Work on HW#2! Due Mon March 7
  • Start reading proofs (read examples from Sec 1.7)
« Older posts Newer posts »