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