Education

برنامه‌سازی منطق، بهار ۹۷

Details
Hits: 1497
  1. نمرات نهایی محاسبه شده در درس مبتنی بر ارائه‌ی نهایی pdf icon small
  2. نمرات پروژه‌های تحویل داده شده در طول ترم (Coq): pdf icon small
  3. نمرات تمرین‌های تحویل داده شده در طول ترم (Lambda Calculus & Intuitionistic Logic): pdf icon small
  4. نمرات تمرین‌های تحویل داده شده در طول ترم (Coq): pdf icon small
  5. نمرات امتحان پایان‌ترم  pdf icon small
  6. سؤالات امتحان پایان‌ترم  pdf icon small
  7. تمرین‌های فصل Imp کتاب: تمرین‌های ۳ستاره (۹ تمرین)
  8. تمرین‌ سری دوم از مبحث حساب لاندا: تمرین‌های ۱.۷.۴ و ۱.۷.۵ و ۱.۷.۶ و ۱.۷.۷ از کتاب. موعد تحویل: شنبه ۱۹ اسفند. ابتدای کلاس درس.
  9. نحوه‌ی محاسبه‌ی نمره: ۹ نمره پایان‌ترم (از حساب lambda و منطق شهودگرایی) +  ۱ نمره تمرین (از حساب lambda و منطق شهودگرایی) + ۷ نمره تمرین‌های Coq + سه نمره پروژه Coq
  10. تمرین‌ Basics-A: (تا ۲۳ بهمن) فصل Basics، تا ابتدای Proof By Simplification. فرمت فایلی که می‌فرستید این‌طور باشد: اگر شماره دانشجویی من ۶۱۱۶۷۲۱۸ باشد، برای این سری از تمرین‌ها نام فایلی که می‌فرستم باید این‌گونه باشد: Basics-A-61167218.v
  11. کتاب کمکی درس: Adam Chlipala , Certified Programming with Dependent Types, a pragmatic introduction to the Coq Proof Assistant, MIT press. نسخه‌ی آنلاین (html) از کتاب درس. نسخه‌ی pdf از درفت همان کتاب.
  12. کتابِ درس (دوم): http://www.cis.upenn.edu/~bcpierce/sf/current/index.html
  13. کتاب راهنمای مرجع Coq.
  14. کتابِ  درس (نخست): http://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf
  15. برای اجرای دستورات Coq تحت وب، می‌توانید به این پیوند مراجعه کنید.
  16. راهنمای نصب Coq: در سیستم‌عامل‌های Linux، Windows و Mac OSX.
  17. این‌جا صفحه‌ی اختصاصی درس منطق و الگوریتم است که   توسط مجتبی مجتهدی در دانشگاه تهران (ترم بهار ۱۳۹۶) ارائه می‌شود.