‫توصیف و وار سی ربانهماه(‪)۴۰-۷۴۵‬‬
‫تاریخ تهیه‪92/06/20 :‬‬
‫جدول زمان‌بندی ترم‪ :‬اول ‪۹۲-۹۳‬‬
‫تاریخ ویرایش(‪92/06/20:)0‬‬
‫مدرس‪ :‬سید حسن میریان‬
‫مرجع‪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/15‬‬
‫‪)۶‬تعریف (‬
‫‪7/20‬‬
‫‪)۷‬رابطه‌ها(‬
‫‪7/22‬‬
‫‪)۷‬رابطه‌ها(‬
‫‪7/27‬‬
‫‪)۸‬توابع(‬
‫‪7/29‬‬
‫‪)۸‬توابع(‬
‫پنج شنبه ‪8/2‬‬
‫‪۷‬‬
‫‪8/4‬‬
‫‪۸‬‬
‫‪۹‬‬
‫نهایی کردن سه برنامه‬
‫تعطیل(عید سعید غدیر خم)‬
‫‪)۹‬دنباله‌ها(‬
‫‪(۴،۵،۶،۷،۸)۱‬‬
‫‪۱۴‬‬
‫‪۱۵‬‬
‫‪۱۶‬‬
‫‪۱۷‬‬
‫‪)۴‬؟‪،‬؟(‬
‫‪۴‬‬
‫‪8/6‬‬
‫‪)۱۰‬نوع آزاد(‬
‫‪8/11‬‬
‫‪)۱۱‬شِ ما(‬
‫‪)۵‬؟‪،‬؟(‬
‫‪8/13‬‬
‫‪)۱۱‬شِ ما(‬
‫‪8/18‬‬
‫‪)۱۲‬عملیات روی شِ ماها(‬
‫‪)۶‬؟‪،‬؟(‬
‫‪8/20‬‬
‫‪)۱۲‬عملیات روی شِ ماها(‬
‫پنج شنبه ‪8/23‬‬
‫‪۱۳‬‬
‫‪)۱‬فراهانی‪/‬مهدوی‪،‬کاربردهای صنعتی(‬
‫‪)۳‬؟‪،‬؟(‬
‫تعطیل(عاشورا)‬
‫‪۱۲‬‬
‫‪۲‬‬
‫‪۳‬‬
‫چهارشنبه ‪8/22‬‬
‫‪۱۱‬‬
‫‪۵‬‬
‫‪8/25‬‬
‫‪)۱۳‬ارتقاء(‬
‫‪8/27‬‬
‫‪)۱۳‬ارتقاء چندگانه(‬
‫‪)۱‬تحویل(‬
‫‪9/2‬‬
‫‪)۱۴‬پیش شرط(‬
‫‪(۹،۱۰،۱۱،۱۲)۲‬‬
‫‪9/4‬‬
‫‪)۱۴‬پیش و پس‌شرط صریح(‬
‫‪9/9‬‬
‫مثال‬
‫‪)۷‬؟‪،‬؟(‬
‫‪۶‬‬
‫‪)۸‬؟‪،‬؟(‬
‫‪9/11‬‬
‫‪)۱۵‬اثبات(‬
‫‪9/16‬‬
‫‪)۱۵‬اثبات(‬
‫‪9/18‬‬
‫‪)۱۵‬اثبات(‬
‫‪(۱۳،۱۴،۱۵)۳‬‬
‫‪9/23‬‬
‫‪)۱۶‬پاالیش(‬
‫‪)۲‬تحویل(‬
‫‪9/25‬‬
‫‪)۱۶‬پاالیش(‬
‫‪9/30‬‬
‫‪)۱۶‬پاالیش(‬
‫‪10/7‬و‪10/9‬‬
‫تعطیل(خارج از تقویم آموزشی )‬
‫‪10/2‬‬
‫؟‬
‫‪۱‬‬
‫‪)۲‬؟‪،‬؟(‬
‫تعطیل(تاسوعا)‬
‫‪10‬‬
‫امتحان‬
‫‪)۹‬؟‪،‬؟(‬
‫‪۷‬‬
‫‪)۱۰‬؟‪،‬؟(‬
‫‪۸‬‬
‫‪)۱۱‬؟‪،‬؟(‬
‫تعطیل(اربعین)‬
‫تعطیل(پایان ترم)‬
‫‪)۳‬تحویل(‬
‫پایان ترم‬
‫؟‬
‫تعطیل(پایان ترم)‬
‫حضور دانش‌جویان در تمام جلسات درس ضروری است‪.‬‬
‫نمره نهایی(‪ = )۱۱۰‬پایان ترم(‪ +)۵۵‬تمرین(‪ + )۱۵‬پروژه (‪ + )۱۵‬امتحانک(‪ +)۱۵‬ارایه(‪)۱۰‬‬
‫پاسخ تمرین‌ها در روزهای معین شده باید تحویل داده شود‪.‬‬
‫تمرین‌ها در تاریخ‌های یاد شده از طریق اینترنت و یا اتاق تکثیر قابل دریافت هستند‪.‬‬
‫هر تمرین باید به طور جداگانه و گزارش پروژه روی کاغذ ‪ ،A4‬یک‌رو‪ ،‬با رعایت کلیه نکات ارایه‪ ،‬حاشیه مناسب از طرفین و باال و پایین صفحه‬
‫حتی‌االمکان تایپ شده‪ ،‬با درج مشخصات دانشجو روی تمام برگ‌ها تحویل گردد‪ .‬نیازی به استفاده از شیرازه و جلد نیست و‬
‫کافیست تنها گوشه سمت راست منگنه شود‪.‬‬
‫هر تمرین باید جداگانه تحویل شده و روی تمام برگ‌ها مشخصات دانشجو نوشته شده باشد‪.‬‬