This is the home page for CMPSCI 250. CMPSCI 250 is the undergraduate core course in discrete mathematics and will deal with logic, elementary number theory, proof by induction, recursion on trees, search algorithms, finite state machines, and a bit of computability.

**Instructor Contact Info:**
David Mix Barrington, 210 CMPSCI
building, 545-4329, office hours for Fall 2017: TBA

I generally answer my email fairly reliably.

**TA and UCA Contact Info:**

- TBA

The course is primarily intended for undergraduates in computer science and related majors such as mathematics or computer engineering. CMPSCI 187 (programming with data structures) and MATH 132 (Calculus II) are corequisites and in fact most students in the course have already taken both.

The course meets for three lecture meetings a week, Monday, Wednesday, and Friday 1:25-2:30, in Goessmann 64, though we are looking for a larger room.

There is one discussion meeting per week for each of the four sections, at various times on midday Wednesdays as indicated on SPIRE. Most discussions will have a written assignment which you will carry out in groups. Discussion attendance is required, so that missing a discussion will incur a grade penalty. The TA's and I will cover the sections in various combinations, so they should be as interchangeable as we can make them.

The textbook is the current draft of my in-progress book,
*Discrete Mathematics: A Foundation for Computer Science*. This
will
be available at Collective Copies in Amherst Center, sometime around
the start of term.
Prior versions of the textbook **that were intended for CMPSCI
250**
may be used -- the most recent versions of the book differ only by
the correction of some minor errors.

The course is using the iClicker system, and the Moodle course management system. Basic information about the course will be on this site, and specifics of the course will be off of the Moodle main page when it is established soon.

- Course Requirements and Grading (not yet)
- Learning Goals for the Course (not yet)
- Lecture Slides from Spring 2014
- Exam Directory (empty so far)
- Syllabus and Schedule (not yet)

**Announcements (26 July 2017):**

- (26 July) I know that there are several people with pending override requests for this course. (If you want to take the course and have not filled out a CICS override form, you should do so.) How many students we can accommodate will depend on whether we get a larger classroom, which is difficult to predict at this point. I will know more as term gets closer.
- (26 July) I am putting up only a preliminary version of the course website today. The full version of last spring's website is available here and has exams with solutions and a full syllabus. The link above is to the lecture slides from the Spring 2014 offering of this course -- our lectures this term will be similar and slides from this term will be posted on Moodle. This offering of CMPSCI 250 will be very similar to my recent ones.

Last modified 26 July 2017