CS 245E: Logic and Computation (Enriched) — Spring 2020

Course Outline

General remarks

For this term, the enriched CS 245E will follow fairly closely the CS 245 "standard" version. We will spend less time on the standard topics, however, and will include other material alongside. Each course will have its own separate sites (Learn, Piazza, etc.), but some material will be duplicated on both sites.

Time and Place

All interaction will take place on-line. Principal sites:

• This site.
• UW Learn. The course site will either contain and/or have links to all content.

  Learn will also have a record of marks assigned, for each component. Note, however, that actual grades will be computed separately. Marks/grades shown by Learn are NOT official.

• Piazza. The course discussion area will be used for announcements, questions, discussion, etc. Some organizational material will be duplicated in their "resources" section.

Content will be updated as it becomes available. If things go as planned, the schedule will be roughly as follows.

• Tuesdays: new course material. This may include screencasts (with audio), written explanations, etc.
• Wednesdays: Self-test quizzes open.
  Assignments available. Due dates the following week; Thursdays, 9:00am EDT, or as otherwise announced.
• Mondays: Tutorial sessions held. These are guided discussions, hopefully approximating the face-to-face tutorials you are used to. Recordings of these sessions will be posted; whether or not you participate live, you can access them at your leisure. (The written transcripts will take a bit of time to prepare.)

Resources

Textbooks

We will use three different principal sources.

Lu Zhongwan, Mathematical Logic for Computer Science, 2nd ed., 2010.

Our main source for basic logic.

Gilles Dowek, Proofs and Algorithms: An Introduction to Logic and Computability, Springer, 2011.

Computation-focused material. Also an alternative presentation of basic logic.

Michael Huth and Mark Ryan, Logic in Computer Science: Modelling and Reasoning about Systems (2nd ed.), Cambridge University Press, 2004.

We will use this for its section on "program verification". Also an alternative presentation of basic logic.

The first two (Lu and Dowek) are available in electronic form through the UW library. The UW bookstore has some hard copies for sale, as do other booksellers. (Note: the Lu text is often mistakenly alphabetized under 'Z'.)

Some topics are covered by all three. However, each textbook has its own idiosyncrasies. None of the approaches is "better" than the others; they are simply alternative.

Other

Additional material, either purely written or a visual/aural combination, will be posted from time to time.

Personnel and contact information

Role	Name	Email	Ofc. hours
Instructor	Jonathan Buss	jfbuss	Wed. 1–3pm; Fri. 9–11am
Instr. Asst. (IA)	Steph McIntyre	srmcintyre	Tue., 3–4pm.
TAs	Jan Gorzny Joshua Lemmon	jgorzny jmlemmon
ISC	Dalibor Dvorski	ddvorski

Names and roles appear in the table. Office hours are EDT (Waterloo time). Venues and details as announced.

For questions regarding course material, logistics, and/or online technology, do any/all of

• If your question has general interest, post to the course Piazza page.
• Contact the instructor, either at the announced "office" hours, or via email.
• Contact the IA, either at the announced "office" hours, or via email. (Or ask a question in tutorial.)

To request a re-evaluation of marking, or to discuss your progress in the course, contact the instructor.

For administrative issues, including illness forms and accommodation for religious holidays, see either the instructor or the ISC.

If you have difficulty accessing course materials, contact the instructor.
Examples (non-exclusive): broken links, poor connectivity, accommodation for differing ability, etc.

For other issues, or if nothing applies, please contact the instructor.

Course Work

Grading summary

• "Participation": 5%. Based on your record of participation, especially submission of self-test quizzes.
• Written assignments: 55%. Distributed once per week, covering the current material.
• Midterms: 20%. There will be two, with due dates expected Wednesday, June 17 and Wednesday, July 15.
  These will displace the normal assignment for their week. Their format will be similar to assignments, but coverage may include any previous material, as well as current.
• Final exam: 20%. Distributed during the final assessment period (August).

Exception: Students must pass the weighted average of the midterms and final to pass the course.

For the most part, all of the above will be submitted via Crowdmark. Some may also have components as quizzes in Learn.

Note: Some of the questions on assignments and exams will duplicate ones appearing in CS 245. The average mark on these questions, in the two classes, may be used to estimate the relative level of difficulty of the two courses. Only averages will be used in this way; the weights for an individual student will not be affected.

Aside from the participation mark, all of the above must be your own work.

Ungraded work

• Self-test quizzes: administered thru Learn. You will receive a score for each attempt, but it will not affect grade calculations.
• All readings, screencast presentation, etc., as indicated.
• Piazza posts: participate in the discussions, and read the announcements.

Academic Integrity and Students with Disabilities

This courses adheres to the UW policies on Academic Integrity and Students with Disabilities.

---

---