Charles Explorer logo
🇬🇧

Topics in Computability

Class at Faculty of Arts |
ALGV00042

Annotation

A course devoted to some or all of the following topics: recursion theorem, productive and creative sets, recursively inseparable sets, 1-reducibility, simple sets, hypersimple sets, Turing reducibility, Friedberg-Muchnik theorem.