သင်္ချာယုတ္တိဗေဒ

ဝီကီပီးဒီးယား မှ
Jump to navigation Jump to search

သင်္ချာယုတ္တိဗေဒ (mathematical logic) ဆိုသည်မှာ ပုံစံတကျ ယုတ္တိဗေဒ (formal logic) ကို သင်္ချာပညာ၌ အသုံးပြုပုံအား လေ့လာသည့် ဘာသာရပ်ဖြစ်သည်။