این مستند توسط دانشجویان درس آماده شدهاست، دانشگاه صنعتی شریف و یا ارائه دهندگان درس هیچ مسئولیتی نسبت به آن ندارند.
منطق ریاضی - انتشارات هرمس - تألیف محمد اردشیر
شماره تمرین | تاریخ بارگذاری | موعد تحویل | محبث |
---|---|---|---|
۰ | ۹۸/۱۲/۵ | ۹۸/۱۲/۱۹ | زبان و معناشناسی منطق گزارهای |
۱ | ۹۸/۱۲/۱۹ | ۹۸/۱۲/۲۶ | نظریه برهان منطق گزارهای |
۲ | ۹۹/۱/۱۷ | ۹۹/۱/۲۴ | روش تابلو و قضایای درستی و تمامیت منطق گزارهای |
۳ | ۹۹/۱/۳۱ | ۹۹/۲/۱۴ | زبان و معناشناسی منطق مرتبه یک |
۴ | ۹۹/۲/۱۴ | ۹۹/۲/۲۸ | نظریه برهان منطق مرتبه یک |
۵ | ۹۹/۲/۲۸ | ۹۹/۳/۱۱ | روش تابلو و قضایای درستی و تمامیت منطق مرتبه یک |
آزمون | تاریخ | مبحث |
---|---|---|
میانترم | ۹ صبح ۹۹/۱/۲۸ | فصل یکم کتاب، منطق گزارهای |
پایانترم | ۹ صبح ۹۹/۴/۳ | فصل دوم کتاب، منطق مرتبه یک |
البته دو جدول بالا به دلیل شرایط خاص کرونا تغییراتی کردند و زمان بارگذاری تمرینها و آزمونها دستخوش تغییراتی شدند.
کلاس درس در ابتدا به صورت حضوری برگزار میشد، بعد از شیوع بیماری کرونا در ایران، کلاسها مجازی شد، ابتدا استاد گفتند که فیلم کلاسهای منطق را از مکتبخونه از ویدئوهای منطق ریاضی - مجید علیزاده - دانشگاه تهران تماشا کنیم، در کنار آن تیم درس نمونهسوال قرار میدادند، پس از مدتی کلاسهای حل تمرین پابرجا شد و سپس کلاسهای درس به صورت حل تمرین و همخوانی کتاب شروع شد و ادامه پیدا کرد.