‫تولید ربانهم از توصیف صوری(‪)۴۰-۶۸۴‬‬
‫جدول زمانبندی ترم‪ :‬دوم ‪۹2-۹3‬‬
‫مدرس‪:‬سید حسن میریان‬
‫مرجع‪:‬‬
‫سایت کتاب‪:‬‬
‫تاریخ‬
‫هفته‬
‫‪۱‬‬
‫‪۲‬‬
‫‪۳‬‬
‫‪۴‬‬
‫‪۵‬‬
‫‪۶‬‬
‫‪۷‬‬
‫تاریخ تهیه‪92/11/12 :‬‬
‫تاریخ ویرایش(‪93/2/22:)1‬‬
‫عنوان‬
‫‪11/1۲‬‬
‫مقدمه(توصیف صوری)‬
‫‪11/1۴‬‬
‫مقدمه(اجرای توصیف صوری)‬
‫‪11/۱۹‬‬
‫مقدمه(اجرای توصیف صوری)‬
‫‪11/2۱‬‬
‫مقدمه(اجرای توصیف صوری)‬
‫‪11/2۶‬‬
‫مقدمه(تقلید)‬
‫تمرینوپروژه‬
‫‪۹‬‬
‫‪۱۰‬‬
‫‪۱۱‬‬
‫‪۱۲‬‬
‫‪۱۳‬‬
‫‪۱۴‬‬
‫‪۱۵‬‬
‫‪۱۶‬‬
‫‪۱۷‬‬
‫ارایه‬
‫‪)۱‬مقدمات(‬
‫‪1‬‬
‫‪11/۲۸‬‬
‫مقدمه(تقلید)‬
‫‪12/0۳‬‬
‫جبر پاالیش مورگان(‪۱‬و‪)۲‬‬
‫‪12/0۵‬‬
‫جبر پاالیش مورگان(‪۳‬و‪)۴‬‬
‫‪12/1۰‬‬
‫جبر پاالیش مورگان(‪)۵‬‬
‫‪12/1۲‬‬
‫جبر پاالیش مورگان(‪)۵‬‬
‫‪12/1۷‬‬
‫جبر پاالیش مورگان(‪)۶‬‬
‫‪)۱‬تحویل(‬
‫‪12/۱۹‬‬
‫جبر پاالیش مورگان(‪)۷‬‬
‫‪)۲‬مورگان(‬
‫‪12/2۴‬‬
‫مثال‬
‫‪12/2۶‬‬
‫مثال‬
‫‪2‬‬
‫پنج شنبه ‪12/29‬‬
‫‪۸‬‬
‫امتحان‬
‫‪۳‬‬
‫تعطیل( روزملی شدن نفت)‬
‫‪01/1۶‬‬
‫جبر پاالیش مورگان(‪ ۸‬و‪۹‬و‪)۲۳‬‬
‫‪01/1۸‬‬
‫جبر پاالیش مورگان(‪)۲۳‬‬
‫‪01/2۳‬‬
‫متدولوژی ‪)۱(B‬‬
‫‪01/2۵‬‬
‫متدولوژی ‪)۲(B‬‬
‫‪01/3۰‬‬
‫متدولوژی ‪)۳(B‬‬
‫‪)۲‬تحویل(‬
‫‪02/0۱‬‬
‫متدولوژی ‪)۴(B‬‬
‫‪)۳‬متدولوژی‪(B‬‬
‫‪02/0۶‬‬
‫متدولوژی ‪ ۵(B‬ومثال)‬
‫‪۴‬‬
‫‪02/0۸‬‬
‫تئوری انواع(مقدمه)‬
‫‪02/1۳‬‬
‫تئوری انواع(تفسیر ساختی گزاره)‬
‫‪02/1۵‬‬
‫تئوری انواع(تفسیر ساختی گزاره)‬
‫‪02/2۰‬‬
‫تئوری انواع(توصیف صوری)‬
‫‪۶‬‬
‫‪(۱‬تقلید ‪ ،SUM‬مافی)‬
‫‪02/2۲‬‬
‫تئوری انواع(توصیف صوری)‬
‫‪02/2۷‬‬
‫تئوری انواع(تئوری مجموعه های ساختی)‬
‫‪)۳‬تحویل(‬
‫‪02/۲۹‬‬
‫تئوری انواع(اثبات درستی توصیف)‬
‫‪)۴‬تئوری انواع(‬
‫‪03/0۳‬‬
‫تئوری انواع(استخراج برنامه)‬
‫‪03/0۵‬‬
‫تئوری انواع(استخراج برنامه)‬
‫‪03/1۲‬و‪03/1۰‬‬
‫‪۵‬‬
‫ادامه ‪۵‬‬
‫‪ ،Perfect Developer(۲‬عشوریون)‬
‫‪۷‬‬
‫‪۸‬‬
‫تعطیل (خارج از تقویم آموزشی)‬
‫؟‬
‫تعطیل‬
‫؟‬
‫امتحان پایان ترم‬
‫حضور دانشجویان در تمام جلسات درس ضروری است‪.‬‬
‫‪)۴‬تحویل(‬
‫نمره نهایی(‪ = )۱۱۰‬پایان ترم(‪ +)۵۵‬تمرین(‪ + )۱۵‬پروژه (‪ + )۱۵‬امتحانک(‪ +)۱۵‬ارایه(‪)۱۰‬‬
‫پاسخ تمرینها در روزهای معین شده باید تحویل داده شود‪.‬‬
‫تمرینها در تاریخهای یاد شده از طریق اینترنت قابل دریافت هستند‪.‬‬
‫هر تمرین باید به طور جداگانه و گزارش پروژه روی کاغذ ‪ ، A4‬یکرو‪ ،‬با رعایت کلیه نکات ارایه‪ ،‬حاشیه مناسب از طرفین و باال و پایین صفحه‬
‫حتیاالمکان تایپ شده‪ ،‬با درج مشخصات دانشجو روی تمام برگها تحویل گردد‪ .‬نیازی به استفاده از شیرازه و جلد نیست و‬
‫کافیست تنها گوشه سمت راست منگنه شود‪.‬‬
‫هر تمرین باید جداگانه تحویل شده و روی تمام برگها مشخصات دانشجو نوشته شده باشد‪.‬‬
‫پایان ترم‬