Formal Reasoning in Computer Science

This course will become read-only in the near future. Tell us at community.p2pu.org if that is a problem.

Task Navigation 

July 27: Meeting 10

NOTE: This is a wiki page -- anyone can add to this. Feel free to add/correct info here!

For people not at UMD, feel free to organize meetups at other locations! Add it here so people can find you. 

University of Maryland:

We'll be meeting Wednesday, July 27 at 6pm in Grad Lounge on the first floor of AVW. Feel free to email Kotaro with any questions. (kotaro at cs dot umd dot edu) We will focus on contents and questions from Chap 6 of the Alice book. We'll post discussion points, links and worked solutions to this page.

Task Discussion


  • Jessy Kate Schingler   July 28, 2011, 9:26 a.m.

     

    We had a good meeting yesterday! Reviewed chapter 6 of Alice textbook, and did the first two problems. We will try and post the solutions for reference :)
  • Angjoo Kanazawa   July 29, 2011, 3:09 a.m.
    In Reply To:   Jessy Kate Schingler   July 28, 2011, 9:26 a.m.

    Cool!

    I did type up my solution to question 1 that I worked with Kotaro on tuesday yesterday in the plane but United did such a horrible job, once I had the internet I didn't have the energy to push it.

    It's up on github, but I'm not very confident about my answers. It's kind of meh indecision, but still its here. Anyway any comments here or next week during the meeting would be great! I'd love to see the solutions too!

    Thanks,

    aj

  • Alex Quinn   July 26, 2011, 3:35 p.m.

    Just checking... will we have a quorum tomorrow?  I can be there, but I understand Kotaro and Angjoo will be out.  Tom?  Jessy?

  • Kotaro Hara   July 26, 2011, 3:40 p.m.
    In Reply To:   Alex Quinn   July 26, 2011, 3:35 p.m.

    I'm still in CP! I'll be there!

  • Tom_Chan   July 26, 2011, 3:43 p.m.
    In Reply To:   Alex Quinn   July 26, 2011, 3:35 p.m.

    Just realized that I have driving school to attend so will miss the coming two meetings.  Haven't attend the driving school but I'm pretty sure it'll be boring... You guys have fun!

  • Jessy Kate Schingler   July 26, 2011, 3:44 p.m.
    In Reply To:   Tom_Chan   July 26, 2011, 3:43 p.m.

    d'oh! tom, it is sooo boring :p. bring something to engage your brain!

    guys, i am there tomorrow too. see you then! :)