Skip to main content

Elective List

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