1. آموزش مَجازی، یکشنبه و سه‌شنبه ۲۸ و ۳۰ اردیبهشت ۱۳۹۹: منطق ریاضی، جلسه‌ی بیست و دوم (قضیه تمامیت مرتبه اول II) از مکتب‌خونه.
  2. آموزش مَجازی، یکشنبه و سه‌شنبه ۲۱ و ۲۳ اردیبهشت ۱۳۹۹: منطق ریاضی، جلسه‌ی بیست و یکم (قضیه تمامیت مرتبه اول I) از مکتب‌خونه.
  3. اصول و قواعد دستگاه‌های استنتاجی: pdf icon small چند استنتاج در دستگاه استنتاج طبیعی و رشته‌ای: pdf icon small چند استنتاج در دسگاه هیلبرتی: pdf icon small  پاسخ‌نامه‌ی فصل ۱ کتاب دکتر اردشیر: pdf icon small
  4. تمرین‌های سری چهارم: pdf icon small
  5. آموزش مَجازی، یکشنبه و سه‌شنبه ۱۴ و ۱۶ اردیبهشت ۱۳۹۹: منطق ریاضی، جلسه‌ی بیستم (نظریه برهان برای منطق مرتبه اول) از مکتب‌خونه.
  6. آموزش مَجازی، یکشنبه و سه‌شنبه ۷ و ۹ اردیبهشت ۱۳۹۹: منطق ریاضی،  جلسه هجدهم (جانشینی در منطق مرتبه اول) و نوزدهم (نظریه برهان برای منطق مرتبه اول) از مکتب‌خونه.
  7. آموزش مَجازی، یکشنبه و سه‌شنبه ۳۱ فروردین و ۲ اردیبهشت ۱۳۹۹: منطق ریاضی،  جلسه شانزدهم (نشاندن و زیرساخت) و هفدهم (حل نمونه‌سؤال میان‌ترم) از مکتب‌خونه.
  8. آموزش مَجازی، یکشنبه و سه‌شنبه ۲۴ و ۲۶  فروردین ۱۳۹۹: منطق ریاضی،  جلسه چهاردهم منطق مرتبه اول(معنا شناسی) و جلسه پانزدهم - منطق مرتبه اول _ادامه از مکتب‌خونه.
  9. آموزش مَجازی، سه‌شنبه ۲۰ فروردین ۱۳۹۹: منطق ریاضی، جلسه‌ی سیزدهم (منطق مرتبه‌اول) از مکتب‌خونه. جهت تکمیل یادگیری می‌توانید ویراست  پنجم کتاب Logic and Structure نوشته‌ی Dirk van Dalen  را ببینید.
  10. آموزش مَجازی، یکشنبه ۱۸ فروردین ۱۳۹۹: منطق ریاضی، جلسه‌ی دهم (معناشناسی جبری) از مکتب‌خونه.
  11. تمرین‌های سری سوم: pdf icon small
  12. آموزش مَجازی، سه‌شنبه ۲۷ اسفند ۹۸: منطق ریاضی، جلسه‌ی نهم (اثبات قضیه‌ی تمامیت) از مکتب‌خونه.
  13. آموزش مَجازی، یکشنبه ۲۵ اسفند ۹۸: منطق ریاضی، جلسه‌ی هشتم (قضیه‌ی تمامیت) از مکتب‌خونه.
  14. آموزش مَجازی، سه‌شنبه ۲۰ اسفند ۹۸: منطق ریاضی، جلسه‌ی هفتم (معرفی دستگاه استنتاج طبیعی برای منطق گزاره ها(NP)) از مکتب‌خونه.
  15. پاسخ‌نامه‌ی تمرین‌های سری دوم: pdf icon small
  16. اگر در مورد مباحث درس سؤالی دارید، می‌توانید از طریق ای-میل This email address is being protected from spambots. You need JavaScript enabled to view it. و یا در گروه تلگرام بپرسید.
  17. دستور‌العمل ارسال تمرین‌ها: لطفاً به کمک اسکنر یا نرم‌افزارهای موبایلی، برای هر سری تمرین، یک فایل pdf  خوانا با حجم حداکثر ۲ مگابایت تهیه و به آدرس This email address is being protected from spambots. You need JavaScript enabled to view it. ای-میل کنید. عنوان ای-میل من برای تمرین سری ۲: E2-Mojtaba Mojtahedi
  18. آدرس ای-میل جهت ارسال تمرین‌ها، ارسال سؤال و ...: This email address is being protected from spambots. You need JavaScript enabled to view it.
  19. آموزش مَجازی، سه‌شنبه ۱۳ اسفند ۹۸: منطق ریاضی، جلسه‌ی ششم (نظریه برهان: روش اصل موضوعی) از مکتب‌خونه.
  20. آموزش مَجازی، یکشنبه ۱۱ اسفند ۹۸: منطق ریاضی، جلسه‌ی پنجم (شروع نظریه‌ی برهان) از مکتب‌خونه.
  21. تمرین‌های سری دوم: pdf icon small
  22. تمرین‌های سری اول: pdf icon small
  23. نمرات تمرین
  24.  گروه تلگرام درس: https://t.me/LogicSpring99
  25. پیوند صفحه‌ی درس مربوط به سالهای قبل (حاوی نمونه‌سؤالات امتحانات میان‌ترم و پایان‌ترم گذشته به همراه پاسخنامه‌ها)
  26. پاسخ‌نامه‌ی تمرین‌هایِ کتاب درس (فصل نخست، منطبق بر ویراست دوم، چاپ اول) pdf icon small
  27. این برنامه‌ی اندروئیدی، با گرفتن یک گزاره از کاربر، در خروجی همان‌گو بودن یا نبودن آن را اعلام می‌کند. این برنامه در زبان #C توسط آقای مجتبیٰ گودرزی نوشته شده است. نسخه‌ی تحتِ ویندوزِ این برنامه را نیز می‌توانید از این‌جا دانلود کنید.سورس‌کدِ این برنامه‌ها را هم می‌توانید از این‌جا بردارید.
  28. کلاس‌های حل‌تمرین: یکشنبه‌ها ساعت ۱۲-۱۳
  29. تدریس‌یاران: آقایان مهرداد ریاحی و کامیار میرزاوزیری
  30. ساعات رفع اشکال: شنبه‌ها و دوشنبه‌ها ساعت ۱۴:۳۰ الی ۱۶
  31. نحوه‌ی محاسبه‌ی نمره‌ی نهاییِ درس:۱۰ نمره پایان‌ترم، ۸ نمره میان‌ترم و ۲نمره تمرین.
  32. کتاب‌های دیگر:   Enderton و van Dalen
  33. کتاب اصلی درس:  منطق ریاضی، محمّد اردشیر.
  34. تاریخ آزمون میان‌ترم: یک‌شنبه ۷ اردیبهشت
  35. این‌جا صفحه‌ی اخصاصیِ درس مبانیِ منطق است که در ترم بهار سال۱۳۹۸ (نیم‌سال دوم سال تحصیلی ۹۸-۹۹) در گروه علوم‌کامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.