Theory of Computation
COSC 39, Spring 2025
- Instructor
- Hsien-Chih Chang
(hsien-chih.chang@dartmouth.edu)
- Teaching Assistant
- Joshua Ackerman (joshua.m.ackerman.gr@dartmouth.edu)
- Ananya Jeyappragash (ananya.jeyappragash.gr@dartmouth.edu)
- Tian Xia (tian.xia.th@dartmouth.edu)
- Lectures
- Wed Fri 2:10p–3:15p (Eastern Time)
- Working Sessions
- Mon 2:10p–3:15p Thu 1:20p–2:10p (Eastern Time)
- Office Hours
- Fri 3:30p–4:30p, ECSC 113 (Hsien)
Mon 4p–5p, ECSC B45 (Josh)
Tue 4:30p–6:30p, ECSC B05 (Ananya)
Wed 3:30p–5:30p, ECSC B45 (Tian)
- Discussion
- Slack
- Submissions and Grading
- Gradescope
Announcements
May 8
Dear all, after today's TA meeting, the TAs were very helpful pointing out that the problems from the worksheet
yesterday seem to require an understanding deeper than a usual worksheet. We decide to merge the worksheet from
yesterday to the next homework (HW6). The deadline will be next Friday, and there is no need to submit the worksheet
today.
On Wednesday and Thursday we will linger a bit longer on the mapping reduction to make sure we have mastery on the
concept and skills.
May 8
Homework 5 is out, due by May 16 (next Friday).
May 2
Homework 4 is out, due by May 9 (next Friday).
Apr 24
Homework 3 is out, due by Apr 30 (next Wednesday).
Apr 17
Homework 2 is out, due by Apr 23 (next Wednesday).
Apr 9
Homework 1 is out, due by Apr 16 (next Wednesday). Please submit all your solutions to the homework problems through Gradescope.
Apr 2
Homework 0 is out, due by Apr 9 (next Wednesday). Please submit all your solutions to the homework problems through Gradescope (see link above).
-
Homework 0 is designed to make sure that you have the necessary background knowledge and skill for the course. If you find the problems to be way too challenging, come talk to me and we can figure out together if this is the right class for you at the moment.
-
Make sure to read all the policies regarding collaborations, submissions, and grading on the homework page.
-
Most importantly, have fun! There is no reason to take an elective course about philosophy of computations if you are not having fun.
Mar 31
Hello, welcome to COSC 39! This is the webpage for the upcoming course on theory of computation. I'm still preparing for the course; please bear with me! If you see any broken links please do let me know. A few announcements:
- If you still want to enroll but cannot add yourself on Banner, please send a mail to me.
- There will be a Homework 0 coming out. The goal is to give everyone a sense of what background knowledge is expected from everyone for the course. Stay tuned!