CENG565 INTRODUCTION TO THEORY OF COMPUTATION
| Course Code: | 5710565 |
| METU Credit (Theoretical-Laboratory hours/week): | 3 (3.00 - 0.00) |
| ECTS Credit: | 8.0 |
| Department: | Computer Engineering |
| Language of Instruction: | English |
| Level of Study: | Graduate |
| Course Coordinator: | Prof.Dr. FARUK POLAT |
| Offered Semester: | Fall or Spring Semesters. |
Course Objectives
Course Content
Turing machines. Church-Turing thesis. Decidability. Reducibility and Recursion Theorem. Complexity theory: Classes P and NP, NP-Completeness. Space Complexity. Intractability.
Course Learning Outcomes
Program Outcomes Matrix
| Contribution |
| # | Program Outcomes | No | Yes |
| 1 | Competence in fundamental and advanced knowledge of hardware and software Proficiency in problem solving. | | ✔ |
| 2 | The ability to follow the contemporary technical development, and Initiative and aptitude for self-directed learning. | | ✔ |
| 3 | They are capable of designing, and conducting experiments at advanced level. | | ✔ |
| 4 | The ability to design and implement systems involving hardware, software, and the interaction between the two through challenging projects. | | ✔ |
| 5 | Analyze and compare relative merits of alternative software design, algorithmic approaches and computer system organization, with respect to a variety of criteria relevant to the task (e. g. efficiency, scalability, security). | | ✔ |
| 6 | Strong interpersonal skills needed for working effectively in small, diverse groups on medium to large scale technical projects. | | ✔ |
| 7 | Strong oral communication skills essential for effectively presenting technical material to an audience and strong written communication skills and the ability to write technical documents that include specification, design, and implementation of a major project. | | ✔ |
