next up previous
Next: About this document ...

CMSC 452: Elementary Theory of Computation

Spring 2018 HOMEPAGE

The Syllabus is in two parts:


HOMEWORKS

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

MIDTERM 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

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 ($2^{1/4}$ 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

closure properties

WS1S decidable-Notes

WS1S decidable-Talk

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




next up previous
Next: About this document ...
Bill Gasarch 2018-05-12