1. سؤالات امتحان پایان‌ترم: pdf icon small
  2. نمرات امتحان میان‌ترم: pdf icon small  برای ملاحظه‌ی برگه‌ی امتحانی، روز شنبه، ۲۸ دی، ساعت ۱۳-۱۵ مراجعه کنید. 
  3. سؤالات امتحان میان‌ترم: pdf icon small
  4. اثبات معادل بودن مدل محاسباتی لاندا و گودل-کلینی: pdf icon small (نوشته از آقای کامیار میرزاوزیری)
  5. پاسخ یک سؤال  در مورد URM-کامل نبودنِ یک نسخه‌ی ضعیف شده از  URM: pdf icon small (پاسخ از آقای کامیار میرزاوزیری)
  6. تمرین سری اول pdf icon small. موعد تحویل: یک‌شنبه ۲۱ مهر، ساعت ۱۲، ابتدای کلاس حل‌تمرین.
  7. کتابِ اصلی درس: کتابِ اصلی درس را می‌توانید از این‌جا (نسخه‌ی djvu) یا این‌جا (نسخه‌ی pdf) دانلود کنید. عنوان کتاب: «Computability: An Introduction to Recursive Function Theory»، پدیدآورنده: «Nigel Cutland».
  8. آزمون‌ میان‌ترم:  سه‌شنبه ۲۸ آبان در کلاس درس
  9. نحوه‌ی محاسبه‌ی نمره: ۱۰ نمره پایان‌ترم، ۸ نمره میان‌ترم‌، ۲ نمره تمرین.
  10. تدریس‌یاردرس: آقای محمّدرضا اصولی
  11. برای آگاهی از اخبار درس، ای-میل خود را در سمت چپ همین صفحه وارد کنید.
  12. این‌جا صفحه‌ی اختصاصی درس نظریّه‌ی محاسبه است که در ترم نخست سال تحصیلی ۱۳۹۸-۹۹ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.