Theory of Computation II
- Details
- Hits: 2529
- جمع همه‌ی نمرات:
فرمول محاسبه: وزن میان‌ترم: ۸ (یا ۳) و پایان‌ترم ۱۰(یا ۱۵) + ۲نمره تمرین (هر کدام بیشتر باشد) - نمرات تمرین: توجّه: در صورتی که هرگونه اشکالی در نمره‌ی تمرین خود می‌بینید، به آقای محزون مراجعه کنید.
- جهت تحویل تمرین اضافه و پروژه‌ی درس و ارائه‌ی توضیحات (در صورت نیاز)، با همراه داشتن لپ‌تاپ (در صورتی که برنامه‌نویسی‌ای انجام داده‌اید)، روز
دوشنبه ۹ بهمن(به دلیل تعطیلی روز دوشنبه به سه‌شنبه ۱۰ بهمن منتقل شد) ساعت ۱۵:۳۰ مراجعه کنید. - نمرات پایان‌ترم: توجّه: جهت رؤیت برگه‌ی امتحانی خود، می‌توانید روز دوشنبه ۹ بهمن ساعت ۱۵ با همراه داشتن شماره‌ی ردیف مراجعه کنید.
- امتحان پایان‌ترم:
- نمرات میان‌ترم دوم: توجّه: جهت رؤیت برگه‌ی امتحانی خود، می‌توانید روز یکشنبه ۱۰ دی بعد از کلاس درس با همراه داشتن شماره‌ی ردیف مراجعه کنید.
- امتحان میان‌ترم دوم درس نظریّه محاسبه، به همراه پاسخ‌نامه‌ی تشریحی.
- تمرین‌های مناسب از کتاب Bridges (کتاب۱): تمرین‌های بخش‌های 5.7، 5.9، 5.12، 5.14 ، 5.21، 5.24 ، 5.25 و 5.29. توجّه: برای برخی از تمرین‌ها در انتهای کتاب پاسخ یا راه‌نمایی برای پاسخ دادن موجود است.
- تمرین‌های مناسب از کتاب Cutland: همه‌ی تمرین‌های صفحات 132-133، تمرین 2(b) از صفحه‌ی 123، تمرین‌های 1 و 3-6 از صفحه‌ی 119، تمرینات ص 106.
- کتاب‌هایی برای مطالعه‌ی بیشتر: کتاب ۱ و کتاب ۲
- نمرات میان‌ترم اوّل:
- امتحان میان‌ترم اول درس نظریّه محاسبه، به همراه پاسخ‌نامه‌ی تشریحی.
- نمرات آزمونک نخست:
- تمرین سری دوم:(موعد تحویل یکشنبه ۷ آبان) (بندهای ۳ و ۴ از تمرین ۴ امتیازی هستند: در برگه‌ی جداگانه تحویل داده شوند.)
- آدرس کانال تلگرام برای کلاس حل تمرین: https://t.me/ut_tc
- بخش دوم از این کتاب به مباحث تدریس شده در جلسات اولیه‌ی کلاس نزدیک است.
- کلاس حل تمرین: سه‌شنبه‌ها ساعت ۱۲ الی ۱۳. محل تشکیل کلاس ۲۰۴
- تمرین سری اول:(موعد تحویل یکشنبه ۱۶ مهر) نمرات تمرین ۱
- کتابِ اصلی درس: کتابِ اصلی درس را می‌توانید از این‌جا (نسخه‌ی djvu) یا این‌جا (نسخه‌ی pdf) دانلود کنید. عنوان کتاب: «Computability: An Introduction to Recursive Function Theory»، پدیدآورنده: «Nigel Cutland».
- آزمونهای میان‌ترم: ۹ آبان و ۱۹ آذر
- نحوه‌ی محاسبه‌ی نمره: ۱۰ نمره پایان‌ترم، ۸ نمره میان‌ترم‌ها، ۲ نمره تمرین.
- تدریس‌یاردرس: آقای محمّد محزون.
- برای آگاهی از اخبار درس، ای-میل خود را در سمت چپ همین صفحه وارد کنید.
- این‌جا صفحه‌ی اختصاصی درس نظریّه‌ی محاسبه است که در ترم نخست سال تحصیلی ۱۳۹۶-۹۷ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.
- Details
- Hits: 1861
- توجه بسیار مهم: در صورتی که می‌خواهید برگه‌ی امتحانی خود را ببینید، لطفاً روز شنبه ۱۳ بهمن از ساعت ۱۶ الی ۱۸ مراجعه کنید. هم‌چنین برای هرگونه صحبت پیرامون نمره‌ی نهایی خود می‌توانید در همان بازه‌ی زمانی مراجعه کنید.
- نمرات پروژه به همراه جمع نمرات:
- نمرات تمرین‌ها: در صورتی که هرگونه اعتراضی به نمره‌ی تمرین خود دارید، به تدریس‌یار درس مراجعه کنید.
- نمرات امتحان پایان‌ترم:
- سؤالات امتحان پایان‌ترم:
- نمرات امتحان میان‌ترم (مجدد و اصلی پس از بازبینی برگه‌ها) :
- سؤالات امتحان مجدد میان‌ترم:
- سؤالات امتحان میان‌ترم:
- سؤالات امتحان ربع‌ترم اول:
- تمرین سری دوم
- آزمون ربع‌ترم: چهارشنبه ۲ آبان، ساعت ۸ صبح. محل امتحان: کلاس ۱۰۹
- تمرین سری اول:
- کانال تلگرام مربوط به کلاس حل تمرین: https://t.me/ct_fall97 @ct_fall97
- کتابِ اصلی درس: کتابِ اصلی درس را می‌توانید از این‌جا (نسخه‌ی djvu) یا این‌جا (نسخه‌ی pdf) دانلود کنید. عنوان کتاب: «Computability: An Introduction to Recursive Function Theory»، پدیدآورنده: «Nigel Cutland».
- آزمون میان‌ترم: دوشنبه ۲۸ آبان در کلاس درس
- نحوه‌ی محاسبه‌ی نمره: ۱۰ نمره پایان‌ترم، ۸ نمره میان‌ترم‌ها، ۲ نمره تمرین.
- تدریس‌یاردرس: خانم گیتی امیدوار
- برای آگاهی از اخبار درس، ای-میل خود را در سمت چپ همین صفحه وارد کنید.
- این‌جا صفحه‌ی اختصاصی درس نظریّه‌ی محاسبه است که در ترم نخست سال تحصیلی ۱۳۹۷-۹۸ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.
- Details
- Hits: 1733
- نمرات امتحان پایان‌ترم: برای ملاحظه‌ی برگه‌ی امتحانی، روز شنبه، ۱۲ بهمن، ساعت ۱۳:۳۰-۱۵ مراجعه کنید (با همراه داشتن شماره‌ی ردیف که در لیست نمرات آمده).
- سؤالات امتحان پایان‌ترم:
- نمرات امتحان میان‌ترم: برای ملاحظه‌ی برگه‌ی امتحانی، روز شنبه، ۲۸ دی، ساعت ۱۳-۱۵ مراجعه کنید.
- سؤالات امتحان میان‌ترم:
- اثبات معادل بودن مدل محاسباتی لاندا و گودل-کلینی: (نوشته از آقای کامیار میرزاوزیری)
- پاسخ یک سؤال در مورد URM-کامل نبودنِ یک نسخه‌ی ضعیف شده از URM: (پاسخ از آقای کامیار میرزاوزیری)
- تمرین سری اول . موعد تحویل: یکشنبه ۲۱ مهر، ساعت ۱۲، ابتدای کلاس حل‌تمرین.
- کتابِ اصلی درس: کتابِ اصلی درس را می‌توانید از این‌جا (نسخه‌ی djvu) یا این‌جا (نسخه‌ی pdf) دانلود کنید. عنوان کتاب: «Computability: An Introduction to Recursive Function Theory»، پدیدآورنده: «Nigel Cutland».
- آزمون میان‌ترم: سه‌شنبه ۲۸ آبان در کلاس درس
- نحوه‌ی محاسبه‌ی نمره: ۱۰ نمره پایان‌ترم، ۸ نمره میان‌ترم، ۲ نمره تمرین.
- تدریس‌یاردرس: آقای محمّدرضا اصولی
- برای آگاهی از اخبار درس، ای-میل خود را در سمت چپ همین صفحه وارد کنید.
- این‌جا صفحه‌ی اختصاصی درس نظریّه‌ی محاسبه است که در ترم نخست سال تحصیلی ۱۳۹۸-۹۹ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.
- Details
- Hits: 922
- تمرین‌های سری سوم بارگذاری پاسخ تمرین در قالب pdf در سامانه‌ی ELearn
- تمرین‌های سری دوم بارگذاری پاسخ تمرین در قالب pdf در سامانه‌ی ELearn
- تمرین‌های سری اول بارگذاری پاسخ تمرین در قالب pdf در سامانه‌ی ELearn
- کانال تلگرام مربوط به کلاس حل تمرین: https://t.me/joinchat/Bm1wExwfd5Cmmh7Z4IecPw
- کتاب کمکی درس: Introduction to Languages and the Theory of Computation , John Martin, 4th Edition, 2010
- کتابِ اصلی درس: کتابِ اصلی درس را می‌توانید از این‌جا (نسخه‌ی pdf) دانلود کنید. عنوان کتاب: «Introduction to the Theory of Computation پدیدآورنده: «Michael Sipser»، ویراست سوم.
- آزمون میان‌ترم: دوشنبه ۲۸ آبان در کلاس درس
- نحوه‌ی ارزیابی و محاسبه‌ی نمره‌ی نهایی به این صورت است: نمره‌ی نهایی= تمرین (۴نمره) + پروژه (۶نمره) + ارزیابیِ مختصر شفاهی و آنلاین (۴نمره) + ارزیابیِ دل‌خواه (۶نمره). در این فرمول ارزیابیِ دل‌خواه به انتخاب دانشجو، به یکی از روش‌هایی که در پی می‌آید محاسبه خواهد شد: (الف) آزمون مفصل (حدود یک‌ساعته) شفاهی و آنلاین، (ب) «معدل دانشجو در سامانه‌ی آموزش به‌علاوه‌ی ۳» ضرب‌در ۳دَهُم. توجه۱: ارزیابی مختصر شفاهی، هم‌زمان با ارائه‌ی پروژه خواهد بود که جدول زمانیِ آن به زودی اعلام خواهد شد (پایان ترم خواهد بود). توجه۲: ارزیابی مفصل شفاهی در تاریخ امتحان پایان‌ترم درس به عمل خواهد آمد و در صورتی که دانشجو این نحوه را برای ارزیابی برگزیند، امکان تغییر آن پس از ارزیابی شفاهی وجود نخواهد داشت. توجه۳: در مورد موضوع پروژه‌ها، زمان ارائه‌ی پروژه‌ها و مهلت تحویل آن‌ها جداگانه توضیح خواهم داد.
- تدریس‌یاردرس: خانم ریحانه درفشی
- این‌جا صفحه‌ی اختصاصی درس نظریّه‌ی محاسبه است که در نیم‌سال نخست سال تحصیلی ۱۳۹۹-۱۴۰۰ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.
- Details
- Hits: 465
- کلاس‌های ضبط شده: https://drive.google.com/drive/folders/1-dmjdVMRfw3bcqTzUnXUW3ow5qlFhpbj?usp=sharing
اسکایپ: https://join.skype.com/HzH8fQi6TZ5d- کانال تلگرام مربوط به کلاس حل تمرین: https://t.me/ut_theory_of_computation_fall_01
- کتاب کمکی درس: Introduction to Languages and the Theory of Computation , John Martin, 4th Edition, 2010
- کتابِ اصلی درس: کتابِ اصلی درس را می‌توانید از این‌جا (نسخه‌ی pdf) دانلود کنید. عنوان کتاب: «Introduction to the Theory of Computation پدیدآورنده: «Michael Sipser»، ویراست سوم.
آزمونهای میان‌ترم: یکشنبه ۸ آبان (میان‌ترم اول) و سه‌شنبه ۱۵ آذر (میان‌ترم دوم)نحوه‌ی ارزیابی و محاسبه‌ی نمره‌ی نهایی به این صورت است: هر آزمون ۶ نمره + ۲ نمره تمرین- تدریس‌یاردرس: آقای پارسا تسبیح‌گو
- این‌جا صفحه‌ی اختصاصی درس نظریّه‌ی محاسبه است که در نیم‌سال نخست سال تحصیلی ۱۴۰۱-۱۴۰۲ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.
