COMPUTABILITY

Course Data

Location: Kaplun 324
Time: Wednesday, 10-12
Instructor: Nachum Dershowitz
Office: 218 Schreiber
Phone: 03/640-5356
E-mail: nachumd@tau.ac.il

PURPOSE

The purpose of this seminar is to explore advanced topics in models of computation and computability.

REQUIREMENTS

Participate, prepare and present.

TOPICS

  1. Oct. 16, Nachum: Welcome
  2. Oct. 23, Kfir Bar: Semantic Equivalents
  3. Oct. 30, Yotam Frank: Turing's Landmark Paper (notes)
  4. Nov. 6, Naama Baydatch: Abstract State Machines
  5. Nov. 13, Lior Samuni: The Lambda Calculus
  6. Nov. 20, Coral Grichener: Godel's Theorem
  7. Nov. 27, Tamar Lavee: Dead Sea Scrolls (Hanukkah)
  8. Dec. 4, Orit Moskovich: Cellular Automata
  9. Dec. 11, Uri Sharir: Penrose's Mistake
  10. Dec. 18, Adi Mor: Petri Nets (demos)
  11. Dec. 25, Idan Sharon: Multidimensional Machines (Prezi reader)
  12. Jan. 1, Noa Sivan: Randomness
  13. Jan. 8, Uri Kanonov: Quantum Computation
  14. Jan. 15, All: Discussion
  15. Representation
  16. Infinite Strings
  17. Turing Degrees
  18. Rewriting
  19. Biological Computation