CS 220: Applied Discrete Mathematics (Spring 2025)
Section |
| Days |
| Time |
| Room |
02 |
| Monday and Wednesday |
| 4:00pm to 5:15pm |
| Wheatley W01-0004 |
Schedule
Lec# |
| Date |
| Topic |
| Notes |
1 |
| Mon 1/27 |
|
| ||
2 |
| Wed 1/29 |
|
| ||
3 |
| Mon 2/3 |
|
| ||
4 |
| Wed 2/5 |
|
| ||
5 |
| Mon 2/10 |
|
| ||
6 |
| Wed 2/12 |
|
| ||
| Mon 2/17 |
| President’s Day — |
| ||
7 |
| Wed 2/19 |
|
| ||
8 |
| Mon 2/24 |
|
| ||
9 |
| Wed 2/26 |
|
| ||
10 |
| Mon 3/3 |
|
| ||
11 |
| Wed 3/5 |
|
| ||
12 |
| Mon 3/10 |
|
| ||
13 |
| Wed 3/12 |
| Midterm Exam |
| |
| Mon 3/17 |
| Spring Break – No class |
| ||
| Wed 3/19 |
| Spring Break – No class |
| ||
14 |
| Mon 3/24 |
|
| ADM 9 | |
15 |
| Wed 3/26 |
|
| ||
16 |
| Mon 3/31 |
|
| ||
17 |
| Wed 4/2 |
|
| ||
18 |
| Mon 4/7 |
|
| ||
19 |
| Wed 4/9 |
|
| ||
20 |
| Mon 4/14 |
|
| ||
21 |
| Wed 4/16 |
|
| ADM 7 | |
| Mon 4/21 |
| Patriots Day — |
| ||
22 |
| Wed 4/23 |
|
| ||
23 |
| Mon 4/28 |
|
| ||
24 |
| Wed 4/30 |
|
| ADM 12 | |
25 |
| Mon 5/5 |
|
| ||
26 |
| Wed 5/7 |
|
| ADM 13 | |
27 |
| Mon 5/12 |
|
| ||
28 |
| Wed 5/14 |
|
| ||
| Wed 5/21 |
| Final Exam |
|
Office Hours
Ryan Culpepper |
| Tuesday 3:00–4:30pm in M-3-138 |
Lucas Caudill |
| Thursday 3:00-4:30pm in M-3-721 (Unix lab) |
Additional times are available by appointment.
Resources
- There is no required textbook for this class, but there are two optional textbooks, one recommended and one supplementary.
Sign in or create an account at https://learn.zybooks.com/.
Enter zyBook code: UMBCS220MATH320CulpepperSpring2025.
The supplemental/alternative textbook is Book of Proof, 3rd ed. by Richard Hammack. The complete textbook is available for free online at that link.
Homework assignments are submitted through Gradescope. Register using your @umb.edu email address. If you already have an account, I will automatically add you to the course. If you are creating a new account and Gradescope asks for an entry code, use G34K3Y.
We will use Discord (invitation link) for online communication and discussion.
Writing Math
See Typesetting Math.
Formal Proofs in PAL describes the language for formal proofs used in this class.
The PAL Proof Checker web application checks the validity of PAL proofs.
For informal proofs: Informal Proofs: Guidelines and Examples contains the guidelines and examples from the slides, without the constraints of slide formatting. Some examples have additional commentary.
Mathematical symbols for copy-and-paste:
Sets: ∈ ∉ ⊆ ⊂ ⊈ ⊄ 𝒫 × ∪ ∩ ∅ ℕ ℚ ℝ ℤ
Logic: ∧ ∨ ¬ ⇒ ⇔ ⊕ · ∀ ∃
Integers: ⊞ ⊟ ⊠ ≡ ⌊ ⌋ ⌈ ⌉
Misc: π Σ ≠ ≤ ≥ ↦
Syllabus
See the syllabus.