‫توصیف و وار سی ربانهماه(‪)۴۰-۷۴۵‬‬
‫تاریخ تهیه‪93/06/24 :‬‬
‫جدول زمانبندی ترم‪ :‬اول ‪93-94‬‬
‫تاریخ ویرایش(‪93/06/24:)0‬‬
‫مدرس‪ :‬سید حسن میریان‬
‫مرجع‪Using Z: Specification, refinement, and proof, Jim Woodcock and Jim Davies, Prentice Hall, 1996 :‬‬
‫سایت کتاب‪/http://www.usingz.com :‬‬
‫هفته‬
‫‪۱‬‬
‫‪۲‬‬
‫‪۳‬‬
‫تاریخ‬
‫‪06/29‬‬
‫‪06/31‬‬
‫چیستی یا چگونگی؟‬
‫‪07/05‬‬
‫‪)۱‬مقدمه(‬
‫‪07/07‬‬
‫‪)۱‬مقدمه(‬
‫‪07/12‬‬
‫‪)۲،۳‬جبر مسندات(‬
‫یکشنبه ‪07/13‬‬
‫‪07/14‬‬
‫‪07/19‬‬
‫‪۴‬‬
‫عنوان‬
‫چرا توصیف صوری‬
‫‪۶‬‬
‫‪۷‬‬
‫‪)۴‬تساوی(‬
‫‪)۵‬مجموعهها(‬
‫پیشنهاد سه برنامه‬
‫تعطیل( عید سعید غدیر)‬
‫‪07/26‬‬
‫‪)۶‬تعریف (‬
‫‪07/28‬‬
‫‪)۷‬رابطهها(‬
‫‪۲‬‬
‫‪08/03‬‬
‫‪)۸‬توابع(‬
‫‪08/05‬‬
‫‪)۹‬دنبالهها(‬
‫نهایی کردن سه برنامه‬
‫)؟؛؟(‪3‬‬
‫‪08/10‬‬
‫‪)۱۰‬نوع آزاد(‬
‫‪(۴،۵،۶،۷،۸)۱‬‬
‫)؟‪،‬؟(‪3 4‬‬
‫)؟‪،‬؟(‪۲‬‬
‫تعطیل(تاسوعا)‬
‫سه شنبه‬
‫‪08/13‬‬
‫‪۸‬‬
‫‪08/17‬‬
‫‪)۱۱‬شِما(‬
‫‪۱۰‬‬
‫‪۱۱‬‬
‫‪۱۲‬‬
‫‪۱۴‬‬
‫‪۱۵‬‬
‫تعطیل(عاشورا)‬
‫)؟‪،‬؟(‪۵‬‬
‫‪08/19‬‬
‫‪)۱۱‬شِما(‬
‫‪08/24‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪08/26‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪4‬‬
‫)؟‪،‬؟(‪6‬‬
‫‪09/01‬‬
‫‪)۱۳‬ارتقاء(‬
‫‪09/03‬‬
‫‪)۱۳‬ارتقاء چندگانه(‬
‫‪)۱‬تحویل(‬
‫‪09/08‬‬
‫‪)۱۴‬پیش شرط(‬
‫‪(۹،۱۰،۱۱،۱۲)۲‬‬
‫‪09/10‬‬
‫‪)۱۴‬پیش و پسشرط صریح(‬
‫)؟‪،‬؟(‪8‬‬
‫‪09/15‬‬
‫مثال‬
‫)؟‪،‬؟(‪۹‬‬
‫‪09/17‬‬
‫‪۱۳‬‬
‫‪1‬‬
‫)؟‪،‬؟(‪1‬‬
‫‪08/12‬‬
‫‪۹‬‬
‫ارایه‬
‫تعطیل( عید سعید قربان)‬
‫تعیینگروه‬
‫‪07/21‬‬
‫‪۵‬‬
‫تمرینوپروژه‬
‫امتحان‬
‫)؟‪،‬؟(‪7‬‬
‫‪5‬‬
‫‪)۱۵‬اثبات(‬
‫‪09/22‬‬
‫‪6‬‬
‫تعطیل(اربعین)‬
‫‪09/24‬‬
‫‪)۱۵‬اثبات(‬
‫‪(۱۳،۱۴،۱۵)۳‬‬
‫)؟‪،‬؟(‪۱۰‬‬
‫‪09/29‬‬
‫‪)۱۶‬پاالیش(‬
‫‪)۲‬تحویل(‬
‫)؟‪،‬؟(‪۱۱‬‬
‫یکشنبه ‪09/30‬‬
‫‪10/01‬‬
‫‪)۱۶‬پاالیش(‬
‫‪10/06‬‬
‫‪)۱۶‬پاالیش(‬
‫تعطیل(رحلت رسول اکرم)‬
‫‪10/08‬‬
‫‪)۱۶‬پاالیش(‬
‫‪10/13‬و‪10/15‬‬
‫‪10/22‬‬
‫تعطیل(خارج از تقویم آموزشی )‬
‫‪۱۶‬‬
‫‪17‬‬
‫)امتحان پایان ترم(‬
‫حضور دانشجویان در تمام جلسات درس ضروری است‪.‬‬
‫‪7‬‬
‫)؟‪،‬؟(‪12‬‬
‫‪8‬‬
‫‪)۳‬تحویل(‬
‫نمره نهایی(‪ = )۱۱۰‬پایان ترم(‪ +)۵۵‬تمرین(‪ + )۱۵‬پروژه (‪ + )۱۵‬امتحانک(‪ +)۱۵‬ارایه(‪)۱۰‬‬
‫پاسخ تمرینها در روزهای معین شده باید تحویل داده شود‪.‬‬
‫تمرینها در تاریخهای یاد شده از طریق اینترنت و یا اتاق تکثیر قابل دریافت هستند‪.‬‬
‫هر تمرین باید به طور جداگانه و گزارش پروژه روی کاغذ ‪ ،A4‬یکرو‪ ،‬با رعایت کلیه نکات ارایه‪ ،‬حاشیه مناسب از طرفین و باال و پایین صفحه‬
‫حتیاالمکان تایپ شده‪ ،‬با درج مشخصات دانشجو روی تمام برگها تحویل گردد‪ .‬نیازی به استفاده از شیرازه و جلد نیست و‬
‫کافیست تنها گوشه سمت راست منگنه شود‪.‬‬
‫هر تمرین باید جداگانه تحویل شده و روی تمام برگها مشخصات دانشجو نوشته شده باشد‪.‬‬
‫پایان ترم‬