computability theory
study of computable functions and Turing degrees
computational complexity theory
theoretical computer science and mathematics theory that classifies problems according to their inherent difficulty, and relates those classes to each other