By studying discrete mathematics in depth and relating it to our experiences as computer programmers, we also gain expertise and comfort in studying mathematics as a discipline of modeling and problem-solving.
Instructor Information:
Name: William Rebelsky
Office: Noyce 3823
Email: [rebelskyw]
Office Hours: Monday 2-4pm, Tuesday 1:30-2:45 pm, Wednesday 2:30-4pm
Mentor Sessions
TBD
Class Requirements and Components
There are four deliverables:
- Daily drills: introductory practice problems tied to each reading due the day before each class period.
- Lab exercises: collaborative practice and exploration-style problems worked on during class.
- Demonstration exercises: individually completed weekly homework sets that apply the weekly concepts to substantial tasks aligned with the themes of the course.
- Core exams: in-class exams that directly assess mastery of the core skills of the course.
Tokens
Please use this sheet to make suggestions at least a week in advance. I will approve them in column C
Letter Grades
| Grade | Attendance | Demonstration Exercises | Core Concepts | Daily Drills | Labs |
|---|---|---|---|---|---|
| 28 Possible | 8 Possible (NRME scale) | 15 Possible | 21 Possible | 23 Possible | |
| F | <22 | any Ns or more than 3 Rs | <11 Satisfactory | <14 S | < 16 S |
| C | 22 | at most 3 Rs, at least 1 Es | 11 Satisfactory | 14 S | 16 S |
| B | 24 | at most 2 Rs, at least 3 Es | 12 Satisfactory | 17 S | 18 S |
| A | 26 | no Rs, at least 5 Es | 14 Satisfactory | 19 S | 21 S |
Attendance Policy Reminder
In order to earn points for attendance in a given class period, you must be on time and fully participating.
Course Materials
Required Textbooks and Materials:
- Texts Tools for Thinking About Programs: Mathematical Foundations by Professor Osera https://osera.cs.grinnell.edu/ttap/mathematical-foundations/
- Access to a computer is required. There should be computers in the classroom if you would rather not use your personal computer
- Python: a general-purpose scripting programming language.
- Overleaf: online editing and collaboration of LaTeX documents.
- Gradescope: deliverable submission and feedback reporting.
AI Policy
In this class, all AI (large language models, Chat GPT, Bard, Grok, Co-Pilot, Gemini, etc) are PROHIBITED. Do not use them, they will harm your learning, and it is academically dishonest.