Final Project Presentations (Locations)

Here are the locations for the two time slots that are not during class.

Tuesday, May 1, 2-3 PM  (GHC 7501)
Thursday, May 3, 3 - 4 PM (GHC 9115)

We encourage everyone in the class to come (even if you are not presenting). 

Midterm 2 Solutions

A few people have asked where the solutions to the second midterm were posted. We did not going to post a link to the course page, but the solutions can be found here.

Project Meetings

I am going to be gone April 7-April 20th. If am I your project advisor and you have not already met with me since you turned in your progress report then you should plan to meet with me either this week or April 23rd-27th.

Thanks,

Jeremiah

Project Presentation Sign Up

Presentation slots will be given out on a first come first, first serve basis.

Sign Up

Homework 8 Posted

Due Tuesday, April 3rd.

FIN is m-hard

FIN is m-hard for $\Sigma_2^0$

Homework 7, Problem 3 Clarification

For Problem 3 on relative decidability:  If H is the Halting Problem solver, you can assume you have access to <H>, the code for H.  The assignment PDF has also been updated with this clarification.