نظریه محاسبه
computation theory
هوش مصنوعی
artificial intelligence
منطق صوری
formal logic
اثبات قضیه
theorem proving
حل مسئله
problem solving