‫تولید ربانهم از توصیف صوری(‪)۴۰-۶۸۴‬‬
‫جدول زمانبندی ترم‪ :‬دوم ‪۹2-۹3‬‬
‫مدرس‪ :‬سید حسن میریان‬
‫مرجع‪:‬‬
‫سایت کتاب‪:‬‬
‫هفته‬
‫‪۱‬‬
‫‪۲‬‬
‫تاریخ‬
‫تاریخ تهیه‪۹۳/۱۱/۰۸ :‬‬
‫تاریخ ویرایش(‪۹۴/۰۲/۰۵:)۲‬‬
‫عنوان‬
‫‪11/11‬‬
‫مقدمه(توصیف صوری)‬
‫‪11/13‬‬
‫مقدمه(اجرای توصیف صوری)‬
‫‪11/۱8‬‬
‫مقدمه(اجرای توصیف صوری)‬
‫‪11/20‬‬
‫مقدمه(اجرای توصیف صوری)‬
‫تمرینوپروژه‬
‫‪۴‬‬
‫‪۵‬‬
‫‪۶‬‬
‫‪۷‬‬
‫‪۹‬‬
‫‪۱۰‬‬
‫‪۱۱‬‬
‫‪۱۲‬‬
‫‪۱۳‬‬
‫‪۱۴‬‬
‫‪۱۵‬‬
‫تعطیل(روزپبروزی انقالب)‬
‫‪11/25‬‬
‫مقدمه(تقلید)‬
‫‪11/۲7‬‬
‫مقدمه(تقلید)‬
‫‪12/02‬‬
‫جبر پاالیش مورگان(‪۱‬و‪)۲‬‬
‫‪12/04‬‬
‫جبر پاالیش مورگان(‪۳‬و‪)۴‬‬
‫‪12/09‬‬
‫جبر پاالیش مورگان(‪)۴‬‬
‫‪12/11‬‬
‫جبر پاالیش مورگان(‪)۵‬‬
‫‪12/16‬‬
‫جبر پاالیش مورگان(‪)۶‬‬
‫‪12/۱8‬‬
‫جبر پاالیش مورگان(‪)۷‬‬
‫‪12/23‬‬
‫مثال‬
‫‪12/25‬‬
‫مثال‬
‫جمعه ‪12/29‬‬
‫‪۸‬‬
‫‪01/15‬‬
‫ارایه‬
‫‪۱‬‬
‫چهارشنبه ‪11/22‬‬
‫‪۳‬‬
‫امتحان‬
‫‪۱‬‬
‫‪)۱‬مقدمات(‬
‫‪۲‬‬
‫‪۳‬‬
‫‪2‬‬
‫‪۴‬‬
‫‪۳‬‬
‫‪)۲‬مورگان(‬
‫‪)۱‬تحویل(‬
‫تعطیل(روزملی شدن نفت)‬
‫‪۵‬‬
‫جبر پاالیش مورگان(‪ ۸‬و‪۹‬و‪)۲۳‬‬
‫‪01/17‬‬
‫جبر پاالیش مورگان(‪)۲۳‬‬
‫‪01/22‬‬
‫متدولوژی ‪)۱(B‬‬
‫‪01/24‬‬
‫متدولوژی ‪)۲(B‬‬
‫‪01/29‬‬
‫متدولوژی ‪)۳(B‬‬
‫‪)۲‬تحویل(‬
‫‪01/31‬‬
‫متدولوژی ‪ ۴(B‬و ‪)۵‬‬
‫‪)۳‬متدولوژی‪(B‬‬
‫‪02/05‬‬
‫تئوری انواع(مقدمه ‪( ،‬تفسیر ساختی گزاره)‬
‫‪02/07‬‬
‫تئوری انواع(تناظرگزاره و مجموعه و توصیف)‬
‫‪۴‬‬
‫‪۶‬‬
‫‪02/12‬‬
‫‪۷‬‬
‫‪۵‬‬
‫‪(۸‬مظلومی‪،‬مقیمی‪)Zlive-‬‬
‫‪۹‬‬
‫تعطیل(‪ ۱۳‬رجب)‬
‫‪02/14‬‬
‫تئوری انواع(تئوری مجموعههای ‪ ZF‬و ‪)CZ‬‬
‫‪02/19‬‬
‫تئوری انواع(توصیف متناظر با مجموعه)‬
‫‪02/21‬‬
‫تئوری انواع(اثبات درستی توصیف)‬
‫‪02/26‬‬
‫‪۶‬‬
‫‪(۱۰‬هاشمی‪،‬کمالی‪)B-‬‬
‫تعطیل (مبعث) ‪)۳‬تحویل(‬
‫‪02/28‬‬
‫تئوری انواع(قواعد استنتاج)‬
‫‪03/02‬‬
‫تئوری انواع(استخراج برنامه)‬
‫‪03/04‬‬
‫تئوری انواع(استخراج برنامه)‬
‫‪۷‬‬
‫‪)۴‬تئوری انواع(‬
‫‪(۱۱‬عباسی‪،‬مبشر‪،‬پورجم‪)Zans -‬‬
‫‪۱۶‬‬
‫‪03/11‬و‪03/09‬‬
‫)کالسهای جبرانی(‬
‫‪۱۷‬‬
‫‪۰۳/۱۸‬و ‪۰۳/۱۶‬‬
‫تعطیل(خارج از تقویم آموزشی)‬
‫؟‬
‫امتحان پایان ترم‬
‫حضور دانشجویان در تمام جلسات درس ضروری است‪.‬‬
‫‪)۴‬تحویل(‬
‫نمره نهایی(‪ = )۱۱۰‬پایان ترم(‪ +)۵۵‬تمرین(‪ + )۱۵‬پروژه (‪ + )۱۵‬امتحانک(‪ +)۱۵‬ارایه(‪)۱۰‬‬
‫پاسخ تمرینها در روزهای معین شده باید تحویل داده شود‪.‬‬
‫تمرینها در تاریخهای یاد شده از طریق اینترنت قابل دریافت هستند‪.‬‬
‫هر تمرین باید به طور جداگانه و گزارش پروژه روی کاغذ ‪ ،A4‬یکرو‪ ،‬با رعایت کلیه نکات ارایه‪ ،‬حاشیه مناسب از طرفین و باال و پایین صفحه‬
‫حتیاالمکان تایپ شده‪ ،‬با درج مشخصات دانشجو روی تمام برگها تحویل گردد‪ .‬نیازی به استفاده از شیرازه و جلد نیست و‬
‫کافیست تنها گوشه سمت راست منگنه شود‪.‬‬
‫هر تمرین باید جداگانه تحویل شده و روی تمام برگها مشخصات دانشجو نوشته شده باشد‪.‬‬
‫پایان ترم‬