بررسی برهان خودکار

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

بررسی برهان خودکار در علوم رایانه به فرایند استفاده از نرم‌افزار برای بررسی درستی برهان‌های ریاضی است. بررسی برهان خودکار یکی از توسعه‌یافته‌ترین شاخه‌های استدلال خودکار به شمار می‌آید.

منابع[ویرایش]

  • (انگلیسی) Natarajan Shankar، Proof checking metamathematics، Computational Logic، Inc، ۱۹۸۷