TTIC106 - Symbolic Computation David McAllester (lastname AT ttic DOT edu)
TA: Andy Cotter (lastname AT ttic DOT edu)
Announcements
March 15
March 14
February 28
February 25
February 17
  • Problem set 3 is up. It is due before class on Wednesday, February 24.
February 7
January 30
  • Problem set 2 is up. It is due before class on Friday, February 5.
January 27
  • The date of the in-class midterm has been moved to Monday February 8.
January 19
January 18
  • Problem set 1 is up. It is due before class on Wednesday, January 27. Collaboration is permitted on problem sets, but you should clearly list the names of all collaborators on your submission.
January 17
  • Notes on mathematical foundations, covering material which was discussed starting in lecture 5, are up.
January 15
  • Scribe notes for lecture 1 are up.
  • The latex template for the scribe notes, adapted from those used in Prahladh Harsha's 2007 class on PCPs, with an added example macro by Payman Yadollahpour, are available here: preamble.tex, sample.tex.
Course description
Materials
Policies

Lectures will take place every Monday, Wednesday and Friday at 2:30-3:20pm, in TTI room 501. Every lecture, one student will be selected to create latex scribe notes, using the provided template, which should then be emailed to Andy before the start of class one week later, to be posted to the course web site.

Collaboration is permitted on problem sets, but you should clearly list the names of all collaborators on your final submission.

There will be an in-class midterm on Monday February 8, and a final in class (although this is during the reading period) on Friday March 12.

Schedule
Week 1 January 3 - January 9
Monday
Lecture 1: Inference rules. Scribe notes by Taehwan Kim.
Wednesday
Lecture 2: Inference rules (continued). Scribe notes by Payman Yadollahpour.
Friday
Lecture 3: CFGs, Turing machines, and closure of inference rules. Scribe notes by Avleen Bijral.
Week 2 January 10 - January 16
Monday
Lecture 4: Vector spaces and inner products. Scribe notes by Feng Zhao.
Wednesday
No Lecture
Friday
Lecture 5: Mathematical foundations. No scribe notes--see these notes instead.
Week 3 January 17 - January 23
Monday
No Lecture
Wednesday
Friday
Week 4 January 24 - January 30
Monday
Wednesday
Problem set 1 due (pdf)
Friday
Week 5 January 31 - February 6
Monday
Wednesday
Friday
Problem set 2 due (pdf, solutions)
Week 6 February 7 - February 13
Monday
In-class midterm
Wednesday
Friday
Week 7 February 14 - February 20
Monday
Wednesday
Friday
Week 8 February 21 - February 27
Monday
Wednesday
Problem set 3 due (pdf, solutions)
Friday
In-class midterm (pdf, solutions)
Week 9 February 28 - March 6
Monday
Wednesday
Friday
Week 10 March 7 - March 13
Monday
Wednesday
Friday
Problem set 4 due (pdf, solutions)
Week 11 March 14 - March 20
Monday
In-class final (solutions)