منطق صوری
formal logic
Turing machine
ماشین تورینگ
نظریه خودکارافزار
automata theory
رایانه رقمی
digital computer