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 

June 30-July 13: Alice Chap 5

Read Chapter 5 of Probability and Computing.

Do questions 1, 6, 11 and 16 and few other of your choice. We will discuss the main contents of the chapter and the problems we solved.

Post comments or questions on the material during the week here.

Task Discussion


  • Kotaro Hara   July 15, 2011, 11:13 p.m.

    Answerers for problems 5.1, 5.6, 5.11, and 5.16 are posted on the Flickr page! Thank you Tom for nicely formatted answerers :)))

  • Jessy Kate Schingler   July 16, 2011, 1:14 p.m.
    In Reply To:   Kotaro Hara   July 15, 2011, 11:13 p.m.

    awesome tom!

  • Tom_Chan   July 5, 2011, 2:19 a.m.

    In the soft copy, question 6 of chap 5 the condition on x is |x| >= 1 which is not correct. In the hard copy it is corrected to |x| <= 1. When x < -1 we cannot take logarithm on 1+x as it is less than 0.