1. برنامه‌ی آموزش غیر حضوری، یکشنبه ۱۷ فروردین ۱۳۹۸: مطالعه‌ی بخش‌های ۴.۳ و ۴.۴ و ۴.۵  از کتاب Martin. مباحث:‌ درخت اشتقاق، ابهام، فرم‌های نرمال.  می‌توانید برای تکمیل یادگیری، جلسه‌ی دهم مکتب‌خونه را ببینید.
  1. برنامه‌ی آموزش غیر حضوری، سه‌شنبه ۲۷ اسفند ۱۳۹۸: مطالعه‌ی بخش‌های ۴.۱ و ۴.۲ از کتاب Martin. مباحث:‌ زبان‌های مستقل از متن: معرفی و اثبات خواص مقدماتی بستاری.  می‌توانید برای تکمیل یادگیری، جلسه‌ی نهم مکتب‌خونه را ببینید.
  2. برنامه‌ی آموزش غیر حضوری، سه‌شنبه ۲۰ اسفند  و یکشنبه ۲۵ اسفند ۱۳۹۸: مطالعه‌ی بخش‌های ۳.۱ و ۳.۲ و ۳.۳ و ۳.۴ و ۳.۵ از کتاب Martin. مباحث:‌ NFA و معادل بودن آن با DFA.  می‌توانید برای تکمیل یادگیری، جلسات ۳ و۴ و ۵ مکتب‌خونه را ببینید.
  3. تمرین‌های سری دوم: pdf icon small
  4. سؤالات خود را می‌توانید از طریق گروه تلگرام یا ای-میل This email address is being protected from spambots. You need JavaScript enabled to view it. بپرسید.
  5. دستور‌العمل ارسال تمرین‌ها: لطفاً به کمک اسکنر یا نرم‌افزارهای موبایلی، برای هر سری تمرین، یک فایل pdf  خوانا با حجم حداکثر ۲ مگابایت تهیه و به آدرس This email address is being protected from spambots. You need JavaScript enabled to view it. ای-میل کنید. عنوان ای-میل من برای تمرین سری ۲: E2-Mojtaba Mojtahedi
  6. برنامه‌ی آموزش غیر حضوری، یکشنبه و سه‌شنبه ۱۱ و ۱۳ اسفند ۱۳۹۸ : مطالعه‌ی بخش‌های ۲.۴ و ۲.۶ از کتاب Martin. مباحث:‌ لِمِ Pumping و کمینه‌سازی تعداد اِستیت‌های DFA. می‌توانید برای تکمیل یادگیری، جلسات ۶ و۷ مکتب‌خونه را ببینید.
  7. تمرین‌های سری اول: pdf icon small
  8. کلاس حل تمرین: سه‌شنبه‌ها ساعت ۱۳-۱۴.
  9. گروه تلگرام درس: https://t.me/foundationofcomputabilitytheory
  10. پیوند صفحه‌ی درس مربوط به سال‌های قبل که حاویِ نمونه‌سؤالات امتحان میان‌ترم به همراه پاسخ‌نامه و پاسخ برخی تمرین‌ها می‌باشد.
  11. ماتون،  یک بازی اندروئیدی جالب برای یادگیری عبارات منظم و اتوماتون. گسترش‌دهندگان: آریا صادقی - آشنا گرگان‌محمدی
  12. زمان‌های  تشکیل کلاس‌های تمرین:‌ به زودی اعلام می‌شود
  13. کتاب اصلیِ درس: Introduction to Languages and the Theory of Computation , John Martin, 4th Edition, 2010
  14. کتاب کمکیِ درس: Introduction to the Theory of Computation, Michael Sipser, 3rd Edition, 2012
  15. آزمون میان‌ترم: سه‌شنبه ۲ اردیبهشت ۱۳۹۹ در کلاس درس
  16. تدریس‌یاران: خانم‌ها فاطمه حدّادی و ریحانه درفشی
  17. نحوه‌ی محاسبه‌ی نمره‌ی نهایی: ۱۰ نمره پایان‌ترم + ۸ نمره میان‌ترم + ۲نمره تمرین.
  18. این‌جا صفحه‌ی اختصاصی درس مبانی نظریه‌محاسبه است که در ترم دوم سال تحصیلی ۹۹-۱۳۹۸ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.