Course Name
Theory of Computation
553
Semester
Güz
Course Type
Compulsory
Theory
3
Credit
3
ECTS
10
Course Description
Core Course - Group 1 - Theory of Algorithms and Foundation of Computer Science; Sample Elective Course
Theoretical analysis of computational process; fundamental concepts such as abstract programs, classes of computational machines and their equivalence, recursive function theory, unsolvable problems, Church's thesis, Kleene's theorem, program equivalence and generability, acceptability.
Hesaplama işleminin teorik analizi, soyut programlama, hesaplama makinalarının sınıfları, çözülemeyen problemler, Kleene teoremi, program eşdeğerliği ve kabul edilebilirliği