منطق فازی
fuzzy logic
منطق صوری
formal logic
probabilistic logic
منطق احتمالاتی
خودکارافزار احتمالاتی
probabilistic automata
مدار منطقی
logic circuit
احتمال
probability
نظریه خودکارافزار
automata theory
conditional logic