Location            Correction
--------            ----------
page xiv            "www.depaul.com/johnson" SHOULD BE
                    "www.depaul.edu/~rjohnson/dm5th/errata.txt".
page 1              In the list of section names, "Quantifers"
                    SHOULD BE "Quantifiers".
page 14             Exercise number 48 should be in color (it has
                    a hint).
page 27             In the third line, "for all x there exists y"
                    SHOULD BE "there exists x for all y."
page 27             Exercise number 4 should be in color (it has a
                    hint).
page 46             Exercise number 4 should be in color (it has a
                    hint).
page 47             Exercise numbers 23 and 34 should be in color
                    (they have a hints).
page 150            In the first line after Exercise 15,
                    "26" SHOULD BE "25".
page 109            In Figure 2.8.13, the first two ovals should be
                    labeled X and Y (not Y and X).
page 172            Exercise number 66 should be in color (it has
                    a hint).
page 188            In the last line of Example 4.3.6, 12457 SHOULD
                    BE 12357.
page 259            In the Input for Algorithm 5.3.16, 
                    s1,s2,...,sn SHOULD BE si,...,sj In the Output
                    for Algorithm 5.3.16, s1,...,sn SHOULD BE 
                    si,...,sj
page 273            In the second figure above Exercise 43, a 
                    horizontal line should join 010 and 000, and a
                    second horizontal line should join 110 and 100.
page 312            Exercise 13 should read: Show that in any simple,
                    connected, planar graph with at least three
                    vertices, e <= 3v - 6.
page 334            The left arrows in Figure 7.2.5 SHOULD BE
                    minus signs.
page 399            The pseudocode in line 13 and the preceding
                    comment should move right one indentation level.
                    The pseudocode in lines 35 through 52 and the
                    preceding comment should move left one
                    indentation level preserving the internal 
                    alignment.
page 432            In the first paragraph of the Problem-Solving
                    Corner, "be subset" SHOULD BE "be a subset".
page 456            In Figure 10.1.7, the label on the rightmost
                    loop on "R was last equal to 1" SHOULD BE
                    01/0, not 01/1.
page 491            In the fourth line from the bottom, "input if"
                    SHOULD BE "input and if".
page 500            In Algorithm 11.3.6, the second min := 1
                    SHOULD BE min := i. (This occurs in the 12th
                    line of the algorithm, where the procedure
                    line is counted as the first.)
page 503            In Exercise 4 of the Chapter Self-Test,
                    "mergesort" SHOULD BE "merge sort".
page 516            Theorem B.37(f) SHOULD BE If b > 1 and
                    x > y > 0, ...
page 517            In line 4, "the logarithm function" SHOULD
                    BE "if b > 1, log sub b (x)"
page 532            In the solution to Exercise 25, "6-cent"
                    SHOULD BE "7-cent".
page 542            The first number in the solution to
                    Exercise 10 in the Chapter 2 Self-Test
                    should be 110101110.
page 538            In the last row of Exercise 5, Section 2.4,
                    a 1 SHOULD BE c 1. 
page 554            The answer to Exercise 20, Section 4.4,
                    SHOULD BE C(90,4)/C(100,4).
page 580            Exercise number 21 SHOULD BE 18.
page 604            In the hint for Exercise 5, "t + t sub n"
                    SHOULD BE "n + t sub n".