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