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