 |
نظریه برهان
| ويکي پدياي فارسي – دانشنامه رايگان | Download this dictionary |
نظريه برهان
نظريه برهان شاخه‌اي از منطق رياضي ست که برهان‌ها را به عنوان يک شئ صوري رياضي در نظر مي‌گيرد تا تجزيه و تحليل آن‌ها به کمک تکنيک‌هاي رياضي را آسانتر نمايد. نظريه برهان‌ها داراي طبيعتي نحوي‌ست، در مقابل نظريه مدل‌ها که از جنس معناشناسي است. به همراه نظريه مدل‌ها، نظريه مجموعه‌ها مبتني‌بر اصول موضوع، و نظريه بازگشتي، نظريه برهان‌ها يکي از اصول چهارگانه را در بنيان‌هاي رياضيّات را تشکيل مي‌دهد.
| به ديدن ما بياييد Wikipedia.org... |
© در نگارش اين مقاله از مطالب ويکي پديا® استفاده شده و تحت مجوز مستندات آزاد گنو شده و تحت سند مجوز عوام خلاق Creative Commons Attribution-ShareAlike
