1. این‌جا صفحه‌ی اخصاصیِ درس نظریّه‌ی علوم کامپیوتر است که در ترم پاییز سال ۱۳۹۵ در گروه علوم‌کامپیوتر دانشگاه تهران توسط سیّدمجتبی مجتهدی ارائه شده است.
  2. برای دریافت اخبار درس، ای-میل و شماره‌ی دانشجویی خود را در سمت چپ همین صفحه وارد کنید.
  3. نحوه‌ی محاسبه‌ی نمره: ۸ نمره میان‌ترم + ۱۲ نمره پایان‌ترم
  4. تاریخ آزمون میان‌ترم: شنبه ۱۳ آذر
  5. کتاب اوّل درس: Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science, Martin Davis & Elaine J. Weyuker
  6. کتاب‌ دوم درس:  Computability: A Mathematical Sketchbook, Douglas S. Bridges
  7. کتاب کمکی مقدّماتی: Computability theory. An introduction to recursion theory, Herbert Enderton
  8. ساعات رفع اشکال: یکشنبه‌ها و دوشنبه‌ها ساعت ۱۳ الی ۱۴
  9. آزمونکِ نخست و نمراتِ کسب شده از آن.
  10. کلاس رفع‌اشکال و حل نمونه‌سؤال، در کلاس ۳۰۰، روزهای سه‌شنبه ساعت ۱۱:۴۵-۱۲:۴۵ برگزار می‌شود.
  11. پاسخ تمرین ۷ از صفحه‌ی ۲۵ کتاب درس (کدِ برنامه‌ای در زبانِ برنامه‌نویسی مجرّد برای محاسبه‌ی ب.م.م). با سپاس از آقای آزاده که زحمت تایپ آن را کشیدند.
  12. آزمونکِ دوم و نمراتِ کسب شده از آن.
  13. آزمونکِ سوم و نمراتِ کسب شده از آن.
  14. تمرین‌های سری اول.  تمرین‌های ۲ و ۳و ۵ از صفحه ۷۸-۷۹، تمرین‌های ۲، ۳ ، ۴ ، ٦، ٧، ٩، ١٠ و ١١ از صفحات ۸۴-٨٥  کتاب درس (بند ۵) موعد تحویل: شنبه ٢٢ آبان ساعت ۱٠  در کلاس درس.
  15. برنامه‌ی ارائه‌ی بخش‌هایی از درس توسط دانشجویان.
  16. آزمونکِ چهارم و نمراتِ کسب شده از آن.
  17. تمرین‌های سری دوم.  تمرین‌های ۳و ۴ از صفحه ۸۷-۸۸، تمرین‌های ۹، ۱۲، ۱۳ و ۱۴ از صفحات ۹۴-۹٥، تمرین ۸ از صفحه‌ی ۹۷، تمرین‌های ۱۱، ۱۲، ۱۳ و ۱۴  از صفحه‌ی ۱۰۵  کتاب درس (بند ۵) موعد تحویل: سه‌شنبه ۹ آذر ساعت ۱۲  در کلاس درس.
  18. پاسخ چند تمرین از کتاب Davis
  19. سؤالات و پاسخ‌نامه‌ی آزمونِ میان‌ترم و نمراتِ کسب شده از آن.
  20. تمرین‌های سری سوم: همه‌ی تمرین‌های ۱-۱۳ به‌جز ۱۲ از صفحات ۱۳۲-۱۳۳ از کتابِ Cutland. (صفحه‌ی مربوطه را از این‌جا می‌توانید دانلود کنید) موعد تحویل: سه‌شنبه ۷ دی در کلاس تمرین.
  21. \(\mathscr{L}\) خروجیِ کُدِ \mathscr{L} در TEX است.
  22. سؤالات آزمونِ پایان‌ترم و نمراتِ کسب شده از آن.
  23. نمرات نهایی ارسالی به آموزش در درس نظریه‌ی ع.ک.