Welcome to Discrete Mathematics. This is the homepage for the course. It contains links to the course syllabus and several other resources.
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
- Sets
- Functions
- Relations, including partial order
- Methods of propositional logic
- Introduction to predicate logic
- Counting
- Recurrence relations
- Asymptotic analysis
- Proof, including induction
- Introduction to probability
- Graphs
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.
Page | Section | Problems | Assigned | Due | Total |
---|---|---|---|---|---|
15 | 1.1 | 2, 3, 5, 9, 17, 23, 27, 29 | Sep 9 | Sep 23 | 8 |
27 | 1.2 | 3, 5, 7, 12, 20, 25, 29, 34, 36, 38 | Sep 9 | Sep 23 | 18 |
30 | 1.3 | 13, 21, 23, 26, 37, 40 | Sep 9 | Sep 23 | 24 |
55 | 1.4 | 1, 3, 5, 9, 20, 26, 28, 30 | Sep 9 | Sep 23 | 32 |
87 | 2.1 | 1, 4, 9, 13, 24, 29 | Sep 16 | Sep 30 | 38 |
97 | 2.2 | 1, 3, 10, 16, 18, 22, 31, 37 | Sep 16 | Sep 30 | 46 |
109 | 2.3 | 1, 2, 5, 9, 10, 21, 23, 27, 29 | Sep 16 | Sep 30 | 55 |
124 | 3.1 | 3, 5, 10, 13, 15, 17, 21, 23, 29 | Sep 23 | Oct 7 | 64 |
130 | 3.2 | 1, 9, 13, 18, 23, 30 | Sep 23 | Oct 7 | 72 |
138 | 3.3 | 5, 13, 14, 18, 27, 37 | Sep 23 | Oct 7 | 78 |
146 | 3.3 | 5, 7, 13, 21, 33, 35 | Sep 23 | Oct 7 | 84 |
153 | 3.3 | 1, 3, 12, 26 | Sep 30 | Oct 14 | 88 |
161 | 3.3 | 2, 7, 9, 17 | Sep 30 | Oct 14 | 92 |
166 | 3.3 | 2, 21 | Sep 30 | Oct 14 | 94 |
177 | 3.3 | 1, 4, 6, 8, 25 | Sep 30 | Oct 14 | 99 |
192 | 4.1 | 1, 8, 10, 19, 26, 29, 39, 41, 45, 48, 59, 62, 66 | Oct 7 | Oct 21 | 112 |
204 | 4.2 | 3, 9, 19, 24 | Oct 14 | Oct 28 | 116 |
242 | 5.1 | 4a, 6a&b, 15a | Oct 14 | Oct 28 | 119 |
256 | 5.2 | 3, 8, 28, 35 | Oct 14 | Oct 28 | 123 |
266 | 5.3 | 2, 3, 9, 21, 26 | Oct 14 | Oct 28 | 128 |
270 | 5.4 | 1, 2, 8 | Oct 14 | Oct 28 | 131 |
279 | 6.1 | 2, 10, 20 | Oct 21 | Nov 4 | 134 |
292 | 6.2 | 1, 3, 17, 21 | Oct 21 | Nov 4 | 138 |
303 | 6.3 | 4, 6, 14, 27 | Oct 21 | Nov 4 | 142 |
320 | 6.4 | 6, 19 | Oct 21 | Nov 4 | 144 |
354 | 7.1 | 1, 8, 28 | Oct 28 | Nov 11 | 147 |
367 | 7.2 | 8, 10a&c, 27 | Oct 28 | Nov 11 | 150 |
384 | 7.3 | 2, 8, 12, 24, 31, 33 | Oct 28 | Nov 11 | 156 |
399 | 7.4 | 3, 5, 12, 27 | Oct 28 | Nov 11 | 160 |
438 | 8.1 | 3, 5, 13, 34 | Nov 4 | Nov 18 | 164 |
451 | 8.2 | 5, 10, 15, 24, 41 | Nov 4 | Nov 18 | 169 |
483 | 9.1 | 1, 5, 7, 11. 18, 26 | Nov 11 | Nov 25 | 175 |
493 | 9.2 | 1, 2, 3, 7, 9, 19, 23, 35 | Nov 11 | Nov 25 | 183 |
503 | 9.3 | 10 | Nov 11 | Nov 25 | 184 |
517 | 9.4 | 5, 7, 30 | Nov 11 | Nov 25 | 187 |
545 | 10.1 | 13, 16, 23, 29 | Nov 18 | Dec 2 | 191 |
554 | 10.2 | 3, 9, 12 | Nov 18 | Dec 2 | 194 |
570 | 10.3 | 2, 15, 27, 29 | Nov 18 | Dec 2 | 198 |
583 | 10.4 | 1 | Nov 18 | Dec 2 | 199 |
585 | 10.5 | 8, 13 | Nov 18 | Dec 2 | 201 |
616 | 11.1 | 1, 3, 5, 6, 15 | Nov 25 | Dec 7 | 206 |
681 | 11.5 | 8, 9, 35, 41 | Nov 25 | Dec 7 | 210 |
692 | 11.6 | 1, 5, 8 | Nov 25 | Dec 7 | 213 |