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
Jun 5
Practice Final Solution is out.
May 30
Homework 7 is out. We decide to make the homework optional; but both questions were carefully chosen in hope to provide you a better
understanding of the advanced concepts we learned, so I highly recommend you to try it out.
May 16
Practice Final is out.
- The practice final came from Winter 2021, so it should represent the actual exam pretty well. Work through it under real exam conditions; we will release the answer sometime next week.
May 16
Homework 6 is out, due by May 23 (next Friday).
May 13
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!