- تمرینهای سری ششم:
- تمرینهای سری پنجم:
- تمرینهای سری چهارم:
- تمرینهای سری سوم:
- تمرینهای سری دوم:
- تمرینهای سری اول:
- گروه تلگرام: @atcfall99
- کتاب کمکی مقدّماتی: Computability theory. An introduction to recursion theory, Herbert Enderton
- کتاب سوم درس: میتوانید از اینجا (نسخهی pdf) دانلود کنید. عنوان کتاب: «Introduction to the Theory of Computation پدیدآورنده: «Michael Sipser»، ویراست سوم.
- کتاب دوم درس: Computability: A Mathematical Sketchbook, Douglas S. Bridges
- کتاب اوّل درس: Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science, Martin Davis & Elaine J. Weyuker
- تدریسیار: خانم دنیز طهمورثی
- نحوهی محاسبهی نمره:
- اینجا صفحهی اخصاصیِ درس نظریّهی محاسبهی پیشرفته است که در ترم پاییز سال ۱۳۹۹ در گروه علومکامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.