Computability - Typed Lectures and Tutorials
All links in this post have been lost to the mists of time. I’ve kept it here out of pure nostalgia.
I’m typing the lectures of the course 236343 Computability Theory this semester. Attached are my lectures notes in PDF form:
If you also type the notes and would like to collaborate with me, I use a git repository stored here:
To use it, install
git-core and curl, and run
Any changes you have - send to me as patches, or push to your own repository and send me a link. (Drawings would be most welcome, and you’re obviously welcome to add your name to the list of typers)
If you need git storage, try repo.or.cz, or ask the T2 admins to install git :)