‫«به نام خدا»‬
‫توصیف و وارسی صوری برنامهها‬
‫تمرین ‪( 1‬مهلت ارسال تا ‪ 3‬آذر ‪)1333‬‬
‫‪+‬‬
‫توضیحاتی در مورد نحوه ارسال تمرینها‬
‫تمرین ‪1‬‬
‫تمامی موارد زیر را با ذکر دلیل در این تمرین باید تحویل دهید‪:‬‬
‫‪‬‬
‫نوعهای داده شده (‪ )Given Type‬را معرفی کنید‪.‬‬
‫‪‬‬
‫نوعهای آزاد (‪ )Free Type‬را در مساله خود معرفی کنید‪.‬‬
‫‪‬‬
‫نوعهای دیگر با استفاده از عملگرهای سازنده نوع مانند مجموعه توانی‪ ،‬ضرب کارتزین‪ ،‬رابطهها‪ ،‬توابع و ‪ ...‬تعریف شوند‪.‬‬
‫‪‬‬
‫تمامی محدودیتها و خصوصیت های ذکر شده در صورت تمرین بایستی با ابزارگان ریاضی و تعریفی (مانند ‪Axiomatic‬‬
‫‪ )Set Comprehensions & Abbreviations ،Definitions‬در ‪ Z‬پیادهسازی شوند‪.‬‬
‫‪‬‬
‫توجه داشته باشید که غیر از انواع داده شده‪ ،‬بقیه موارد باید در توصیف شما تعریف شده باشند‪ .‬نام توابع و روابط فقط موجب تسهیل‬
‫در خوانایی توصیف شماست‪ .‬از نوشتن توابعی چون ‪ x likes y‬بدون تعریف مناسب برای ‪ likes‬با استفاده از نشانهگذاریهای غیر از‬
‫‪ Z‬خودداری کنید‪.‬‬
‫نیازی به تحویل توصیف برنامه ی سوم که به عنوان پروژه نهایی شما خواهد بود‪ ،‬در تاریخ تحویل این تمرین نیست و در این تمرین فقط موارد‬
‫خواسته شده را برای برنامههای اول و دوم تحویل دهید‪ .‬اما توجه داشته باشید برای توصیف برنامه سوم‪ ،‬مراحل فوق و همچنین مراحل آینده‬
‫در تمرینهای بعدی بایستی انجام شود‪ .‬بنابراین پیشنهاد میشود با توجه به حجم زیاد توصیف در پروژههای خود‪ ،‬این مراحل را به تدریج برای‬
‫برنامه سوم نیز انجام دهید‪.‬‬
‫نحوه ارسال تمرینها‬
‫‪‬‬
‫تنها گروههایی که صورت تمرین آنها نهایی شده است مجاز به ارسال تمرینها هستند‪ .‬لیست تمرینهای نهایی شده برای گروهها در‬
‫سایت بارگذاری خواهد شد‪.‬‬
‫‪‬‬
‫تمامی گروه ها باید تمرین خود را به صورت تایپ شده و در قالب دو فایل ‪ pdf‬به ایمیل ‪ TA‬ارسال کنند‪ .‬توصیف دستنویسی و یا‬
‫پرینت شده به هیچ عنوان قابل قبول نیست‪ .‬پیشنهاد میشود توصیفهای خود را در ‪ LATEX‬تایپ کنید‪.‬‬
‫‪‬‬
‫فایل اول باید فقط شامل توصیف شما بدون هیچ توضیحی باشد‪.‬‬
‫‪‬‬
‫فایل دوم همان توصیف شما به همراه توضیحات و دالیل توصیفی شما در میان آن است‪.‬‬
‫‪‬‬
‫هیچ گونه افزایش مهلت زمان ارسالی مد نظر نیست و تاخیر در تحویل تمرینها از یک روز تا یک هفته پس از موعد‪ ،‬موجب کسر‬
‫‪ 05‬درصد از نمره کسب شده توسط شما در آن تمرین میشود‪ .‬تاخیر بیش از یک هفته در تحویل تمرین‪ ،‬موجب از دست رفتن کل‬
‫نمره تمرین خواهد شد‪.‬‬
‫موفق باشید‬