این برنامه لینوکس با نام proof-logic است که آخرین نسخه آن را می توان با نام pl-v8.tgz دانلود کرد. می توان آن را به صورت آنلاین در ارائه دهنده میزبانی رایگان OnWorks برای ایستگاه های کاری اجرا کرد.
این اپلیکیشن به نام proof-logic را با OnWorks به صورت آنلاین دانلود و اجرا کنید.
برای اجرای این برنامه این دستورالعمل ها را دنبال کنید:
- 1. این برنامه را در رایانه شخصی خود دانلود کنید.
- 2. در فایل منیجر ما https://www.onworks.net/myfiles.php?username=XXXXX نام کاربری مورد نظر خود را وارد کنید.
- 3. این برنامه را در چنین فایل منیجر آپلود کنید.
- 4. OnWorks Linux آنلاین یا شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MACOS را از این وب سایت راه اندازی کنید.
- 5. از سیستم عامل لینوکس OnWorks که به تازگی راه اندازی کرده اید، به مدیر فایل ما https://www.onworks.net/myfiles.php?username=XXXXX با نام کاربری که می خواهید بروید.
- 6. اپلیکیشن را دانلود کرده، نصب و اجرا کنید.
اثبات منطق
Ad
شرح
منطق اثبات یک چارچوب منطقی تابعی و معادله ای برای اثبات قضیه بر اساس منطق ترکیبی و حساب لامبدا است که عبارات آن هم جمله و هم برهان اثبات برابری بین دو عبارت است.
مخاطبان
علم/تحقیق، کاربران نهایی پیشرفته، توسعه دهندگان
رابط کاربری
کنسول/ترمینال، خط فرمان
زبان برنامه نویسی
سی، هاسکل
دسته بندی ها
این برنامه ای است که می تواند از https://sourceforge.net/projects/proof-logic/ نیز دریافت شود. در OnWorks میزبانی شده است تا به آسانی از یکی از سیستم عامل های رایگان ما به صورت آنلاین اجرا شود.
