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