[PL-sem-jr] March 14

[Ming-Ho Yee]

Next Wednesday at PL Junior:

Benjamin Quiring will give a practice talk, titled "Turing Degrees and the
Arithmetical Hierarchy."

Afterwards, we will provide feedback and suggestions to help improve the
talk. It might be a good idea to bring something you can take notes with.

For background to the talk, consider reviewing chapters 4 (Decidability)
and 5 (Reducibility), as well as the Turing Reducibility section in chapter
6, of Sipser's *Introduction to the Theory of Computation*. In-depth
knowledge is not needed, only the definitions and basic ideas covered in a
usual undergraduate theory course.

There is probably a copy of Sipser somewhere in the lab you can borrow.


When: Wednesdays at 1:30pm
Where: WVF 116
-------------- next part --------------
HTML attachment scrubbed and removed