مدرس | ایمیل |
---|---|
دکتر شهرام خزایی | shahram.khazaei@gmail.com |
Introduction to Automata Theory, Languages, and Computation: Hopcroft, Motwani, Ullman. Pearson New International Edition
Introduction to Languages and the Theory of Computation: John C. Martin
Introduction to the Theory of Computation: Michael Sipser
از طریق لینک زیر میتوانید به جزوات درس دسترسی داشته باشید.
انتظار میرود که هدف از اخذ این درس کسب دانش باشد و هدف اصلی دانشجویان در کسب نمره خلاصه نشده باشد. نمره ملاک نه چندان کاملی از اندوختههای شماست. در این راستا بارم درس به شرح زیر است:
درس نظریهی زبانها و اتوماتا مقدمهای است برای آشنایی با تئوری علوم کامپیوتر و پیشنیازی برای درسهای پیشرفتهتر این حوزه مانند نظریهی محاسبه، نظریهی پیچیدگی محاسبه و نظریهی علوم کامپیوتر.
محتوای اصلی درس آشنایی با سلسله مراتب چامسکی (بهطور خاص زبانهای منظم، مستقل از متن و R.E. و مدلهای محاسبه با تاکید بر فراگیری مفاهیم اصلی و تبدیل مدلها به یکدیگر است.
در جدول زیر میتوانید زمانبندی تقریبی موضوعات درس را مشاهده کنید.
موضوع | شمارهی جلسات |
آشنایی با مدل DFA | جلسات ۱ تا ۳ |
آشنایی با مدل NFA | جلسات ۴ تا ۶ |
آشنایی با عبارات منظم | جلسات ۷ و ۸ |
کلاس زبانهای منظم و ویژگیهای آنها | جلسات ۹ تا ۱۳ |
گرامرهای مستقل از متن و ویژگیهای آن | جلسات ۱۴ تا ۱۸ |
آشنایی با مدل PDA | جلسات ۱۹ و ۲۰ |
کلاس زبانهای مستقل از متن ویژگیهای آن | جلسات ۲۱ تا ۲۳ |
مدل محاسباتی تورینگ | جلسات ۲۴ و ۲۵ |
کلاس زبانهای R.E. ، تصمیمپذیری و تحویل | جلسات ۲۶ تا ۲۸ |
نام و نام خانوادگی | راه ارتباطی (ایمیل) |
علی الماسی (سردستیار) | ali79almasi@gmail.com |
آرمیتا جلالیون | 1380armita@gmail.com |
شیدا رابطی | shrabeti8001@gmail.com |
سروش زارع | ihaveint@gmail.com |
سید امیرمحمد ساداتشکوهی | sam.sadat.shokouhi@gmail.com |
شایان طاهریجم | sh.taherijam@gmail.com |
امید یعقوبی | deopenmail@gmail.com |
کلاس درس در روزهای یکشنبه و سهشنبه از ساعت ۱۷ الی ۱۹ توسط استاد درس در سامانهی کلاسهای مجازی برگزار میشود اما تلاش میشود که امکان حضور تعداد معدودی از دانشجویان فراهم شود.
همچنین کلاسهای حلتمرین در دو گروه (با محتوای مشابه) و با تمرکز بر حل مسئله، توسط دستیاران درس برگزار خواهد شد.
همانطور که در قسمت قبل اعلام شد، در طول ترم ده سری تمرین خواهید داشت. تاریخ آپلود تمرینها را میتوانید در جدول زیر مشاهده کنید. توجه کنید که پاسخنامهی تمرینها بهطور منظم و بعد از هر تمرین در اختیارتان قرار نمیگیرد. (ممکن است پیش از امتحان پایانی، پاسخنامههایی متشکل از پاسخهای درست خودتان در اختیارتان قرار گیرد.) در عوض، با شرکت در جلسات حلتمرین میتوانید راهحل کامل تمرینهای تحویلی را یاد بگیرید.
شمارهی تمرین | تاریخ انتشار | تاریخ تحویل |
سری صفر | ۷ اسفند | ۱۶ اسفند |
سری یک | ۱۷ اسفند | ۲۶ اسفند |
سری دو | ۲۷ اسفند | ۱۳ فروردین |
سری سه | ۱۴ فروردین | ۲۶ فروردین |
سری چهار | ۲۷ فروردین | ۹ اردیبهشت |
سری پنج | ۱۰ اردیبهشت | ۱۹ اردیبهشت |
سری شش | ۲۰ اردیبهشت | ۲۹ اردیبهشت |
سری هفت | ۳۰ اردیبهشت | ۹ خرداد |
سری هشت | ۱۰ خرداد | ۲۰ خرداد |
سری نه | ۲۱ خرداد | ۳۱ خرداد |
در جهت رعایت آداب و اصول اخلاقی لطفا نکات زیر را رعایت نمایید.
امتحان پایانترم در تاریخ 5 تیرماه 1401 ساعت ۱۵:۳۰ بعدازظهر برگزار میگردد.
توجه: تا یکماه بعد از آزمون پایانترم، در صورت نیاز، در موارد نادری ممکن است دانشجویان دعوت به آزمون شفاهی شوند، که در این صورت نمره نهایی آنهایی متاثر از این آزمون خواهد بود.