MATH 180 Discrete Mathematics

Barbara Nostrand, Ph.D.


Welcome to Discrete Mathematics. This is the homepage for the course. It contains links to the course syllabus and several other resources.


What this course is about

You need to know discrete mathematics to be a computer scientist. Discrete mathematics formed the basis for much of the development of computer science over the past decades. Further, the mathematical and theoretical foundations of computer science is what puts the "science" in "computer science". This is what the Association for Computing Machinery and the Institute of Electrical and Electronic Engineers have to say about this course:

Computer science draws upon mathematics in many ways, and computer science students need to gain a mastery of specific topics as well as a general level of mathematical insight and maturity. Unfortunately, such mastery and maturity require time to develop. Further, some mathematical analysis is appropriate in computer science courses from the very beginning (e.g., CS 1). Thus, as a practical matter, some mathematical material should be included as a part of introductory computer science courses, regardless of what mathematics courses students can take. For example, an introduction to conditional statements in CS 1 could include a discussion of Boolean expressions and Boolean manipulations, such as DeMorgan's Laws. While the inclusion of mathematical material into early computer science courses can be an effective mechanism for developing mathematical maturity, a computer science program should also ensure that students cover the fundamental concepts of discrete mathematics as early as possible, so that these ideas and techniques can be used in subsequent courses. In many colleges and universities, this material will be covered in a separate discrete mathematics course, which should include the following topics:

From "A Revised Model Curriculum for a Liberal Arts Degree in Computer Science" Communications of the ACM Vol. 39, No. 12 (Dec. 1996), Pages 85-95

HENRY M. WALKER ( walker@math.grin.edu) is a professor of Mathematics and Computer Science at Grinnell College in Grinnell, Iowa.

G. MICHAEL SCHNEIDER ( schneider@macalester.edu) is a professor of Mathematics and Computer Science at Macalester College in St. Paul, Minnesota.


Course Resources


Homework

PageSectionProblemsAssignedDueTotal
15 1.1 2, 3, 5, 9, 17, 23, 27, 29 Sep 9Sep 238
27 1.2 3, 5, 7, 12, 20, 25, 29, 34, 36, 38 Sep 9Sep 2318
30 1.3 13, 21, 23, 26, 37, 40 Sep 9Sep 2324
55 1.4 1, 3, 5, 9, 20, 26, 28, 30 Sep 9Sep 2332
87 2.1 1, 4, 9, 13, 24, 29 Sep 16Sep 3038
97 2.2 1, 3, 10, 16, 18, 22, 31, 37 Sep 16Sep 3046
109 2.3 1, 2, 5, 9, 10, 21, 23, 27, 29 Sep 16Sep 3055
124 3.1 3, 5, 10, 13, 15, 17, 21, 23, 29 Sep 23Oct 764
130 3.2 1, 9, 13, 18, 23, 30 Sep 23Oct 772
138 3.3 5, 13, 14, 18, 27, 37 Sep 23Oct 778
146 3.3 5, 7, 13, 21, 33, 35 Sep 23Oct 784
153 3.3 1, 3, 12, 26 Sep 30Oct 1488
161 3.3 2, 7, 9, 17 Sep 30Oct 1492
166 3.3 2, 21 Sep 30Oct 1494
177 3.3 1, 4, 6, 8, 25 Sep 30Oct 1499
192 4.1 1, 8, 10, 19, 26, 29, 39, 41, 45, 48, 59, 62, 66 Oct 7Oct 21112
204 4.2 3, 9, 19, 24 Oct 14Oct 28116
242 5.1 4a, 6a&b, 15a Oct 14Oct 28119
256 5.2 3, 8, 28, 35 Oct 14Oct 28123
266 5.3 2, 3, 9, 21, 26 Oct 14Oct 28128
270 5.4 1, 2, 8 Oct 14Oct 28131
279 6.1 2, 10, 20 Oct 21Nov 4134
292 6.2 1, 3, 17, 21 Oct 21Nov 4138
303 6.3 4, 6, 14, 27 Oct 21Nov 4142
320 6.4 6, 19 Oct 21Nov 4144
354 7.1 1, 8, 28 Oct 28Nov 11147
367 7.2 8, 10a&c, 27 Oct 28Nov 11150
384 7.3 2, 8, 12, 24, 31, 33 Oct 28Nov 11156
399 7.4 3, 5, 12, 27 Oct 28Nov 11160
438 8.1 3, 5, 13, 34 Nov 4Nov 18164
451 8.2 5, 10, 15, 24, 41 Nov 4Nov 18169
483 9.1 1, 5, 7, 11. 18, 26 Nov 11Nov 25175
493 9.2 1, 2, 3, 7, 9, 19, 23, 35 Nov 11Nov 25183
503 9.3 10 Nov 11Nov 25184
517 9.4 5, 7, 30 Nov 11Nov 25187
545 10.1 13, 16, 23, 29 Nov 18Dec 2191
554 10.2 3, 9, 12 Nov 18Dec 2194
570 10.3 2, 15, 27, 29 Nov 18Dec 2198
583 10.4 1 Nov 18Dec 2199
585 10.5 8, 13 Nov 18Dec 2201
616 11.1 1, 3, 5, 6, 15 Nov 25Dec 7206
681 11.5 8, 9, 35, 41 Nov 25Dec 7210
692 11.6 1, 5, 8 Nov 25Dec 7213