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