1. محتوای آموزشی آنلاین: https://maktabkhooneh.org/course/%D9%85%D9%86%D8%B7%D9%82-%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C-mk190/
  2. دست‌نوشته‌ها: https://www.dropbox.com/s/9z23gsu11hoftbm/01.pdf?dl=0
  3. اسکایپ: https://join.skype.com/DiQcNu5sdEVE
  4. گروه تلگرام درس: https://t.me/logic_autumn_01_02
  5. پیوند صفحه‌ی درس مربوط به سالهای قبل (حاوی نمونه‌سؤالات امتحانات میان‌ترم و پایان‌ترم گذشته به همراه پاسخنامه‌ها)
  6. پاسخ‌نامه‌ی تمرین‌هایِ کتاب درس (فصل نخست، منطبق بر ویراست دوم، چاپ اول) pdf icon small
  7. کلاس‌های حل‌تمرین:
  8. تدریس‌یاران: آقایان امیرعباس سلطانی، کسری زردویان و محسن لیاقت.
  9. ساعات رفع اشکال (توسط استاد درس): دوشنبه‌ها ۱۲-۱۴
  10. نحوه‌ی محاسبه‌ی نمره‌ی نهاییِ درس: هر آزمون ۶ نمره و ۲نمره تمرین.
  11. کتاب‌های دیگر:   Enderton و van Dalen
  12. کتاب اصلی درس:  منطق ریاضی، محمّد اردشیر.
  13. تاریخ آزمون‌های میان‌ترم: یکشنبه ۸ آبان (میان‌ترم اول) و سه‌شنبه ۱۵ آذر (میان‌ترم دوم)
  14. این‌جا صفحه‌ی اخصاصیِ درس مبانیِ منطق است که در ترم پاییز سال۱۴۰۱ در گروه علوم‌کامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.