Day 8: mat385

Last time

Next time

Today:

Announcements
- 1.4 homework is returned
  - #6: why ug at step 3?
  - #12:
    - work outside in: x, then y (but a few offer a shortcut!)
    - You can't say "ei two times" -- it assumes what you are to prove.
  - #26: ei before ui, almost always; and use the same statement letters as you instantiate.
- A reminder that next Monday we'll have a slightly abbreviated class, because we're having the Annual Sehnert Lecture.
Last time:
- Examples of section 2.1: Proof Techniques, in the context of logic (#16, in particular).
  Jason gave a nice example of the use of temporary hypothesis (better than mine!). The thing that I love most about mathematics is that there is always more than one way to do something....
- Then we started section 2.2: Induction, but we have a few more examples to do.
Then we'll start section 2.4: Recursion

Website maintained by Andy Long. Comments appreciated.