نظریه محاسبه - نیمسال اول ۱۴۰۰
اطلاعات دستایارن آموزشی متعاقبا اعلام خواهد شد.
توضیحات درس
زمان برگزاری کلاس‌ها در طول هفته: یکشنبه و سهشنبه ساعت ۹:۰۰ تا ۱۰:۳۰
کلاس‌ها تا قبل از ترمیم، در اتاق استاد به آدرس زیر برگزار میشود و بعد از ترمیم، در 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 درصد)
اصولا همه آزمونهای اصلی درس تجمعی هستند و محتوی آزمون از کل مطالبی که از ابتدای ترم تدریس شده باشند تا جایی که در اطلاعیه آزمون ذکر میشود، خواهد بود.
آزمونکهایی هم برگزار خواهند شد که زمان و محتوی آنها در طول نیمسال مشخص و اعلام میشوند
نمره نهایی دانشجو در این درس بر اساس تمامی فعالیتهای فوقالذکر تعیین میشود و همه میزان تاثیرهای اعلامی تخمینی و صرفا جهت اطلاع از کلیات روش ارزیابی است. به دانشجویان عزیز توصیه میشود که از ابتدای شروع کلاس در فراگیری مطالب جدی باشند و تا انتهای نیمسال و آزمون نهایی از هر نوع تلاش برای جبران عقبافتادگی احتمالی فروگذاری نکنند.