Prooftoolsان روه برنامه راان و متقابل لت فرم برا تولد درختان اثبات فراهم م ند | |
انون بارر ن |
Prooftools رتبه بند و خلاصه
تبلغات
Prooftools برسب ها
Prooftools شرح
Prooftools برنامه راف راان است ه در هر دو GTK + و QT نوشته شده است، طراح شده است ه برا تولد اتومات و راف از تابلوها معنا مورد استفاده قرار م رد، همنن به عنوان درختان اثبات، تلسو تحلل ا درختان معنا شناخته م شود. ان برنامه را م توان برا تست انه آا استدلال ا اثبات به صورت محرمانه معتبر است ا انه آا فرمول حققت منطق است، مورد استفاده قرار رد. Prooftools قادر به تاد استدلال منطق، ش فرض و منطق منطق ا حققت منطق با استفاده از روش درخت اثبات است. Prooftools برنامه مستقل لتفرم است ه از سستم عامل ها لنوس، ماروسافت وندوز و Mac OS X شتبان م ند. Binaries برا GTK و QT در بخش دانلود بالا ارائه شده است، شتبان از معمار 32 بت و 64 بت.
Prooftools نرم افزارها مرتبط