پیچیدگی محاسباتی
computational complexity
محاسبه‌پذیری و تصمیم‌پذیری
computability and decidability
نظریه محاسبه
computation theory