نظریهی علومکامپیوتر - کارشناسی ارشد علوم کامپیوتر
ترم اول سال تحصیلی ۹۶-۱۳۹۵
اخبار درس
۲۵ مهر ۹۵
با سلام. فهرست ارائهها در حال تکمیل است. لیست در حال تکمیل را میتوانید در اینجا ببینید.
۱۹ شهریور ۹۵
با سلام. به درس نظریهی علومکامپیوتر خوش آمدید. مزید امتنان است ضمن ثبتنام در سامانهی آموزشی دانشگاه؛ اطلاعات پرسشنامهی درس را پس از جلسهی اول و قبل از جلسهی سوم تکمیل فرمایید. لینکهای مربوطه را میتوانید در قسمت پیوندها مشاهده نمایید.
اطلاعات عمومی
- دوشنبه ۱۰ آبان ۱۳۹۵ - میانترم اول - فصلهای ۳ تا ۵ از [S12]
- شنبه ۶ آذر ۱۳۹۵ - میانترم دوم - فصلهای ۲ تا ۶ از [DSW94]
- دوشنبه؛ ۶ دی ۱۳۹۵ - میانترم سوم - فصلهای ۶ تا ۹ از [S12]
- آزمون پایان ترم - طبق اعلام سیستم گلستان
بخش ۲: نظریهی پیچیدگی شامل پیچیدگی زمانی، ردههای P و NP، NP-کامل بودن و برخی مسائل NP-کامل، پیچیدگی حافظه، قضیه Savitch، ردهی PSPACE، PSPACE-کامل بودن، ردههای L و NL، NL-کامل بودن، برابری NL و coNL، رامش ناپذیری، نسبیسازی، پیچیدگی مداری.
بخش ۳: یکی از مباحث زیر به انتخاب دانشجویان:
-
مدلها و الگوریتمهای پردازش دادههای حجیم مبتنی بر مرجع:
Leskovec, Jure, Anand Rajaraman, and Jeffrey David Ullman. Mining of massive datasets. Cambridge University Press, 2014.
-
نظریهی یادگیری محاسباتی مبتنی بر مرجع:
Kearns, Michael J., and Umesh Virkumar Vazirani. An introduction to computational learning theory. MIT press, 1994.
-
الگوریتمهای پارامتر ثابت مبتنی بر مرجع:
Cygan, Marek, et al. Parameterized algorithms. Switzerland: Springer, 2015.
- [S12] Sipser, Michael. Introduction to the Theory of Computation, 3rd edition. Cengage Learning, 2012.
- [DSW94] Davis, Martin, Ron Sigal, and Elaine J. Weyuker. Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science. Newnes, 1994.
-
صفحهی درس در سامانهی آموزشی دانشگاه
http://ce.edu.vru.ac.ir/moodle/course/view.php?id=42 -
پرسشنامه
لطفا این پرسشنامه را پس از اولین جلسه و قبل از آغاز سومین جلسه تکمیل فرمایید.
https://goo.gl/forms/qrK7kX4ney5tC6DF2
جلسات درس
- اسلایدها
- مشاهده/دریافت فیلم
- A. M. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. Proc. London Math. Soc. (1937) s2-42 (1): 230-265.
- PetzoldC. The annotated Turing: a guided tour through Alan Turing's historic paper on computability and the Turing machine. Wiley Publishing; 2008 Jun 16.
- Lewis HR, Papadimitriou CH. Elements of the Theory of Computation. Prentice Hall PTR; 1997 Aug 1. | بخش ۴.۴؛ صفحات ۲۱۰ الی ۲۲۱
- Cook SA, ReckhowRA. Time-bounded random access machines. In Proceedings of the fourth annual ACM symposium on Theory of computing 1972 May 1 (pp. 73-80). ACM.
- MatijasevichIV. Hilbert's tenth problem. MIT press; 1993.
- Davis M. Hilbert's tenth problem is unsolvable. The American Mathematical Monthly. 1973 Mar 1;80(3):233-69.
-
تمرینهای مربوط به فصل ۴:
Exercises: 4.4, 4.5, 4.8
Problems: 4.10, 4.12, 4.18, 4.23
-
برنامهی ارائههای شما به شرح زیر است:
شمارهی فصل ارائهدهنده ۲ خانم ساریخانی ۳ خانم عبداللهی ۴ خانم احمدی ۵ ۶ آقای صمدی ۷ آقای عبدفرحانی ۸ آقای آهنی ۹ آقای ملکزاده ۱۰ ۱۱ خانم محمدی ۱۲
-
تمرینهای مربوط به فصل ۵:
Exercises: 5.1, 5.5, 5.6, 5.7
Problems: 5.13, 5.26, 5.28, 5.30, 5.36
-
حل مسالههای مختلف از فصلهای ۳ الی ۵ مرجع
[S12]
- اسلایدها
- مشاهده/دریافت فیلم - متاسفانه ویدئوی این جلسه بر اثر اشتباه ذخیره نشده است.
آزمونها
...نمرات
ردیف | عنوان | نمره | شرح | ||
---|---|---|---|---|---|
۱ | تمرین | ۵ | شامل حداقل ۱۲ سری تمرین | ||
۲ | پروژهی پژوهشی | گزارش کتبی | ۳ | ||
سمینار | ۲ | ||||
۳ | آزمونهای کتبی | میانترم اول | ۲ | ۱۰ | شنبه ۱ آبان ۱۳۹۵ (فصلهای ۳ تا ۵ از [S12]) |
میانترم دوم | ۲ | شنبه ۶ آذر ۱۳۹۵ (فصلهای ۲ تا ۶ از [DSW94]) | |||
میانترم سوم | ۲ | دوشنبه، ۶ دی ۱۳۹۵ (فصلهای ۶ تا ۹ از [S12]) | |||
پایان ترم | ۴ | کل مباحث | |||
۳ | تلاش بیشتر | +۲ | |||
جمع نمرات | ۲۰ + ۲ |