CMPSCI 250: Introduction to Computation

David Mix Barrington

Spring, 2012

Errata in the Textbook

This is a list of errors discovered in the Spring 2012 (yellow) version of Discrete Mathematics: A Foundation for Computer Science, chapters 1-5, 9, 14, and 15.

• Volume 1, Chapters 1-4
  • Page 0: The syllabus gives the incorrect lecture classroom -- the correct lecture classroom is Hasbrouck 134.
  • Page 1-32, Figure 1-6: The top right diagram should be labeled A Δ B for the symmetric difference.
  • Page 1-38, Problem 1.5.5 (a): "the exercise above" should read "Problem 1.5.3".
  • Page 1-45: in the next to last line, the capital S should be small.
  • Page 1-48, Problem 1.7.1: It is the Tortoise, not Achilles, who refuses to accept Modus Ponens without more rules. Also, he demands this in order to conclude q from p → q and p, not from p → q and q.
  • Page 2-16, Example: In the last line, both occurrences of "in B" should instead say "in AB".
  • Page 2-25, Excursion 2.7: In the proof of the first Theorem (also on the Individual Handout for this term's Discussion #3), there are three places where it says "Pal(u, v)" -- in each case it should say "Pal(uv)".
  • Page 2-44, Problem 2.10.5 (a): B(x, y) should be defined as "team y was in the tournament at least as long as team x". As it stands it is not a total order because the winning team is never eliminated.
  • Page 3-6, Figure 3.3: The node just above "1" is missing the label "3".
• Volume 2: Chapters 5, 9, 14, and 15

Last modified 21 February 2012