-
Details
-
-
Hits: 1727
- نمرات امتحان پایانترم: برای ملاحظهی برگههای امتحانی، روز شنبه ۶ بهمن، ساعت ۱۳ مراجعه کنید.
- سؤالات امتحان پایانترم:
- نمرات امتحان میانترم: برای ملاحظهی برگههای امتحانی، روز شنبه ۶ بهمن، ساعت ۱۳ مراجعه کنید.
- سؤالات امتحان میانترم:
- تمرین ۵: تمرینهای سری ۵.۱۴ شمارههایِ ۸ و ۹ و ۱۰ و ۱۲، سریِ ۵.۲۱ شمارههایِ ۲ و۴، از کتاب 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
- تاریخ آزمون میانترم:
سهشنبه ۲۸ آبان یکشنبه ۱۷ آذر
- نحوهی محاسبهی نمره: ۸ نمره میانترم + ۱۰ نمره پایانترم + ۲ نمره تمرین
- برای دریافت اخبار درس، ای-میل و شمارهی دانشجویی خود را در سمت چپ همین صفحه وارد کنید.
- اینجا صفحهی اخصاصیِ درس نظریّهی محاسبهی پیشرفته است که در ترم پاییز سال ۱۳۹۸ در گروه علومکامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.