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