Print
Hits: 3630

  1. لیست نمرات شامل نمرات تمرین‌ها: pdf icon small 
  2. نمرات تمرین تا پایان وقت امروز ۹ بهمن اعلان خواهد شد و نهایتا نمره‌ی شما در سامانه‌ی آموزش ثبت خواهد شد. در صورتی که هرگونه صحبتی دارید یا این‌که می‌خواهید برگه‌ی امتحانی خود را ببینید، روز شنبه ۱۳ بهمن از ساعت ۱۴-۱۶ به دفتر من مراجعه کنید. از ارسال ای-میل و یا مراجعه‌ی خارج از وقت معین شده پرهیز کنید.
  3. سؤالات امتحان پایان‌ترم:‌pdf icon small   نمرات امتحان پایان‌ترم:pdf icon small
  4. سؤالات امتحان جبرانیِ میان‌ترم:‌pdf icon small  نمرات امتحان جبرانیِ میان‌ترم:‌pdf icon small
  5. نمرات امتحان میان‌ترم:‌pdf icon small جهت ملاحظه‌ی برگه‌ی امتحانی خود می‌توانید بعد از کلاس درس روز شنبه ساعت ۱۵ مراجعه کنید.
  6. سؤالات امتحان میان‌ترم pdf icon small
  7. برنامه‌ی Python که هم‌ارزی منطقی برای گزاره‌ها را تشخیص می‌دهد. با سپاس از آقای سپهر امیدوار. کدِ برنامه: text x python icon فایل توضیحات:  pdf icon small
  8. چند دنباله‌ی استنتاج هیلبرتی: pdf icon small
  9. چند درخت استنتاج طبیعی و رشته‌ای: pdf icon small
  10. اثبات معادل بودن دو حساب رشته‌ای با یک‌دیگر: یکی با مجموعه‌های معمولی و دیگری با مجموعه‌های مکرر. pdf icon small
  11. کانال تلگرامی برای پیگیری کلاس‌های تمرین: https://t.me/ut97logic  @ut97logic
  12. پیوند صفحه‌ی درس مربوط به سالهای قبل (حاوی نمونه‌سؤالات امتحانات میان‌ترم و پایان‌ترم گذشته به همراه پاسخنامه‌ها)
  13. پاسخ‌نامه‌ی تمرین‌هایِ کتاب درس (فصل نخست، منطبق بر ویراست دوم، چاپ اول) pdf icon small
  14. این برنامه‌ی اندروئیدی، با گرفتن یک گزاره از کاربر، در خروجی همان‌گو بودن یا نبودن آن را اعلام می‌کند. این برنامه در زبان #C توسط آقای مجتبیٰ گودرزی نوشته شده است. نسخه‌ی تحتِ ویندوزِ این برنامه را نیز می‌توانید از این‌جا دانلود کنید.سورس‌کدِ این برنامه‌ها را هم می‌توانید از این‌جا بردارید.
  15. کلاس‌های حل‌تمرین  خانم رئیسی:  شنبه ساعت ۱۲-۱۳ کلاس ۲۰۴  آقای عاملی: سه‌شنبه، ۱۲-۱۳ کلاس ۱۰۹
  16. تدریس‌یاران: خانم شمیم رئیسی و آقای علی عاملی
  17. ساعات رفع اشکال: شنبه‌ها و دوشنبه‌ها ساعت ۱۴:۳۰ الی ۱۶
  18. کتاب اصلی درس:  منطق ریاضی، محمّد اردشیر.
  19. تاریخ آزمون میان‌ترم: دوشنبه ۲۸ آبان
  20. نحوه‌ی محاسبه‌ی نمره: ۸ نمره میان‌ترم + ۱۰ نمره پایان‌ترم + ۲ نمره تمرین
  21. برای دریافت اخبار درس، ای-میل و شماره‌ی دانشجویی خود را در سمت چپ همین صفحه وارد کنید.
  22. این‌جا صفحه‌ی اخصاصیِ درس مبانیِ منطق است که در ترم پاییز سال ۱۳۹۷ در گروه علوم‌کامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.