|LEC 001||online||Jonathan Buss|
|LEC 002||online||Collin Roberts|
|LEC 003||online||Collin Roberts|
If you wish to register or to change sections, either use Quest or contact a computer science advisor (not a mathematics advisor). The instructors cannot help with registration issues.
To contact your instructor about other matters, see below.
For general and specific questions concerning course material, please connect with us during our organized office hours. Times listed below are in Eastern Time. Office hours will be organized using Microsoft Teams; refer to Piazza for instructions on how to connect. If the below do not suite you, please contact an instructor to schedule a meeting.
|Wednesdays, 1:00 – 3:00 p.m.,
Fridays, 9:00 – 11:00 a.m.
|2:00 p.m. – 4:00 p.m. on August 7, 8 and 10,
or by appointment
|Nicole Dumont||Tuesdays, 4:00 – 6:00 p.m.|
|Pablo Millan||Mondays, 7:00 – 8:00 p.m.|
|Kyle Tilbury||Thursdays, 10:00 – 11:00 a.m.,
Fridays, 3:00 – 4:00 p.m.
Contact the course coordinator regarding issues with the course; questions pertaining to Crowdmark, LEARN, or Piazza; requests for assignment and exam regradings; and submission of verification of illness forms: firstname.lastname@example.org.
Do not submit requests for changes of section to the course coordinator, nor the instructors; if you are not able to make the request yourself through Quest, please contact a computer science advisor.
The recommended textbook for this course is Mathematical Logic for Computer Science, 2nd Edition, by Lu Zhongwan. Students may access an electronic version of the textbook through the library: https://ocul-wtl.primo.exlibrisgroup.com/permalink/01OCUL_WTL/1jjglgg/alma9943541323505162.
Please note that this book does not cover all the material presented in the course, and is meant mainly for definitions, notation, and the sections on formal deduction. For the rest of the material, students should take notes from the course and work from these. The instructor's notes for the course are available electronically as PDF files on LEARN. These are copies of the lecture slides. Links to videos accompanying the slides are also provided. There are also quite a few books on mathematical logic available. All these may be relevant to certain parts of the course and, for those, they could be useful background reading. However, there is no book that would actually get close to covering the whole course.
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.
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
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.
misconduct has been found to have occurred, disciplinary penalties
will be imposed
For information on categories of
offenses and types of penalties, students should refer
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.