دانشکده:دروس:22131:13982:main
−فهرست مندرجات
منطق ریاضی - نیمسال دوم 1398 - دکتر اردشیر
این مستند توسط دانشجویان درس آماده شدهاست، دانشگاه صنعتی شریف و یا ارائه دهندگان درس هیچ مسئولیتی نسبت به آن ندارند.
توضیحات درس
مرجع درس
منطق ریاضی - انتشارات هرمس - تألیف محمد اردشیر
جزئیات نمره دهی
- تمرین: 2 نمره
- میان ترم: 8 نمره
- پایان ترم: 10 نمره
جدول زمانی تمارین
شماره تمرین | تاریخ بارگذاری | موعد تحویل | محبث |
---|---|---|---|
۰ | ۹۸/۱۲/۵ | ۹۸/۱۲/۱۹ | زبان و معناشناسی منطق گزارهای |
۱ | ۹۸/۱۲/۱۹ | ۹۸/۱۲/۲۶ | نظریه برهان منطق گزارهای |
۲ | ۹۹/۱/۱۷ | ۹۹/۱/۲۴ | روش تابلو و قضایای درستی و تمامیت منطق گزارهای |
۳ | ۹۹/۱/۳۱ | ۹۹/۲/۱۴ | زبان و معناشناسی منطق مرتبه یک |
۴ | ۹۹/۲/۱۴ | ۹۹/۲/۲۸ | نظریه برهان منطق مرتبه یک |
۵ | ۹۹/۲/۲۸ | ۹۹/۳/۱۱ | روش تابلو و قضایای درستی و تمامیت منطق مرتبه یک |
جدول زمانی آزمونها
آزمون | تاریخ | مبحث |
---|---|---|
میانترم | ۹ صبح ۹۹/۱/۲۸ | فصل یکم کتاب، منطق گزارهای |
پایانترم | ۹ صبح ۹۹/۴/۳ | فصل دوم کتاب، منطق مرتبه یک |
البته دو جدول بالا به دلیل شرایط خاص کرونا تغییراتی کردند و زمان بارگذاری تمرینها و آزمونها دستخوش تغییراتی شدند.
جزئیات بیشتر
کلاس درس
کلاس درس در ابتدا به صورت حضوری برگزار میشد، بعد از شیوع بیماری کرونا در ایران، کلاسها مجازی شد، ابتدا استاد گفتند که فیلم کلاسهای منطق را از مکتبخونه از ویدئوهای منطق ریاضی - مجید علیزاده - دانشگاه تهران تماشا کنیم، در کنار آن تیم درس نمونهسوال قرار میدادند، پس از مدتی کلاسهای حل تمرین پابرجا شد و سپس کلاسهای درس به صورت حل تمرین و همخوانی کتاب شروع شد و ادامه پیدا کرد.
/opt/bitnami/dokuwiki/data/pages/دانشکده/دروس/22131/13982/main.txt · آخرین ویرایش: 2022/09/07 10:44 توسط 127.0.0.1