پیچیدگی محاسباتی
preferred label: computational complexity @en
type: Concept
broader: نظریه محاسبه

زبان‌شناسی رایانشی
preferred label: computational linguistics @en
type: Concept
broader: نظریه محاسبه

نظریه محاسبه
narrower: زبان‌شناسی رایانشی
narrower: پیچیدگی محاسباتی
narrower: اثبات قضیه
narrower: نظریه خودکارافزار
narrower: منطق صوری
narrower: دنباله دوگانی
narrower: نظریه برنامه‌سازی
related: زبان الگوریتمی
related: نظریه سودهی
related: جبر بولی
related: علم رایانه
preferred label: computation theory @en
type: Concept
alternative label: فوق قضیه رایانه
broader: نظریه

اثبات قضیه
preferred label: theorem proving @en
type: Concept
broader: نظریه محاسبه

نظریه خودکارافزار
preferred label: automata theory @en
type: Concept
broader: نظریه محاسبه

منطق صوری
preferred label: formal logic @en
type: Concept
broader: نظریه محاسبه

دنباله دوگانی
preferred label: binary sequence @en
type: Concept
broader: نظریه محاسبه

نظریه برنامه‌سازی
preferred label: programming theory @en
type: Concept
broader: نظریه محاسبه

زبان الگوریتمی
preferred label: algorithmic language @en
type: Concept
related: نظریه محاسبه

نظریه سودهی
preferred label: switching theory @en
type: Concept
related: نظریه محاسبه

جبر بولی
preferred label: Boolean algebra @en
type: Concept
related: نظریه محاسبه

علم رایانه
preferred label: computer science @en
type: Concept
related: نظریه محاسبه

نظریه
preferred label: theory @en
type: Concept
narrower: نظریه محاسبه