Theoretical CS
- Details
- Hits: 2548
- این‌جا صفحه‌ی اخصاصیِ درس نظریّه‌ی علوم کامپیوتر است که در ترم پاییز سال ۱۳۹۵ در گروه علوم‌کامپیوتر دانشگاه تهران توسط سیّدمجتبی مجتهدی ارائه شده است.
- برای دریافت اخبار درس، ای-میل و شماره‌ی دانشجویی خود را در سمت چپ همین صفحه وارد کنید.
- نحوه‌ی محاسبه‌ی نمره: ۸ نمره میان‌ترم + ۱۲ نمره پایان‌ترم
- تاریخ آزمون میان‌ترم: شنبه ۱۳ آذر
- کتاب اوّل درس: Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science, Martin Davis & Elaine J. Weyuker
- کتاب دوم درس: Computability: A Mathematical Sketchbook, Douglas S. Bridges
- کتاب کمکی مقدّماتی: Computability theory. An introduction to recursion theory, Herbert Enderton
- ساعات رفع اشکال: یکشنبه‌ها و دوشنبه‌ها ساعت ۱۳ الی ۱۴
- آزمونکِ نخست و نمراتِ کسب شده از آن.
- کلاس رفع‌اشکال و حل نمونه‌سؤال، در کلاس ۳۰۰، روزهای سه‌شنبه ساعت ۱۱:۴۵-۱۲:۴۵ برگزار می‌شود.
- پاسخ تمرین ۷ از صفحه‌ی ۲۵ کتاب درس (کدِ برنامه‌ای در زبانِ برنامه‌نویسی مجرّد برای محاسبه‌ی ب.م.م). با سپاس از آقای آزاده که زحمت تایپ آن را کشیدند.
- آزمونکِ دوم و نمراتِ کسب شده از آن.
- آزمونکِ سوم و نمراتِ کسب شده از آن.
- تمرین‌های سری اول. تمرین‌های ۲ و ۳و ۵ از صفحه ۷۸-۷۹، تمرین‌های ۲، ۳ ، ۴ ، ٦، ٧، ٩، ١٠ و ١١ از صفحات ۸۴-٨٥ کتاب درس (بند ۵) موعد تحویل: شنبه ٢٢ آبان ساعت ۱٠ در کلاس درس.
- برنامه‌ی ارائه‌ی بخش‌هایی از درس توسط دانشجویان.
- آزمونکِ چهارم و نمراتِ کسب شده از آن.
- تمرین‌های سری دوم. تمرین‌های ۳و ۴ از صفحه ۸۷-۸۸، تمرین‌های ۹، ۱۲، ۱۳ و ۱۴ از صفحات ۹۴-۹٥، تمرین ۸ از صفحه‌ی ۹۷، تمرین‌های ۱۱، ۱۲، ۱۳ و ۱۴ از صفحه‌ی ۱۰۵ کتاب درس (بند ۵) موعد تحویل: سه‌شنبه ۹ آذر ساعت ۱۲ در کلاس درس.
- پاسخ چند تمرین از کتاب Davis
- سؤالات و پاسخ‌نامه‌ی آزمونِ میان‌ترم و نمراتِ کسب شده از آن.
- تمرین‌های سری سوم: همه‌ی تمرین‌های ۱-۱۳ به‌جز ۱۲ از صفحات ۱۳۲-۱۳۳ از کتابِ Cutland. (صفحه‌ی مربوطه را از این‌جا می‌توانید دانلود کنید) موعد تحویل: سه‌شنبه ۷ دی در کلاس تمرین.
- \(\mathscr{L}\) خروجیِ کُدِ \mathscr{L} در TEX است.
- سؤالات آزمونِ پایان‌ترم و نمراتِ کسب شده از آن.
- نمرات نهایی ارسالی به آموزش در درس نظریه‌ی ع.ک.
- Details
- Hits: 2939
- جمع نمرات شامل نمرات تمرین و پروژه
- نمرات آزمون پایان‌ترم:
- سؤالات آزمون پایان‌ترم:
- نمرات آزمون میان‌ترم: برای بازبینی برگه‌ی خود می‌توانید بعد از کلاس دررس در تاریخ سه‌شنبه ۴ دی مراجعه کنید.
- سؤالات آزمون میان‌ترم:
- نمرات امتحان ربع‌ترم:
- سؤالات آزمون ربع‌ترم:
- تمرین سری ششم: تمرین‌های ۷ و ۸ صفحه ۹۷، ۲ و ۱۱ و ۱۳ از صفحات ۱۰۴-۱۰۵. مهلت ارسال: یکشنبه ۲۷ آبان ساعت ۱۰ صبح.
- تمرین سری پنجم: تمرین‌های ۴ و ۶ ص ۷۰، ۲ و ۳ و ۴ و ۵ ص ۷۸، ۵و۶ ص ۸۴، ۱۲و۱۳و۱۴ ص ۹۵. مهلت ارسال:
سه‌شنبه، ۱۵ آبان، یکشنبه ۲۰ آبان ساعت ۱۰ صبح. - پیوند حاوی پاسخ‌نامه‌ی چند تمرین از کتاب دیویس، نمونه‌سؤالات آزمونک‌ها و آزمون‌های پیشین به همراه پاسخ‌نامه.
- لیست تحویل تمرین‌ها: رنگ سبز به معنی تحویل به‌موقع است. رنگ زرد به معنی تحویل با تأخیر است. عدد قید شده به معنای تعداد روزهای تأخیر در تحویل تمرین است.(برای تمرین‌های سری دوم، به دلیل اشکالاتی که در سیستم پیش آمد، تاخیرها لحاظ نشده)
- آزمون ربع ترم: تاریخ سه‌شنبه ۱ آبان ساعت ۱۵ در کلاس ۱۰۹.
- تمرین امتیازی ۱: تمرین ۵ و ۶ از ص ۶۲ و ۶۳. کدگذاری با استفاده از قضیه‌ی باقیمانده چینی.
- تمرین سری چهارم: تمرین‌های ۳ و ۶ از ص ۵۴-۵۵، تمرین ۹ از ص ۵۹، تمرین ۲و۴ از ص ۶۲. مهلت ارسال: یکشنبه، ۲۹ مهر، ساعت ۱۰ صبح.
- با توجه به اشکال پیش آمده برای بارگذاری فایل تمرین، تمامی تمرین‌هایتان را (سری دوم و سری سوم) به آدرس This email address is being protected from spambots. You need JavaScript enabled to view it. ای-میل کنید. عنوان ای-میلتان سری تمرین تحویلی باشد. در ای-میلتان نام خودتان را حتما بنویسید.
- توضیح مهم پیرامون تحویل تمرین‌ها: (۱) هر دانشجو می‌تواند در طول ترم، حداکثر ۱۵ روز و در سه نوبت تمرین‌هایش را با تاخیر ارسال کند. (۳) تمرین‌های هر سری، باید در قالب یک فایل pdf بارگذاری شود. (۴) نام فایل بارگذاری شده حتما باید به این فرمت باشد: n-x.pdf که در آن n شماره‌ی سری تمرین و x شماره‌ی دانشجوییتان است و همگی اعداد لاتین هستند.
- تمرین‌های سری سوم: تمرین‌های۵، ۷ و ۹ از صفحات ۴۷-۴۸. مهلت ارسال: یکشنبه ۲۲ مهرساعت ۱۰ صبح.
- کلاس رفع‌اشکال، یکشنبه‌ها ساعت ۱۵-۱۷ در همان محل کلاس درس تشکیل می‌شود.
- تمرین‌های سری دوم: تمرین ۱۰ از ص۳۷، ۵ و ۶ از ص ۳۶، ۸ از ص ۳۲. مهلت تحویل:
سه‌شنبه ۱۷ مهرساعت ۱۹. یکشنبه ۲۲ مهرساعت ۱۰ صبح. نحوه‌ی تحویل:بارگذاری در سمت چپ همین صفحهارسال از طریق ای‌میل به آدرس This email address is being protected from spambots. You need JavaScript enabled to view it.. - تمرین‌سری ۱: نشان دهید مدل‌های محاسباتی Davis و URM معادلند.
- کتاب کمکی مقدّماتی: 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
- تاریخ آزمون میان‌ترم: سه‌شنبه ۲۹ آبان
- نحوه‌ی محاسبه‌ی نمره: ۸ نمره میان‌ترم + ۱۰ نمره پایان‌ترم + ۲ نمره تمرین
- برای دریافت اخبار درس، ای-میل و شماره‌ی دانشجویی خود را در سمت چپ همین صفحه وارد کنید.
- این‌جا صفحه‌ی اخصاصیِ درس نظریّه‌ی علوم کامپیوتر است که در ترم پاییز سال ۱۳۹۷ در گروه علوم‌کامپیوتر دانشگاه تهران توسط سیّدمجتبی مجتهدی ارائه شده است.
- Details
- Hits: 1793
- نمرات امتحان پایان‌ترم: برای ملاحظه‌ی برگه‌های امتحانی، روز شنبه ۶ بهمن، ساعت ۱۳ مراجعه کنید.
- سؤالات امتحان پایان‌ترم:
- نمرات امتحان میان‌ترم: برای ملاحظه‌ی برگه‌های امتحانی، روز شنبه ۶ بهمن، ساعت ۱۳ مراجعه کنید.
- سؤالات امتحان میان‌ترم:
- تمرین ۵: تمرین‌های سری ۵.۱۴ شماره‌هایِ ۸ و ۹ و ۱۰ و ۱۲، سریِ ۵.۲۱ شماره‌هایِ ۲ و۴، از کتاب 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
- تاریخ آزمون میان‌ترم:
سه‌شنبه ۲۸ آبانیکشنبه ۱۷ آذر - نحوه‌ی محاسبه‌ی نمره: ۸ نمره میان‌ترم + ۱۰ نمره پایان‌ترم + ۲ نمره تمرین
- برای دریافت اخبار درس، ای-میل و شماره‌ی دانشجویی خود را در سمت چپ همین صفحه وارد کنید.
- این‌جا صفحه‌ی اخصاصیِ درس نظریّه‌ی محاسبه‌ی پیشرفته است که در ترم پاییز سال ۱۳۹۸ در گروه علوم‌کامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.
- Details
- Hits: 1552
- تمرین‌های سری ششم:
- تمرین‌های سری پنجم:
- تمرین‌های سری چهارم:
- تمرین‌های سری سوم:
- تمرین‌های سری دوم:
- تمرین‌های سری اول:
- گروه تلگرام: @atcfall99
- کتاب کمکی مقدّماتی: Computability theory. An introduction to recursion theory, Herbert Enderton
- کتاب سوم درس: می‌توانید از این‌جا (نسخه‌ی pdf) دانلود کنید. عنوان کتاب: «Introduction to the Theory of Computation پدیدآورنده: «Michael Sipser»، ویراست سوم.
- کتاب دوم درس: Computability: A Mathematical Sketchbook, Douglas S. Bridges
- کتاب اوّل درس: Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science, Martin Davis & Elaine J. Weyuker
- تدریس‌یار: خانم دنیز طهمورثی
- نحوه‌ی محاسبه‌ی نمره:
- این‌جا صفحه‌ی اخصاصیِ درس نظریّه‌ی محاسبه‌ی پیشرفته است که در ترم پاییز سال ۱۳۹۹ در گروه علوم‌کامپیوتر دانشگاه تهران توسط مجتبی مجتهدی ارائه شده است.
