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