Theory meeting, Jan. 23rd

[Lyle Kopnicky]

We'll discuss Chapter 20, "Combinatorics", of Logic and Proof (https://leanprover.github.io/logic_and_proof). Please try to work the exercises beforehand. At the meeting anyone will be able to present and contribute to the discussion.

January 23rd, 2018, 6:30-8:30pm

Location:
Collective Agency

3050 SE Division, Suite 245 · Portland, OR

We'll be in the second floor conference room, not in the Collective Agency suite. It's just off the lobby area in the middle of the second floor. Elevator access is available.


RSVP at: https://www.meetup.com/Portland-Functional-Programming-Study-Group/events/mpwwbqyzcbfc/

[Lyle Kopnicky]

Sorry, I have to reschedule this meeting to the 30th.

[Lyle Kopnicky]

Attaching my solutions so far. I haven’t done #12 or #14, but I’ve done the rest.

--
You received this message because you are subscribed to the Google Groups "pdxfunc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pdxfunc+u...@googlegroups.com.
To post to this group, send email to pdx...@googlegroups.com.
Visit this group at https://groups.google.com/group/pdxfunc.
For more options, visit https://groups.google.com/d/optout.

[Lyle Kopnicky]

Great meeting! We worked through all the problems. I was able to demonstrate a solution to #14 (unordered selection with repetition), Ed proved #12 (the inclusion-exclusion principle), and it was pointed out that my solution to #1 (people at the party) was wrong. I’ve attached an updated PDF with updated solutions to all three.

Below are some photos where we worked out things on the whiteboard. Hope to see you next time!