Overview

CSCI 054 introduces finite mathematical structures and ways to build them, count them, and analyze them. There is an emphasis on applications to computer science, creative problem solving, and learning to read and write proofs. Additionally students will be exposed to the fundamentals of functional programming.

The prerequisite for the class is CSCI 051. Email the professor (Prof. Chen) if you have any questions about the requirements for the class.

Resources

The professor for this class is Professor Chen. I'm happy to talk about the class, about CS more generally, or about anything else. My office hours are Tuesdays 2:30-3:45pm and Thursdays 10-11:15am. I'm also happy to meet by appointment (in person or on Zoom): send me an email with some times that work for you and a sense of what you want to talk about. I'm also available for occasional small group lunches/dinners if you'd just like to chat: see the sign-up sheet on my office door. The best way to contact me is by email.

The mentors/TAs for the class are: Tung Nguyen, Leonardo Torres, Phu Vo, and Ella Zhu. In general the mentor hours will be on the 1st or 2nd floor of Edmunds at times TBD. Please expect occasional changes and cancellations; these will be posted on Slack.

We'll use Canvas for distributing course materials. We'll use Slack for announcements and informal discussion. And we'll use Gradescope for submitting and returning assignments. Let me know if you run into issues accessing any of these.

The textbooks for the class are:

• Learn You a Haskell for Great Good! by Miran Lipovača. You can read the book online or buy a copy if you prefer paper. There are a few physical copies in Edmunds 227 which you can refer to while you're working in Edmunds 227.
• Discrete Math: Connecting Discrete Mathematics and Computer Science, by David Liben-Nowell. You can read the book online or buy a copy if you prefer paper.

You are encouraged to look for and to use other resources to learn more about the ideas and concepts. You may not, however, look directly for, or ask about, answers to specific individual questions on the weekly problem sets. Some other resources include:

• Peter Drake's videos on Haskell (which were designed for use with Lipovača's book)
• Brian O'Sullivan, Don Stewart, and John Goerzen's book Real World Haskell
• "Essential Discrete Mathematics for Computer Science" by Todd Feil and Joan Krone

If you find anything particularly helpful you are encouraged to share it with the class on Slack. If you have any questions about what is allowed please reach out to me directly via email.

If you need (or would like to have a discussion about) accommodations please contact the Disability Coordinator on your home campus. The process for Pomona students is available here.

More generally, life happens to all of us and we know there may be times when staying on top of the workload in this class is going to feel like too much on top of everything else that you're managing. If that happens, please come talk to me so that I'm aware and can work with you to try to figure out a plan. Please keep in touch! (Note: I highly encourage you to come talk to me even if there isn't anything in particular that you feel you need to discuss!)

Logistics

The basic flow each week will be as follows:

• Monday 2:45-4pm: lecture, quiz
• Wednesday 2:45-4pm: lecture
• Thursday-Friday: small group meeting
• Friday 10pm: group assignment due
• Sunday 10pm: weekly problem set due

The lectures will be in Edmunds 114.

You will be assigned to a small group of approximately 5 students the first week of class. Your group will work together for the entire semester; your first task will be to find an hour when all of you can meet either Thursday or Friday. The plan is for each group to have an assigned TA who will attend the meetings to answer questions, talk through concepts, etc. Each week there will be a low-stakes assignment to work on during your group meeting; this should be turned in by 10pm Friday evening on Gradescope. There are no extensions on the groupwork so please make sure everyone knows who is submitting each week's assignment! Because they will be graded on completeness and not correctness, please make if clear in your submission that you looked at every question even if you decided not to submit a response! There may occasionally be anonymous surveys for you to give feedback on how your group is doing, but please feel free to bring up concerns with me at any time.

In addition, there will be a weekly problem set. The assignments will mostly be done and submitted in pairs and will also be submitted on Gradescope. The pairs will be by assignment for the first few weeks and then at your discretion after that. Problems on the assignment will ask you to apply concepts in new ways. You may discuss the problems with anyone else currently taking cs54 (or with the TAs or myself), but each pair must write up their own solution without referring to any written/typed/etc materials that may have been generated during such discussion. In addition, you must acknowledge who you worked with and what their contribution was. Submitting an answer copied from another student, found on the internet, or generated by an AI-powered system such as ChatGPT is considered an academic honesty violation (see academic honesty policy). Unless stated otherwise, problem sets are due by 10pm on the due date. There is an automatic 24-hour extension on all problem sets (i.e. until 10pm the next day); additional extensions will require documentation of circumstances that could not have been anticipated.

There will also be weekly quizzes every Monday. We will allocate 20-30 minutes for each of these quizzes; the rest of the time in lecture will be used to cover new material. There are two days set aside for quiz retakes: one after the first 6 quizzes and the second after the remaining 6 quizzes. If you need to miss one of the original quiz dates you should plan to include that quiz in the ones that you retake.

There will be an in-person final exam during our scheduled final exam time: Thursday May 14th at 2pm.

The breakdown of grades will be as follows:

• 30% problem sets
• 50% quizzes (approximately 4% each)
• 20%/15% final exam
• 0%/5% group work

Schedule

This is a high-level outline of the planned schedule. Note that the calendar is subject to change! For the readings "LYAH" refers to (the physical copy of) the book "Learn You a Haskell for Great Good! by Miran Lipovača and "CDMCS" refers to the book "Connecting Discrete Mathematics and Computer Science" by David Liben-Nowell.

Unless stated otherwise, all deadlines are at 10pm on the given date.