TR    EN

Theory of Computation (COMPE 572) Course Details

Course Name: Theory of Computation
Code: COMPE 572
Pre-requisite Course(s):
Objective: The objective of the course is to give students an insight about fundamental aspects of computer science in the context of computability and complexity theories. By the end of the course, the students are expected to better recognize and position the science and engineering of computer.
Content: Models of computation. Church-Turing thesis. Decidability and undecidability. Recursive enumerability. Time complexity. Classes P and NP. Space complexity. LOGSPACE, PSPACE-completeness.
Term: Spring
Theory: 3
Application: 0
Laboratory: 0
Credit: 3
Web:
ECTS Course File: Course File
Course File:
ECTS: 7.5