Models Of Computation (Spring 2017)
School of Computer Science, University of Birmingham, UK, 2018
- Models Of Computation, Spring 2017
- Module Lecturer: Steve Vickers
-
Details
- Other demonstrators: Anna Laura Suarez
- Lecture Notes
- Assignments
- Supplementary Reading List:
- G. Boolos and R. Jeffrey, Computability and Logic, Cambridge University Press, 3rd Edition, 1989.
- To Mock a Mockingbird and Other Logic Puzzles
- Models of Computation, Exploring the Power of Computing by John E. Savage, Brown University
- Activities:
- Running exercise classes
- Marking weekly assignments