algorithm theory
نظریه الگوریتمی
تصدیق برنامه
program verification
الگوریتم حریص
greedy algorithm
محاسبه‌پذیری
computability
الگوریتم موازی
parallel algorithm
تطابق رشته‌ها
string matching
نظریه برنامه‌نویسی
programming theory
پیچیدگی محاسباتی
computational complexity
الگوریتم تصادفی‌شده
randomised algorithm
برنامه‌نویسی
programming
نظریه محاسبه
computation theory
زیرروال
subroutine
الگوریتم رقابتی
competitive algorithm
الگوریتم قطعیتی
deterministic algorithm