CS 245: Logic and Computation — Fall 2017

David R. Cheriton School of Computer Science

This page does not apply to CS 245E, section LEC001, taught by Shai Ben-David.

Time and Place


All lectures are Tuesdays and Thursdays.
Section Time (TTh) Room Instructor
LEC 001 10:00-11:20 AL 124 Ifaz Kabir
LEC 002 8:30-9:50 MC 4020 Opeyemi Adesina
LEC 003 8:30-9:50 MC 2038 Alice Gao
LEC 004 10:00-11:20 MC 2038 Alice Gao
LEC 005 8:30-9:50 RCH 305 Collin Roberts
LEC 006 10:00-11:20 RCH 305 Collin Roberts
LEC 007 2:30-3:50 RCH 309 Shahram Esmaeilsabzali

If you wish to register or to change sections, either use Quest or contact a CS advisor (not a Math advisor). The instructors cannot help with registration issues.

To contact your instructor about other matters, see below.


All tutorials are on Fridays. See your Quest schedule.
There will be no tutorials on October 13 or November 3.

Contact Information

Times subject to change.

Tutorial Center Hours (MC 4065)

General and specific questions concerning course material. Coming prepared will help you get more out of the dicsussion.
Time IA IA's username
Mondays, 5:30 PM to 6:30 PM Shirley Chen ying.chen
Tuesdays, 4:00 PM to 5:00 PM Sana Farooqi s9farooq
Wednesdays, 1:00 PM to 2:00 PM Jan Gorzny jgorzny
Fridays, 12:30 PM to 1:30 PM Taylor Hornby thornb
Mondays, 1:00 PM to 2:00 PM Joseph Scott j29scott

Instructors' Office Hours

(For general administration, including illness notes, see the Support Coordinator.)

Instructor Time Room Email Photo
Opeyemi Adesina Mondays, 10:00 AM to 11:00 AM DC 2122 oadesina
Shahram Esmaeilsabzali Mondays, 12:00 noon to 1:00 PM MC 4065 shahram.esmaeilsabzali
Alice Gao Mondays 11am to noon. Tuesdays 4pm to 5pm. DC 2125 alice.gao
Ifaz Kabir Mondays 2:30pm to 3:20pm. DC 3548 ikabir
Collin Roberts Tuesdays, 12:00 noon to 1:50 PM DC 3108 cd2rober

If the times above don't suit you, please send an email to schedule an appointment.

Support Coordinator (administration)

See the Support Coordinator—Ahmed Hajyasien (email: ahajyasien), MC 4012—regarding Do not submit requests for changes of section to the Support Coordinator (nor to an instructor). If Quest does not allow you to make a change yourself, contact a CS advisor (not a Math advisor).

Course Work

Grading summary:

Exception: you must pass the exams (by weighted average) in order to pass the course.

The work you submit must be your own. Acknowledge any sources you have used. You may discuss the assignment questions verbally with others, but you should come away from these discussions with no written or electronic records. Write your solutions in your own words, from your own head.


The main course textbook is
Huth and Ryan, Logic in Computer Science: Modelling and reasoning about systems, 2nd ed., Cambridge University Press, 2004.
For other materials, see the resources page.

Note for students with disabilities

UW's AccessAbility Services office (AAS), located in Needles Hall, Room 1401, collaborates with all academic departments to arrange appropriate accommodations for students with disabilities without compromising the academic integrity of the curriculum. If you require academic accommodations to lessen the impact of your disability, please register with the AAS at the beginning of each academic term.

Academic Integrity and Students with Disabilities

Academic Integrity and Students with Disabilities

Academic Policies

This course adheres to the UW Senate's statement of academic integrity, specifically:

Academic Integrity

In order to maintain a culture of academic integrity, members of the University of Waterloo community are expected to promote honesty, trust, fairness, respect and responsibility. All members of the UW community are expected to hold to the highest standard of academic integrity in their studies, teaching, and research.

The Office of Academic Integrity's website contains detailed information on UW policy for students and faculty. This site explains why academic integrity is important and how students can avoid academic misconduct. It also identifies resources available on campus for students and faculty to help achieve academic integrity in—and out of—the classroom.


A student who believes that a decision affecting some aspect of his/her university life has been unfair or unreasonable may have grounds for initiating a grievance. Read Policy 70-Student Petitions and Grievances, Section 4.


A student is expected to know what constitutes academic integrity, to avoid committing academic offenses, and to take responsibility for his/her actions. A student who is unsure whether an action constitutes an offense, or who needs help in learning how to avoid offenses (e.g., plagiarism, cheating) or about rules for group work/collaboration should seek guidance from the course professor, academic advisor, or the Undergraduate Associate Dean. When misconduct has been found to have occurred, disciplinary penalties will be imposed under Policy 71—Student Discipline. For information on categories of offenses and types of penalties, students should refer to Policy 71—Student Discipline.

Avoiding Academic Offenses

For information on commonly misunderstood academic offenses and how to avoid them, students should refer to the Faculty of Mathematics Cheating and Student Academic Discipline Guidelines.


A student may appeal the finding and/or penalty in a decision made under Policy 70—Student Petitions and Grievances (other than regarding a petition) or Policy 71—Student Discipline if grounds for an appeal can be established. Read Policy 72—Student Appeals.

Campaign Waterloo

David R. Cheriton School of Computer Science
University of Waterloo
Waterloo, Ontario, Canada N2L 3G1

Tel: 519-888-4567 x33293
Fax: 519-885-1208

Contact | Feedback: cs-webmaster@cs.uwaterloo.ca | David R. Cheriton School of Computer Science | Faculty of Mathematics

Valid HTML 4.01!Valid CSS! Last modified: Sunday, 17-Sep-2017 02:49:22 EDT