formal logic
preferred label: منطق صوری @fa
type: Concept
narrower: computability

algorithm theory
preferred label: نظریه الگوریتمی @fa
type: Concept
narrower: computability

computability
preferred label: محاسبه‌پذیری @fa
related: computational complexity
related: decidability
scope note: solvability
type: Concept
broader: formal logic
broader: algorithm theory
alternative label: solvability

computational complexity
preferred label: پیچیدگی محاسباتی @fa
type: Concept
related: computability

decidability
preferred label: تصمیم‌پذیری @fa
type: Concept
related: computability