Title of the course: Computability
Instructor: Mr. Chris Stephenson
Institution: İstanbul Bilgi Ü.
Dates: 17-23 July 2017
Prerequisites: Birinci sınıf itibaren üniversite öğrencileri ya da ileri liselilere uygun.
Level: Undergraduate.
Abstract: 1. Finite State Automata and regular languages
2. FSA and the pumping lemma. Chomsky classification
3. Turing Machine
4. Halting problem
5. Lambda calculus – substitution rules
6. Lambda calculus – arithmetic and data structures
Language: TR, EN