CSE633
| Course | CSE633 |
|---|---|
| Title | Computability and Undecidability |
| Credits | 3 - credits |
| Course Coordinator | |
| Description |
Computability theory based on Turing machines and recursive functions; proof by diagonalization and reducibility; unsolvable problems in set, group, number and language theory; reducibility orderings and degrees of unsolvability; priority methods and Post's problem. Prerequisite: CSE 540 or consent of instructor. |
| Course Outcomes | |
| Textbook | |
| Major Topics Covered in Course | |
| Laboratory | |
| Course Webpage |
|