برنامه‌سازی منطق، بهار ۱۴۰۰

کتاب کمکی درس: Adam Chlipala , Certified Programming with Dependent Types, a pragmatic introduction to the Coq Proof Assistant, MIT press. نسخه‌ی آنلاین (html) از کتاب درس. نسخه‌ی pdf از درفت همان کتاب.
کتاب درس، نسخه‌ی سازگار با 8.6 Coq
کتابِ درس: http://www.cis.upenn.edu/~bcpierce/sf/current/index.html
کتاب راهنمای مرجع Coq.
برای اجرای دستورات Coq تحت وب، می‌توانید به این پیوند مراجعه کنید.
راهنمای نصب Coq: در سیستم‌عامل‌های Linux، Windows و Mac OSX.
کلاس‌های درس از طریق این پیوند اسکایپی و در روزهای یکشنبه و سه‌شنبه ساعت ۲ تا ۴ عصر برگزار می‌شود.
گروه تلگرام: @ut1400lp
این‌جا صفحه‌ی اختصاصی درس منطق و الگوریتم است که که به صورت مشترک با آقای دکتر علیزاده در دانشگاه تهران (ترم بهار ۱۳۹۸) ارائه می‌شود.

Education