منطق صوری
formal logic
نظریه الگوریتمی
algorithm theory
computability
محاسبه‌پذیری
solvability
پیچیدگی محاسباتی
computational complexity
تصمیم‌پذیری
decidability