‫توصیف و وار سی ربانهم اه(‪)۴۰-۷۴۵‬‬
‫تاریخ تهیه‪94/06/21 :‬‬
‫جدول زمانبندی ترم‪ :‬اول ‪9۴-9۵‬‬
‫تاریخ ویرایش(‪94/06/21:)0‬‬
‫مدرس‪:‬سید حسن میریان‬
‫مرجع‪Using Z: Specification, refinement, and proof, Jim Woodcock and Jim Davies, Prentice Hall, 1996 :‬‬
‫سایت کتاب‪/http://www.usingz.com :‬‬
‫هفته‬
‫‪۱‬‬
‫تاریخ‬
‫عنوان‬
‫‪06/28‬‬
‫چرا توصیف صوری‬
‫‪06/30‬‬
‫چیستی یا چگونگی؟‬
‫پنج شنبه ‪07/02‬‬
‫‪۲‬‬
‫تمرینوپروژه‬
‫تعطیل( عید سعید قربان)‬
‫‪07/04‬‬
‫‪)۱‬مقدمه(‬
‫‪07/06‬‬
‫‪)۲،۳‬جبر مسندات(‬
‫جمعه‬
‫‪07/10‬‬
‫‪۳‬‬
‫‪07/1۱‬‬
‫‪07/1۳‬‬
‫‪)۵‬مجموعهها(‬
‫تعیینگروه‬
‫‪07/18‬‬
‫‪)۵‬مجموعهها(‬
‫پیشنهاد سه برنامه‬
‫‪07/20‬‬
‫‪)۶‬تعریف (‬
‫‪07/25‬‬
‫‪)۷‬رابطهها(‬
‫‪07/27‬‬
‫‪)۸‬توابع(‬
‫‪۵‬‬
‫تعطیل( عید سعید غدیر)‬
‫‪(۱‬؟‪.‬؟)‬
‫‪۸‬‬
‫‪۹‬‬
‫‪۱۰‬‬
‫‪۱۱‬‬
‫تعطیل(تاسوعا)‬
‫تعطیل(عاشورا)‬
‫‪08/04‬‬
‫‪)۹‬دنبالهها(‬
‫نهایی کردن سه برنامه‬
‫‪08/۰۹‬‬
‫‪)۱۰‬نوع آزاد(‬
‫‪(۴،۵،۶،۷،۸)۱‬‬
‫‪08/1۱‬‬
‫‪)۱۰‬نوع آزاد(‬
‫‪08/1۶‬‬
‫‪08/1۸‬‬
‫‪)۱۱‬شِما(‬
‫‪08/2۳‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪08/2۵‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪0۸/۳۰‬‬
‫مثال‬
‫‪09/0۲‬‬
‫مثال‬
‫‪09/0۷‬‬
‫‪)۱۳‬ارتقاء(‬
‫‪09/۰۹‬‬
‫‪)۱۳‬ارتقاء چندگانه(‬
‫‪(۵‬؟و؟)‬
‫‪09/1۶‬‬
‫‪(۶‬؟و؟)‬
‫‪۵‬‬
‫‪(۷‬؟و؟)‬
‫‪)۱‬تحویل(‬
‫‪(۹،۱۰،۱۱،۱۲)۲‬‬
‫چهارشنبه ‪09/۱۱‬‬
‫‪۱۲‬‬
‫تعطیل(اربعین)‬
‫‪)۱۴‬پیش شرط و پیششرط و پس شرط صریح (‬
‫‪09/2۱‬‬
‫تعطیل(شهادت امام رضا(ع))‬
‫‪۱۵‬‬
‫‪(۹‬؟و؟)‬
‫‪)۱۵‬اثبات(‬
‫پنج شنبه ‪09/۱۹‬‬
‫‪۱۴‬‬
‫‪09/2۳‬‬
‫‪)۱۵‬اثبات(‬
‫‪(۱۳،۱۴،۱۵)۳‬‬
‫‪09/2۸‬‬
‫‪)۱۵‬اثبات(‬
‫‪)۲‬تحویل(‬
‫‪۰۹/۳۰‬‬
‫‪)۱۶‬پاالیش(‬
‫‪10/0۵‬‬
‫‪)۱۶‬پاالیش(‬
‫‪10/0۷‬‬
‫‪)۱۶‬پاالیش(‬
‫سه شنبه ‪۱۰/۰۸‬‬
‫‪10/1۲‬و‪10/1۴‬‬
‫‪10/22‬‬
‫‪(۸‬؟و؟)‬
‫‪۶‬‬
‫تعطیل(رحلت حضرت رسول اکرم(ص))‬
‫‪۱۳‬‬
‫‪(۴‬؟و؟)‬
‫‪۴‬‬
‫‪)۱۱‬شِما(‬
‫‪09/1۴‬‬
‫‪(۲‬؟و؟)‬
‫‪۳‬‬
‫‪08/۰۲‬‬
‫‪۷‬‬
‫‪۲‬‬
‫‪(۳‬؟‪.‬؟)‬
‫جمعه ‪08/۰۱‬‬
‫‪۶‬‬
‫ارایه‬
‫‪۱‬‬
‫‪)۴‬تساوی(‬
‫‪۴‬‬
‫امتحان‬
‫‪۸‬‬
‫‪(۱۰‬؟و؟)‬
‫‪(۱۱‬؟و؟)‬
‫‪۹‬‬
‫تعطیل(والدت حضرت رسول اکرم(ص))‬
‫تعطیل(کالس جبرانی )‬
‫‪۱۶‬‬
‫‪17‬‬
‫)امتحان پایان ترم(‬
‫حضور دانشجویان در تمام جلسات درس ضروری است‪.‬‬
‫‪)۳‬تحویل(‬
‫نمره نهایی(‪ = )۱۱۰‬پایان ترم(‪ +)۵۵‬تمرین(‪ + )۱۵‬پروژه (‪ + )۱۵‬امتحانک(‪ +)۱۵‬ارایه(‪)۱۰‬‬
‫پاسخ تمرینها در روزهای معین شده باید تحویل داده شود‪.‬‬
‫تمرینها در تاریخهای یاد شده از طریق اینترنت و یا اتاق تکثیر قابل دریافت هستند‪.‬‬
‫هر تمرین باید به طور جداگانه و گزارش پروژه روی کاغذ ‪ ،A4‬یکرو‪ ،‬با رعایت کلیه نکات ارایه‪ ،‬حاشیه مناسب از طرفین و باال و پایین صفحه‬
‫حتیاالمکان تایپ شده‪ ،‬با درج مشخصات دانشجو روی تمام برگها تحویل گردد‪ .‬نیازی به استفاده از شیرازه و جلد نیست و‬
‫کافیست تنها گوشه سمت راست منگنه شود‪.‬‬
‫هر تمرین باید جداگانه تحویل شده و روی تمام برگها مشخصات دانشجو نوشته شده باشد‪.‬‬
‫پایان ترم‬