دانشکده:دروس:22874:14001:main
−فهرست مندرجات
نظریه محاسبه - نیمسال اول ۱۴۰۰
مدرس | ایمیل |
---|---|
امیر دانشگر | daneshgar@sharif.ir |
اطلاعات دستایارن آموزشی متعاقبا اعلام خواهد شد.
توضیحات درس
زمان برگزاری کلاسها در طول هفته: یکشنبه و سهشنبه ساعت ۹:۰۰ تا ۱۰:۳۰
کلاسها تا قبل از ترمیم، در اتاق استاد به آدرس زیر برگزار میشود و بعد از ترمیم، در cw برگزار خواهد شد.
کلیات سرفصل
محتوی اصلی این درس آشنایی با جزییات سلسلهمراتب چامسکی و مدلهای استاندارد محاسبه با تاکید بر تسلط بر جزییات اثباتها و استدلالها، و همچنین آشنایی با نظریه توابع بازگشتی، و مقدمات نظریه پیچیدگی محاسبه است.
منابع درس |
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