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