CMSC 452: Elementary Theory of Computation
Spring 2018 HOMEPAGE
The Syllabus is in two parts:
HW 1 Morally Due Tuesday Feb 6.
HW 1 SOLUTIONS
HW 2 Morally Due Tuesday Feb 13.
HW 2 SOLUTIONS
HW 3 Morally Due Tuesday Feb 20.
HW 3 SOLUTIONS Morally Due Tuesday Feb 20.
HW 4 Morally Due Tuesday Feb 27.
HW 4 SOLUTIONS
HW 5 Morally Due Tuesday March 6.
HW 5 SOLUTIONS
HW 6 Morally Due Tuesday March 27.
(hw06 counts double so we will enter it as hw06 and hw07)
HW 6 SOLUTIONS
HW 8 Morally Due Tuesday Apr 3.
HW 8 SOLUTIONS
HW 9 Morally Due Tuesday Apr 10.
HW 9 SOLUTIONS
HW 10 Morally Due Tuesday Apr 17
HW 10 SOLUTIONS
HW 11 Morally Due Tuesday Apr 24
HW 11 SOLUTIONS
HW 12 Morally Due Tuesday May 1
HW 12 SOLUTIONS
HW 13 Morally Due Tuesday May 8
HW 13 SOLUTIONS
HW 14 DUE Thursday May 10
Last Years Final with Comments and Solution
Topics for This Years Final
Final with Solutions
Proj 1 Morally Due Tuesday March 6
Proj 2 Morally Due Tuesday April 24
Optional Project to avoid Getting a D
OPTIONAL- the Hiearchy of reals is proper ( not a root of a cubic over Z.)
Someone Else's Notes on Countability
Someone Else's Notes on Countability of the Algebraic Numbers- Look at Problem 4
Top 15 Trans Numbers! Will need the list for HW
Blog on Dead Cat Policy
LAST YEARS WEBPAGE
This is last years webpage. The midterm with solutions may be of interest to you.
NOTE- the midterm is certainly questions I could have asked this year.
The HWs- if you spot something that looks very odd to you we prob didnt' cover it this year yet (and might not) so don't freak out over it.
Blog Post about students being wrong but having a point- Andrea and Dolapo are mentioned
List of Topics For the Midterm
Small NFA for...
Someone Elses Slides on NPC
(Slides 18-30 roughly are what we want- 3-COL is NP-complete)
Planar 3-Col is NPC
np stuff including Cook's Theorem
HALT as done by...
Algorithms for SAT
Algorithms for Max Ind Set
Code Golf: Writing Short Programs
More on Code Golf: Writing Short Programs