CMSC 452: Elementary Theory of Computation

Spring 2018 HOMEPAGE

The Syllabus is in two parts:

**HOMEWORKS**

HW 1 Morally Due Tuesday Feb 6.

HW 2 Morally Due Tuesday Feb 13.

HW 3 Morally Due Tuesday Feb 20.

HW 3 SOLUTIONS Morally Due Tuesday Feb 20.

HW 4 Morally Due Tuesday Feb 27.

HW 5 Morally Due Tuesday March 6.

HW 6 Morally Due Tuesday March 27.

(hw06 counts double so we will enter it as hw06 and hw07)

HW 8 Morally Due Tuesday Apr 3.

HW 9 Morally Due Tuesday Apr 10.

HW 10 Morally Due Tuesday Apr 17

HW 11 Morally Due Tuesday Apr 24

HW 12 Morally Due Tuesday May 1

HW 13 Morally Due Tuesday May 8

HW 14 DUE Thursday May 10

Last Years Final with Comments and Solution

**PROJECTS**

Proj 1 Morally Due Tuesday March 6

Proj 2 Morally Due Tuesday April 24

Optional Project to avoid Getting a D

**NOTES**

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

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

(Slides 18-30 roughly are what we want- 3-COL is NP-complete)

np stuff including Cook's Theorem

Code Golf: Writing Short Programs

More on Code Golf: Writing Short Programs