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