ابزار کاربر

ابزار سایت


دانشکده:دروس:22874:14001:main

نظریه محاسبه - نیم‌سال اول ۱۴۰۰

مدرس ایمیل
امیر دانشگر daneshgar@sharif.ir

اطلاعات دستایارن آموزشی متعاقبا اعلام خواهد شد.

توضیحات درس

زمان برگزاری کلاس‌ها در طول هفته: یکشنبه و سه‌شنبه ساعت ۹:۰۰ تا ۱۰:۳۰

کلاس‌ها تا قبل از ترمیم، در اتاق استاد به آدرس زیر برگزار می‌شود و بعد از ترمیم، در cw برگزار خواهد شد.

http://vc.sharif.edu/ch/daneshgar

کلیات سرفصل

محتوی اصلی این درس آشنایی با جزییات سلسله­مراتب چامسکی و مدل­های استاندارد محاسبه با تاکید بر تسلط بر جزییات اثبات­ها و استدلال­ها، و همچنین آشنایی با نظریه توابع بازگشتی، و مقدمات نظریه پیچیدگی محاسبه است.

منابع درس
John Martin. Introduction to Languages and the Theory of Computation. 4th Edition
Douglas S. Bridges. Computability: A Mathematical Sketchbook
Dan A. Simovici and Richard L. Tenney. Theory of Formal Languages with Applications

ارزشیابی

  • حضور و مشارکت فعال در کلاس درس
  • تمرین­هایی برای حل مشخص می­شوند که نوعا دوهفته یکبار اعلام و تحویل گرفته خواهند شد
  • آزمون میان ترم: پنجشنبه 4/9/1400 ساعت 15:00 به بعد (تاثیر: حدود 40 درصد)
  • آزمون پایان ترم: سه­شنبه 5/11/1400 ساعت 15:00 عصر (تاثیر: حدود 60 درصد)
  • اصولا همه آزمون­های اصلی درس تجمعی هستند و محتوی آزمون از کل مطالبی که از ابتدای ترم تدریس شده باشند تا جایی که در اطلاعیه آزمون ذکر می­شود، خواهد بود.
  • آزمونک­هایی هم برگزار خواهند شد که زمان و محتوی آن­ها در طول نیمسال مشخص و اعلام می­شوند
  • نمره نهایی دانشجو در این درس بر اساس تمامی فعالیت­های فوق­الذکر تعیین می­شود و همه میزان تاثیر­های اعلامی تخمینی و صرفا جهت اطلاع از کلیات روش ارزیابی است. به دانشجویان عزیز توصیه می­شود که از ابتدای شروع کلاس در فراگیری مطالب جدی باشند و تا انتهای نیمسال و آزمون نهایی از هر نوع تلاش برای جبران عقب­افتادگی احتمالی فروگذاری نکنند.
/opt/bitnami/dokuwiki/data/pages/دانشکده/دروس/22874/14001/main.txt · آخرین ویرایش: 2022/09/07 10:44 توسط 127.0.0.1

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki