COMPSCI 250: Introduction to Computation

David Mix Barrington and Marius Minea

Fall 2018

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.

Instructor Contact Info: David Mix Barrington, 210 Computer Science Building, 545-4329, office hours for Fall 2018: TBA, Marius Minea, office, phone, and office hours all TBA

The best way to contact either Dave or Marius is by email.

TA and UCA Contact Info: TBA

This course is primarily intended for undergraduates in computer science and related majors such as mathematics or computer engineering. COMPSCI 187 (programming with data structures) and MATH 132 (Calculus II) are prerequisites though occasionally we let in a student who is taking one or the other at the same time as 250.

The course meets for three lecture meetings a week, Monday, Wednesday, and Friday 1:25-2:30. Dave will lecture in Goessmann 64 and Marius in Hasbrouck 134. 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.

There is one discussion meeting per week for each of the six sections, at various times Wednesdays 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, Discrete Mathematics: A Foundation for Computer Science. This will be available at Collective Copies in Amherst Center, starting (probably) about Friday 17 August. 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 once it is established.

Announcements (10 August 2018):

Last modified 10 August 2018