‫توصیف و وار سی ربانهماه(‪)۴۰-۷۴۵‬‬
‫تاریخ تهیه‪92/06/20 :‬‬
‫جدول زمان‌بندی ترم‪ :‬اول ‪۹۲-۹۳‬‬
‫تاریخ ویرایش(‪92/08/07:)1‬‬
‫مدرس‪ :‬سید حسن میریان‬
‫مرجع‪Using Z: Specification, refinement, and proof, Jim Woodcock and Jim Davies, Prentice Hall, 1996 :‬‬
‫سایت کتاب‪/http://www.usingz.com :‬‬
‫ارایه‬
‫تمرین‌وپروژه‬
‫عنوان‬
‫تاریخ‬
‫هفته‬
‫‪۱‬‬
‫‪6/23‬‬
‫چرا توصیف صوری‬
‫‪۲‬‬
‫‪۳‬‬
‫‪۴‬‬
‫‪۵‬‬
‫‪6/25‬‬
‫چیستی یا چگونگی؟‬
‫‪6/30‬‬
‫‪)۱‬مقدمه(‬
‫‪7/1‬‬
‫‪)۱‬مقدمه(‬
‫‪7/6‬‬
‫‪)۲،۳‬جبر مسندات(‬
‫‪7/8‬‬
‫‪)۴‬تساوی(‬
‫تعیین‌گروه‬
‫‪7/13‬‬
‫‪)۵‬مجموعه‌ها(‬
‫‪)۶‬تعریف (‬
‫‪7/20‬‬
‫‪)۷‬رابطه‌ها(‬
‫‪7/22‬‬
‫‪)۷‬رابطه‌ها(‬
‫چهارشنبه ‪24/7‬‬
‫‪۶‬‬
‫‪7/27‬‬
‫‪)۸‬توابع(‬
‫‪7/29‬‬
‫‪)۸‬توابع(‬
‫پنج شنبه ‪8/2‬‬
‫‪۷‬‬
‫‪8/4‬‬
‫‪۸‬‬
‫‪۹‬‬
‫‪۱‬‬
‫پیشنهاد سه برنامه‬
‫‪7/15‬‬
‫‪۳‬‬
‫تعطیل(عید سعید قربان)‬
‫‪)۳‬؟‪،‬انجام نشد(‬
‫نهایی کردن سه برنامه‬
‫تعطیل(عید سعید غدیر خم)‬
‫‪)۹‬دنباله‌ها(‬
‫‪(۴،۵،۶،۷،۸)۱‬‬
‫‪8/6‬‬
‫‪8/11‬‬
‫‪)۱۱‬شِ ما(‬
‫‪)۵‬گلی‪/‬شجاع‪/‬فضلی‪(CZT ،‬‬
‫‪8/13‬‬
‫‪)۱۱‬شِ ما(‬
‫‪)۱۲‬عملیات روی شِ ماها(‬
‫‪)۶‬خراطی زاده‪/‬عبدی‪/‬بالالیی‪(ALLOY،‬‬
‫‪8/20‬‬
‫‪)۱۲‬عملیات روی شِ ماها(‬
‫چهارشنبه ‪8/22‬‬
‫پنج شنبه ‪8/23‬‬
‫‪۱۲‬‬
‫‪۱۳‬‬
‫‪۱۴‬‬
‫‪۱۵‬‬
‫‪۱۶‬‬
‫‪۱۷‬‬
‫‪)۴‬؟‪،‬انجام نشد(‬
‫‪۴‬‬
‫تعطیل(عاشورا)‬
‫‪۱۱‬‬
‫‪)۱‬فراهانی‪/‬مهدوی‪،‬کاربردهای صنعتی(‬
‫‪)۲‬موالیی‪/‬زنگویی‪،/‬پتری نت(‬
‫تعطیل(تاسوعا)‬
‫‪10‬‬
‫‪۲‬‬
‫‪)۱۰‬نوع آزاد(‬
‫‪8/18‬‬
‫‪۵‬‬
‫‪8/25‬‬
‫‪)۱۳‬ارتقاء(‬
‫‪8/27‬‬
‫‪)۱۳‬ارتقاء چندگانه(‬
‫‪)۱‬تحویل(‬
‫‪9/2‬‬
‫‪)۱۴‬پیش شرط(‬
‫‪(۹،۱۰،۱۱،۱۲)۲‬‬
‫‪9/4‬‬
‫‪)۱۴‬پیش و پس‌شرط صریح(‬
‫‪9/9‬‬
‫مثال‬
‫‪)۷‬طاهری‪/‬مسقدی‪/‬دولتی‪(ACSL،‬‬
‫‪۶‬‬
‫‪)۸‬مصطفی زاده‪/‬خازنی‪/‬حسن تبار‪،‬؟(‬
‫‪9/11‬‬
‫‪)۱۵‬اثبات(‬
‫‪9/16‬‬
‫‪)۱۵‬اثبات(‬
‫‪9/18‬‬
‫‪)۱۵‬اثبات(‬
‫‪(۱۳،۱۴،۱۵)۳‬‬
‫‪9/23‬‬
‫‪)۱۶‬پاالیش(‬
‫‪)۲‬تحویل(‬
‫‪9/25‬‬
‫‪)۱۶‬پاالیش(‬
‫‪9/30‬‬
‫‪)۱۶‬پاالیش(‬
‫‪10/7‬و‪10/9‬‬
‫تعطیل(خارج از تقویم آموزشی )‬
‫‪10/2‬‬
‫؟‬
‫امتحان‬
‫‪)۹‬مافی‪/‬قاسمپور‪(OOZ،‬‬
‫‪۷‬‬
‫‪)۱۰‬؟‪،‬؟(‬
‫‪۸‬‬
‫‪)۱۱‬؟‪،‬؟(‬
‫تعطیل(اربعین)‬
‫تعطیل(پایان ترم)‬
‫‪)۳‬تحویل(‬
‫پایان ترم‬
‫؟‬
‫تعطیل(پایان ترم)‬
‫حضور دانش‌جویان در تمام جلسات درس ضروری است‪.‬‬
‫نمره نهایی(‪ = )۱۱۰‬پایان ترم(‪ +)۵۵‬تمرین(‪ + )۱۵‬پروژه (‪ + )۱۵‬امتحانک(‪ +)۱۵‬ارایه(‪)۱۰‬‬
‫پاسخ تمرین‌ها در روزهای معین شده باید تحویل داده شود‪.‬‬
‫تمرین‌ها در تاریخ‌های یاد شده از طریق اینترنت و یا اتاق تکثیر قابل دریافت هستند‪.‬‬
‫هر تمرین باید به طور جداگانه و گزارش پروژه روی کاغذ ‪ ،A4‬یک‌رو‪ ،‬با رعایت کلیه نکات ارایه‪ ،‬حاشیه مناسب از طرفین و باال و پایین صفحه‬
‫حتی‌االمکان تایپ شده‪ ،‬با درج مشخصات دانشجو روی تمام برگ‌ها تحویل گردد‪ .‬نیازی به استفاده از شیرازه و جلد نیست و‬
‫کافیست تنها گوشه سمت راست منگنه شود‪.‬‬
‫هر تمرین باید جداگانه تحویل شده و روی تمام برگ‌ها مشخصات دانشجو نوشته شده باشد‪.‬‬