complexity of algorithm
پیچیدگی الگوریتم
computable function
تابع محاسبه‌پذیر
bounded function
تابع کراندار
theorems of computer science
قضایای علوم کامپیوتر
Gap theorem
قضیه گپ