نظریه محاسبه پیشرفته، پاییز ۹۹

تمرین‌های سری ششم:
تمرین‌های سری پنجم:
تمرین‌های سری چهارم:
تمرین‌های سری سوم:
تمرین‌های سری دوم:
تمرین‌های سری اول:
گروه تلگرام: @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
تدریس‌یار: خانم دنیز طهمورثی
نحوه‌ی محاسبه‌ی نمره:
این‌جا صفحه‌ی اخصاصیِ درس نظریّه‌ی محاسبه‌ی پیشرفته است که در ترم پاییز سال ۱۳۹۹ در گروه علوم‌کامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.

Education