- لیست نمرات شامل نمرات تمرینها:
- نمرات تمرین تا پایان وقت امروز ۹ بهمن اعلان خواهد شد و نهایتا نمرهی شما در سامانهی آموزش ثبت خواهد شد. در صورتی که هرگونه صحبتی دارید یا اینکه میخواهید برگهی امتحانی خود را ببینید، روز شنبه ۱۳ بهمن از ساعت ۱۴-۱۶ به دفتر من مراجعه کنید. از ارسال ای-میل و یا مراجعهی خارج از وقت معین شده پرهیز کنید.
- سؤالات امتحان پایانترم:
نمرات امتحان پایانترم:
- سؤالات امتحان جبرانیِ میانترم:
نمرات امتحان جبرانیِ میانترم:
- نمرات امتحان میانترم:
جهت ملاحظهی برگهی امتحانی خود میتوانید بعد از کلاس درس روز شنبه ساعت ۱۵ مراجعه کنید.
- سؤالات امتحان میانترم
- برنامهی Python که همارزی منطقی برای گزارهها را تشخیص میدهد. با سپاس از آقای سپهر امیدوار. کدِ برنامه:
فایل توضیحات:
- چند دنبالهی استنتاج هیلبرتی:
- چند درخت استنتاج طبیعی و رشتهای:
- اثبات معادل بودن دو حساب رشتهای با یکدیگر: یکی با مجموعههای معمولی و دیگری با مجموعههای مکرر.
- کانال تلگرامی برای پیگیری کلاسهای تمرین: https://t.me/ut97logic @ut97logic
- پیوند صفحهی درس مربوط به سالهای قبل (حاوی نمونهسؤالات امتحانات میانترم و پایانترم گذشته به همراه پاسخنامهها)
- پاسخنامهی تمرینهایِ کتاب درس (فصل نخست، منطبق بر ویراست دوم، چاپ اول)
- این برنامهی اندروئیدی، با گرفتن یک گزاره از کاربر، در خروجی همانگو بودن یا نبودن آن را اعلام میکند. این برنامه در زبان #C توسط آقای مجتبیٰ گودرزی نوشته شده است. نسخهی تحتِ ویندوزِ این برنامه را نیز میتوانید از اینجا دانلود کنید.سورسکدِ این برنامهها را هم میتوانید از اینجا بردارید.
- کلاسهای حلتمرین خانم رئیسی: شنبه ساعت ۱۲-۱۳ کلاس ۲۰۴ آقای عاملی: سهشنبه، ۱۲-۱۳ کلاس ۱۰۹
- تدریسیاران: خانم شمیم رئیسی و آقای علی عاملی
- ساعات رفع اشکال: شنبهها و دوشنبهها ساعت ۱۴:۳۰ الی ۱۶
- کتاب اصلی درس: منطق ریاضی، محمّد اردشیر.
- تاریخ آزمون میانترم: دوشنبه ۲۸ آبان
- نحوهی محاسبهی نمره: ۸ نمره میانترم + ۱۰ نمره پایانترم + ۲ نمره تمرین
- برای دریافت اخبار درس، ای-میل و شمارهی دانشجویی خود را در سمت چپ همین صفحه وارد کنید.
- اینجا صفحهی اخصاصیِ درس مبانیِ منطق است که در ترم پاییز سال ۱۳۹۷ در گروه علومکامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.
Education
مبانی منطق، پاییز ۱۳۹۷
- Details
- Hits: 3749