This is the home page for COMPSCI 250. COMPSCI 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.

The two lectures each day will be very similar and use very similar lecture slides. Lecture 250-01 (Dave) meets MWF 1:25-2:15 p.m. in Thompson 102. Lecture 250-02 (Mordecai) meets MWF 10:10-11:00 a.m. in Morrill (II) 131. The sections will have the same homework and exams, and will use a single Moodle site.

There are nine discussion sections each Friday:

- 250-01AA, 10:10-11:00 a.m., Flint 201
- 250-01AB, 9:05-9:55 a.m., ELAB 304
- 250-01AC, 2:30-3:20 p.m., Goessmann 51
- 250-01AD, 11:15 a.m.-12:05 p.m., ELAB 304
- 250-01AE, 4:00-4:50 p.m., CS Building 140
- 250-02AA, 9:05-9:55 p.m., LGRC A301
- 250-02AB, 1:25-2:15 p.m., Flint 105
- 250-02AC, 12:20-1:10 p.m., Flint 201
- 250-02AD, 11:15 a.m.-12:05 p.m., Flint 201

**Instructor Contact Info:**

David Mix Barrington, 210 Computer Science Building, 545-4329, private zoom number 459 532 6175, office hours for Spring 2024: Monday 2:30-3:30 (office), Tuesday 10:00-11:00 (zoom), Thursday 4:00-5:00 (office)

Mordecai Golin, A143 LGRC, office hours for Fall 2023: Friday 1-2 or by appointment.

The best way to contact either Dave or Mordecai is by email. Dave will usually eventually answer email at barring@umass.edu, but not as quickly.

- TA Sabrina Zaman Ishita, office hours TBA
- TA Helia Karisani, office hours TBA
- TA Arjun Karuvally, office hours TBA
- TA Chase Randall, office hours TBA
- TA Hui Wei, office hours TBA
- All TA office hours are in LGRT 220 except when announced otherwise
- UCA's Elena Li elenali@umass.edu (head TA), Naveed Rizvi nrizvi@umass.edu (head TA), Takuto Ban, Ji Cao, Bennett Gillig, Krishaang Gupta, Daisy Labonte, Ethan Phillips, Agneshka Rohra, Riddhimaan Senapati, Sagarika Sonni, Shreyas Waghe.

**TA and UCA Contact Info:**

- Ishita 9-11 Monday (virtual)
Helia 1-3 Wednesday - Arjun 6-8 p.m. Wednesday (in person)
- Chase 4-6 pm Tuesday (in person)
- Hui 4-6 pm Friday (in person)
- Kien 12-2 pm Thursday (in person)

This course is primarily intended for undergraduates in computer science and related majors such as informatics, mathematics or computer engineering. CICS 160 (using data structures) and MATH 132 (Calculus II) are prerequisites and are pretty strictly enforced.

The four-credit course meets for three lecture meetings a week, Monday, Wednesday, and Friday. Mordecai will lecture 10:10-11:00 in Morrill II 131 and Dave will lecture 12:20-1:10, in Thompson 102 -- the lectures will be similar and will follow the textbook pretty closely. Both lecture sections of the course will have the same assignments, exams, and grade scale.

The schedule below indicates which lectures and discussions happen which days, which sections of the book to which they refer, and when the homework assignments are due.

There is one discussion meeting per week for each of the nine sections, at various times on Fridays before lecture as indicated on SPIRE. Each discussion 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 instructors will cover the sections in various combinations, so they will be as interchangeable as we can make them.

The textbook is the current draft of Dave's in-progress book,
*A Mathematical Foundation for Computer Science*. This
is available as an e-book from Kendall
Hunt Publishing (last year for $60, probably a bit more this year). It has an "assessment
package" where you will need the current version of the book to
answer quiz questions. The book and package
can be obtained from the eCampus site or
directly from Kendall Hunt. (Dave does not get royalties for
purchases from students in the course -- they are contributed
to the David Mix
Barrington Scholarship in Computer Science.)

The course is using the Moodle course management system and the Piazza system for student discussion. We will also use a free system called ClassQuestion, which replaces the iClicker system we used in prior years. They will be used in grading only for classroom attendance. Basic information about the course will be on this site, and specifics of the course will be off of the Moodle main page once it is established.

- Full Syllabus for the Course
- Course Requirements and Grading
- Learning Goals for the Course
- Lecture Slides from Spring 2014
- Exam Directory (with final exam and solution)
- Exam Directory from Fall 2023
- Detailed Schedule (Lectures, Discussion, HW)
- Piazza main page for the course (NOT YET)

**Announcements (27 January 2024):**

- (27 Jan) The full syllabus is up.
- (25 Jan) The UCA roster has been fixed and I have added the discussion times.
- (22 Jan) The roster of TA's and UCA's has been updated.
- (2 Jan) Dave is starting to set up the Spring 2024 site today. The full version of the website for Dave's last offering from last fall's semester of COMPSCI 250 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 Dave's recent ones.
- (2 Jan) The schedule is now available -- note there are no discussion meetings on the first day of class, Friday 2 February.
- (5 Feb) Added Dave's office hours.
- (8 Feb) Added other office hours.

Last modified 8 February 2024