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.)
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
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
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.
Additional material, either purely written or a visual/aural
combination, will be posted from time to time.
Wed. 1–3pm; Fri. 9–11am
Instr. Asst. (IA)
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
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
Examples (non-exclusive): broken links, poor
connectivity, accommodation for differing ability, etc.
For other issues, or if nothing applies, please contact the instructor.
- "Participation": 5%. Based on your record of
participation, especially submission of self-test quizzes.
Written assignments: 55%. Distributed once per week, covering the
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
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
- 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.