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.

Homework 7 Posted

Due Tuesday, March 20th (after spring break).