CS 360: Introduction to the Theory of Computing

Course Info

Lectures: MWF 12:30 . 1:20 in MC4058
Download the course syllabus here.

Personnel

Instructor: Mark Petrick
Email: mdtpetri@cs.uwaterloo.ca
Office: DC 3125
Office Hours: Tues/Thurs 12:30-1:30. I am also usually around on Wed morning from 10:00am until class time.

TA: Jalaj Upadhyay
Email: jkupadhy@cs.uwaterloo.ca
Office: DC 3324
Office Hours: Thursday 10:30am - 11:30am

TA: Hamideh Vosoughpour
Email:hvosough@uwaterloo.ca
Office:DC3542
Office Hours: Tuesday 4pm - 5pm

Announcements

Class Schedule: A reminder that since Mon May 21 is a holiday (Victoria Day) there is no class on Monday. However, there is a special make-up date on Tuesday May 22. So we will have class on Tuesday May 22 at 12:30-1:20.
A1 Update: one typo in Question 1 corrected: In set T, x2 is either the empty string or a string starting with b and containing no substring aa (Assignment PDF updated).
Note: We will have 3 quizzes (instead of 1 midterm) during class time in a different room (MC4059)

Course Handouts

You may find these handouts helpful:

Handouts on Proof Methodology from previous terms: Proofs1 Proofs2
Introduction to Terminology: Click Here
Math Induction examples: Click Here
Regular Languages and DFA definitions: Click Here

Assignments

Assignment 1 - Due May 23 Download Assignment 1 by Clicking Here.

Exams

Quiz #1 - Fri June 1, 12:30-1:20 in MC4059
Quiz #2 - Fri June 22, 12:30-1:20 in MC4059
Quiz #3 - Fri July 13, 12:30-1:20 in MC4059
Final Exam - to be determined