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