پیچیدگی محاسباتی
computational complexity
زبان‌شناسی رایانشی
computational linguistics
اثبات قضیه
theorem proving
نظریه خودکارافزار
automata theory
منطق صوری
formal logic
binary sequence
دنباله دوگانی
نظریه برنامه‌سازی
programming theory
زبان الگوریتمی
algorithmic language
نظریه سودهی
switching theory
Boolean algebra
جبر بولی
علم رایانه
computer science
نظریه محاسبه
computation theory
فوق قضیه رایانه
theory
نظریه