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

Details: Last Updated: 21 February 2021; Hits: 1696

نمرات امتحان پایان‌ترم: برای ملاحظه‌ی برگه‌های امتحانی، روز شنبه ۶ بهمن، ساعت ۱۳ مراجعه کنید.
سؤالات امتحان پایان‌ترم:
نمرات امتحان میان‌ترم: برای ملاحظه‌ی برگه‌های امتحانی، روز شنبه ۶ بهمن، ساعت ۱۳ مراجعه کنید.
سؤالات امتحان میان‌ترم:
تمرین ۵: تمرین‌های سری ۵.۱۴ شماره‌هایِ ۸ و ۹ و ۱۰ و ۱۲، سریِ ۵.۲۱ شماره‌هایِ ۲ و۴، از کتاب Bridges. موعد تحویل، سه‌شنبه ۱۹ آذر.
تمرین۴: تمرین ۲ ص ۶۲، تمرین ۵ و ۶ از ص۶۳، تمرین ۵ از ص ۷۸. موعد تحویل: یکشنبه ۱۹ آبان.
تمرین ۳: تمرین ۷ صفحه‌ی ۵۵، تمرین ۹ صفحه‌ی ۵۹ و تمرینی که در ادامه می‌آید: «اگر در مدل محاسباتی دِیویس، دستورِ \(V\leftarrow V-1\) با دستورِ \(V\leftarrow 0\) جایگزین شود، آیا کلاسِ توابعِ محاسبه‌پذیرِ دیویس تغییری می‌کند؟» موعد تحویل: سه‌شنبه ۲۳ مهر.
تمرین سری دوم: تمرین‌های ۵ و ۶ و ۷ و ۸ و ۹ از صفحات ۴۷ و ۴۸ کتاب Davis. (بخشِ Some Primitive Recursive Functions) موعد تحویل: سه‌شنبه ۱۶ مهر ۱۳۹۸.
تمرین سری اول: در کلاس درس گفته شده.
کتاب کمکی مقدّماتی: Computability theory. An introduction to recursion theory, Herbert Enderton
کتاب‌ دوم درس: Computability: A Mathematical Sketchbook, Douglas S. Bridges
کتاب اوّل درس: Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science, Martin Davis & Elaine J. Weyuker
تاریخ آزمون میان‌ترم: ~~سه‌شنبه ۲۸ آبان~~ یکشنبه ۱۷ آذر
نحوه‌ی محاسبه‌ی نمره: ۸ نمره میان‌ترم + ۱۰ نمره پایان‌ترم + ۲ نمره تمرین
برای دریافت اخبار درس، ای-میل و شماره‌ی دانشجویی خود را در سمت چپ همین صفحه وارد کنید.
این‌جا صفحه‌ی اخصاصیِ درس نظریّه‌ی محاسبه‌ی پیشرفته است که در ترم پاییز سال ۱۳۹۸ در گروه علوم‌کامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.

Education