Theory of Computation I
- Details
- Hits: 6189
- نمرات نهایی ارسالی به آموزش با احتساب نمرات آزمونک‌ها
وبدونبا درنظر گرفتن رسیدگی به تقاضاهای تجدیدنظر(تقاضاهای تجدیدنظر میان‌ترم و پایان‌ترم یک‌جا رسیدگیمیشوندشد: نتیج بازبینی برگه‌ها را اینجا و اینجا ببینید). - نمرات تمرین به تفکیک سری تحویل تمرین. توجه: تنها نمراتِ ۳ سری از تمرین‌ها موجود است و به همین دلیل وزن نمره‌ی تمرین از ۲ به ۱ کاهش یافت. وزن میان‌ترم و پایان‌ترم به ترتیب به ۸.۵ و ۱۰.۵ افزایش یافتند. چنان‌چه فکر می‌کنید در محاسبه‌ی نمره‌ی تمرین شما خطایی رخ داده‌است می‌توانید از همان فرم تقاضای تجدیدنظر به امتحان پایان‌ترم (در بخش توضیحات) استفاده کنید.
- پاسخ‌نامه‌ی امتحان پایان‌ترم، نمرات شما با تفکیک سؤال. فرم اینترنتی تقاضای تجدید نظر. (مهلت: یکشنیه ۱۱تیر)
- پاسخ‌نامه‌ی امتحان میان‌ترم، نمرات شما با تفکیک سؤال. فرم اینترنتی تقاضای تجدید نظر. (مهلت: دوشنبه ۲۲ خرداد)
- آزمونک ششم، نمرات شما.
- آزمونک پنجم، نمرات شما.
- تمرین‌های سری ششم: از فصل ۳ تمرین‌های ۴۴، ۴۹b، ۵۳b. از فصل ۴ تمرین‌های ۱۴، ۲۰، ۴۳ و ۳۸bc. موعد تحویل: در کلاس رفع اشکال (خانم طهمورثی) یا ابتدای جلسه‌ی امتحان پایان‌ترم.
- پاسخ‌نامه‌ی آزمونک چهارم، نمرات شما.
- پاسخ‌نامه‌ی آزمونک سوم، نمرات شما.
- تمرین سری پنجم: تمرین‌های ۲، ۵، ۶، ۲۰، ۲۹، ۳۳، ۳۴ از فصل ۳ کتاب. موعد تحویل: شنبه ۲ اردیبهشت۱۳۹۶ در ابتدای جلسه‌ی آزمون میان‌ترم.
- تمرین‌های سری چهارم: تمرین ۳۵، تمرین ۳۶، تمرین ۴۰ بخش‌های a و b، تمرین ۴۷ بخش b، تمرین ۵۱، تمرین ۵۵ بخش‌های d-e-f-g، تمرین ۵۷ بخش‌های e-i-k از فصل دوم کتاب مارتین. موعد تحویل: شنبه ۲۶ فروردین ۱۳۹۶ در ابتدای کلاس درس.
- گروه‌های کلاس‌های تمرین.
- آزمونک دوم، نمرات شما.
- تمرین‌های سری سوم: ۲.۱۵، ۲.۲۳ بخش a و ۲.۲۹ بخش‌های a, f و h از فصل دوم کتاب مارتین. موعد تحویل: شنبه ۲۱ام اسفند، در ابتدای کلاس درس.
- تمرین‌های سری دوم: ۲.۱۹ ، ۲.۲۱ بخش‌های b, e و h از کتاب مارتین، ۱.۲۹ از کتاب سیپسر. موعد تحویل: دوشنبه ۱۶ام اسفند، در ابتدای کلاس درس.
- گروه‌های کلاس تمرین: خانم طهمورثی و آقای مزدایی
- آزمونک نخست، نمرات شما.
- لینک اینترنتی تعیین اولویّت تمرین. مهلت ثبت اولویّت: پایان روز شنبه ۳۰ بهمن.
- تمرین‌های سری اول: تمرین‌های ۲.۱ (بخش‌های j و k)، ۲.۳ و ۲.۷ و ۲.۸ و ۲.۹ از صفحات ۷۸-۷۹ کتاب Martin. موعد تحویل: شنبه ۷ اسفند ساعت ۱۰ صبح در کلاس درس.
- زمان‌های تشکیل کلاس‌های تمرین: دوشنبه‌ها ساعت ۱۲:۳۰-۱۴ در کلاس ۱۰۶ (کلاس خانم طهمورثی) سه‌شنبه‌ها ساعت ۱۲:۳۰ -۱۴ در کلاس ۲۰۴ (کلاس آقای مزدایی)
- کتاب درس: Introduction to Languages and the Theory of Computation , John Martin, 4th Edition, 2010
- کتاب درس: Introduction to the Theory of Computation, Michael Sipser, 3rd Edition, 2012
- آزمون میان‌ترم: شنبه ۲۶ فروردین ۲ اردیبهشت در محل کلاس درس.
- نحوه‌ی محاسبه‌ی نمره: ۸ نمره میان‌ترم، ۱۰ نمره پایان‌ترم، ۲ نمره کلاس تمرین.
- تدریس‌یاران: خانم دنیز طهمورثی و آقای آرمان مزدایی.
- برای آگاهی از اخبار درس، ای-میل خود را در سمت چپ همین صفحه وارد کنید.
- اینجا صفحه‌ی اختصاصی درس مبانی نظریه‌محاسبه است که در ترم دوم سال تحصیلی ۹۶-۱۳۹۵ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.
- Details
- Hits: 2434
- نمرات امتحان پایان‌ترم:
برای بازبینی برگه‌های امتحان، روز دوشنبه ۲۴ تیر، ساعت ۱۲:۳۰ الی ۱۳:۳۰ مراجعه کنید. (شماره‌ی ردیف خود را از لیست نمرات به خاطر داشته باشید) - سؤالات امتحان پایان‌ترم به همراه پاسخ برخی از آن‌ها
- نمرات امتحان میان‌ترم برای بازبینی برگه‌های امتحان، پس از کلاس درس در تاریخ سه‌شنبه ۱۰ اردیبهشت مراجعه کنید.
- سؤالات امتحان میان‌ترم
- پیوند صفحه‌ی درس مربوط به ۲ سال قبل که حاویِ نمونه‌سؤالات امتحان میان‌ترم به همراه پاسخ‌نامه و پاسخ برخی تمرین‌ها می‌باشد.
- ماتون، یک بازی اندروئیدی جالب برای یادگیری عبارات منظم و اتوماتون. گسترش‌دهندگان: آریا صادقی - آشنا گرگان‌محمدی
- تمرین سری دوم: مهلت تحویل سه شنبه ۲۱ اسفند ساعت ۴ (ابتدای کلاس درس)
- تمرین سری اول. موعد تحویل: سه‌شنبه ۷ اسفند ساعت ۱۲ در کلاس حل تمرین. تمرین‌های ۱۸، ۲۰، ۲۴ از فصل دوم کتاب مارتین. تمرین امتیازی: تمرین ۳۱ از فصل دوم.
- زمان‌های تشکیل کلاس‌های تمرین: سه‌شنبه‌ها ساعت ۱۲-۱۳
- کتاب درس: Introduction to Languages and the Theory of Computation , John Martin, 4th Edition, 2010
- کتاب درس: Introduction to the Theory of Computation, Michael Sipser, 3rd Edition, 2012
- آزمون میان‌ترم: سه‌شنبه ۳ اردیبهشت ۱۳۹۸ در کلاس درس
- نحوه‌ی محاسبه‌ی نمره: ۸ نمره میان‌ترم، ۱۰ نمره پایان‌ترم، ۲ نمره کلاس تمرین.
- تدریس‌یار: آقای محمدرضا اصولی
- برای آگاهی از اخبار درس، ای-میل خود را در سمت چپ همین صفحه وارد کنید.
- اینجا صفحه‌ی اختصاصی درس مبانی نظریه‌محاسبه است که در ترم دوم سال تحصیلی ۹۸-۱۳۹۷ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.
- Details
- Hits: 1645
- دستورالعمل تحویل پروژه و ارزیابی مختصر شفاهی به صورت آنلاین: (شنبه ۲۵ مرداد)
۱- در زمان تعیین شده در جدول زمانی، با زدن روی این پیوند، به گروه اسکایپی بپیوندید.
۲- حتما با لپ‌تاپی که روی آن امکان نمایش متن پروژه هست این کار را انجام داده و علاوه بر روشن گذاشتن میکروفون و وب‌کم، اسکرین لپ‌تاپتان که روی آن متن پروژه قرار دارد را هم با من به اشتراک بگذارید. به دلیل محدودیت زمانی، حتماً پیش از تحویل پروژه، همه‌ی این موارد را به صورت آزمایشی با یکی از دوستانتان امتحان کنید.
۳- پس از اتمام پرسش‌ها، گروه اسکایپی را تَرک کنید.
۴- پیش و پس از بازه‌ی زمانی مربوط به خودتان در گروه اسکایپی نباشید.فقط زمان تحویل پروژه.
۵- در ابتدای گزارش پروژه، نام، نام خانوادگی، شماره‌ی دانشجوییتان و فایل پروژه را در همان گروه اسکایپی، بدون هیچ گونه متن اضافه‌تری ارسال کنید.
۶- در صورتی که در روزهای ارائه‌ی پروژه سؤالی فوری از من دارید، می‌توانید از طریق واتس‌اَپ به شماره‌ی ۰۹۰۳۱۸۹۸۴۶۹ در میان بگذارید.
برای همه‌ی شما آرزوی موفقیت دارم. - نمرات تمرین‌ها در صورتی که فکر می‌کنید در محاسبه‌ی نمره‌ی شما خطایی رخ داده، حداکثر تا جمعه ۲۷ تیر ۱۳۹۹ با من تماس بگیرید (تلگرام، واتس‌اپ یا ای‌میل) توجه: سلول‌های زردرنگ، تمرین‌هایی هستند که با تاخیر تحویل داده شده‌اند.
- تمرین‌های سری چهارم: موعد تحویل: ۱۷ تیر
- در صورتی که تمایل به ارزیابیِ مفصلِ شفاهی و آنلاین (اسکایپی) دارید، تا سه‌شنبه ۱۰ تیر، نام، نام خانوادگی و شماره‌ی دانشجویی خود را (علاوه بر نوشته‌ای که بیان می‌کند گزینه‌ی انتخابیتان برای ارزیابی، آنلاین و شفاهی خواهد بود) برایم ارسال کنید (تلگرام، واتس‌اپ یا ای‌میل). توجه: ارزیابی مفصل شفاهی در روز امتحان (۱۷ تیر) خواهد بود و جدول زمان‌بندی آن از همین طریق اعلان خواهد شد.
- موضوعات پروژه‌ی درس. توجه۱: لطفاً بعد از بررسی موضوعات پروژه، موضوع انتخابی خود را حداکثر تا سه‌شنبه ۱۰ تیر با ارسال یک پیام (تلگرام، واتس‌اپ یا ای‌میل) به من مشخص کنید. حتماً در پیام خود کُدِ پروژه، نام، نام خانوادگی و شماره‌ی دانشجویی را ارسال کنید. دقت کنید که شماره‌ی دانشجویی با حروف لاتین ارسال شود. توجه۲: انجام پروژه‌ها به‌صورت انفرادی است. توجه۳: حتماً پیش از شروع انجام پروژه، تایید من را که در جواب پیامتان برای شما ارسال می‌کنم دریافت کنید. توجه۴: همه‌ی پروژه‌ها نیازمند گزارش مکتوب دست‌نویس‌اند. توجه۵: مهلت ارسال پروژه‌ها: ۱۵ مرداد ۱۳۹۹. توجه۶: ارائه‌ی پروژه‌ها به صورت پرسش و پاسخ و از طریق اسکایپ خواهد بود. جدول زمانی ارائه‌ی پروژه‌ها و لینک اسکایپ متعاقبا از همین طریق اعلان خواهد شد. توجه۷: یافتن منبع مناسب برای برخی از پروژه‌ها بخشی از پروژه است، هرچند می‌توانید در مورد خوب یا بد بودن منابعی که برای پروژه‌ی خود یافته‌اید از من یا تدریس‌یارانتان در گروه تلگرام درس راهنمایی بگیرید. پیوندهای ویکی‌پدیا صرفاً برای تبیین صورت مسأله و روشن کردن موضوع آمده‌اند.
- نحوه‌ی ارزیابی و محاسبه‌ی نمره‌ی نهایی به این صورت است: نمره‌ی نهایی= تمرین (۴نمره) + پروژه (۶نمره) + ارزیابیِ مختصر شفاهی و آنلاین (۲نمره) + ارزیابیِ دل‌خواه (۸نمره). در این فرمول ارزیابیِ دل‌خواه به انتخاب دانشجو، به یکی از روش‌هایی که در پی می‌آید محاسبه خواهد شد: (الف) آزمون مفصل (حدود یک‌ساعته) شفاهی و آنلاین، (ب) «معدل دانشجو در سامانه‌ی آموزش به‌علاوه‌ی ۳» ضرب‌در ۴دَهُم. توجه۱: ارزیابی مختصر شفاهی، هم‌زمان با ارائه‌ی پروژه خواهد بود که جدول زمانیِ آن به زودی اعلام خواهد شد. توجه۲: ارزیابی مفصل شفاهی در تاریخ ۱۷ تیر به عمل خواهد آمد و در صورتی که دانشجو این نحوه را برای ارزیابی برگزیند، امکان تغییر آن پس از ارزیابی شفاهی وجود نخواهد داشت. توجه۳: در مورد موضوع پروژه‌ها، زمان ارائه‌ی پروژه‌ها و مهلت تحویل آن‌ها جداگانه توضیح خواهم داد.
- کلاس آنلاین اسکایپی: یکشنبه ۱۱ خرداد ساعت ۱۱.
- برنامه‌ی آموزش غیر حضوری، یکشنبه و سه‌شنبه ۲۸ و ۳۰ اردیبهشت ۱۳۹۹: مطالعه‌ی بخش ۷.۶ از کتاب Martin. مباحث: ماشین تورینگ: تز چرچ-تورینگ.
- کلاس آنلاین اسکایپی: یکشنبه ۲۱ اردیبهشت ساعت ۱۱.
- برنامه‌ی آموزش غیر حضوری، یکشنبه و سه‌شنبه ۲۱ و ۲۳ اردیبهشت ۱۳۹۹: مطالعه‌ی بخش۷.۴ و ۷.۵ از کتاب Martin. مباحث: ماشین تورینگ: ترکیب دو ماشین و ماشین‌های چندنواره. می‌توانید برای تکمیل یادگیری، جلسه‌ی ۲۰ام مکتب‌خونه را ببینید.
- کلاس آنلاین اسکایپی: یکشنبه ۲۱ اردیبهشت ساعت ۱۱.
- تمرین‌های سری سوم: موعد تحویل: سه‌شنبه ۱۶ اردیبهشت
- برنامه‌ی آموزش غیر حضوری، یکشنبه و سه‌شنبه ۱۴ و ۱۶ اردیبهشت ۱۳۹۹: مطالعه‌ی بخش۷.۲ و ۷.۳ از کتاب Martin. مباحث: ماشین تورینگ: تعاریف مقدماتی II.
- کلاس آنلاین اسکایپی: یکشنبه ۱۴ اردیبهشت ساعت ۱۱.
- برنامه‌ی آموزش غیر حضوری، یکشنبه و سه‌شنبه ۷ و ۹ اردیبهشت ۱۳۹۹: مطالعه‌ی بخش۷.۱ از کتاب Martin. مباحث: معرفی ماشین تورینگ: تعاریف مقدماتی I. می‌توانید برای تکمیل یادگیری، جلسه‌ی ۱۹اُم مکتب‌خونه را ببینید.
- کلاس آنلاین اسکایپی: یکشنبه ۷ اردیبهشت ساعت ۱۱.
- برنامه‌ی آموزش غیر حضوری، یکشنبه و سه‌شنبه ۳۱ فروردین و ۲ اردیبهشت ۱۳۹۹: مطالعه‌ی بخش‌های ۶.۱ و ۶.۲ و ۶.۳ از کتاب Martin. مباحث: لِمِ پامپینگ برای زبان‌های مستقل‌از‌متن. می‌توانید برای تکمیل یادگیری، جلسات شانزدهم و هفدهم مکتب‌خونه را ببینید.
- برنامه‌ی آموزش غیر حضوری، یکشنبه و سه‌شنبه ۲۴ و ۲۶ فروردین ۱۳۹۹: مطالعه‌ی بخش‌های ۵.۳ و ۵.۴ از کتاب Martin. مباحث: معادل بودن PDA و CFG. می‌توانید برای تکمیل یادگیری، جلسات یازدهم تا پانزدهم مکتب‌خونه را ببینید.
- برنامه‌ی آموزش غیر حضوری، سه‌شنبه ۱۹ فروردین ۱۳۹۹: مطالعه‌ی بخش‌های ۵.۱ و ۵.۲ از کتاب Martin. مباحث: مقدمات PDA.
- برنامه‌ی آموزش غیر حضوری، یکشنبه ۱۷ فروردین ۱۳۹۹: مطالعه‌ی بخش‌های ۴.۳ و ۴.۴ و ۴.۵ از کتاب Martin. مباحث: درخت اشتقاق، ابهام، فرم‌های نرمال. می‌توانید برای تکمیل یادگیری، جلسه‌ی دهم مکتب‌خونه را ببینید.
- برنامه‌ی آموزش غیر حضوری، سه‌شنبه ۲۷ اسفند ۱۳۹۸: مطالعه‌ی بخش‌های ۴.۱ و ۴.۲ از کتاب Martin. مباحث: زبان‌های مستقل از متن: معرفی و اثبات خواص مقدماتی بستاری. می‌توانید برای تکمیل یادگیری، جلسه‌ی نهم مکتب‌خونه را ببینید.
- برنامه‌ی آموزش غیر حضوری، سه‌شنبه ۲۰ اسفند و یکشنبه ۲۵ اسفند ۱۳۹۸: مطالعه‌ی بخش‌های ۳.۱ و ۳.۲ و ۳.۳ و ۳.۴ و ۳.۵ از کتاب Martin. مباحث: NFA و معادل بودن آن با DFA. می‌توانید برای تکمیل یادگیری، جلسات ۳ و۴ و ۵ مکتب‌خونه را ببینید.
- تمرین‌های سری دوم:
- سؤالات خود را می‌توانید از طریق گروه تلگرام یا ای-میل This email address is being protected from spambots. You need JavaScript enabled to view it. بپرسید.
- دستورالعمل ارسال تمرین‌ها: لطفاً به کمک اسکنر یا نرم‌افزارهای موبایلی، برای هر سری تمرین، یک فایل pdf خوانا با حجم حداکثر ۲ مگابایت تهیه و به آدرس This email address is being protected from spambots. You need JavaScript enabled to view it. ای-میل کنید. عنوان ای-میل من برای تمرین سری ۲: E2-Mojtaba Mojtahedi
- برنامه‌ی آموزش غیر حضوری، یکشنبه و سه‌شنبه ۱۱ و ۱۳ اسفند ۱۳۹۸ : مطالعه‌ی بخش‌های ۲.۴ و ۲.۶ از کتاب Martin. مباحث: لِمِ Pumping و کمینه‌سازی تعداد اِستیت‌های DFA. می‌توانید برای تکمیل یادگیری، جلسات ۶ و۷ مکتب‌خونه را ببینید.
- تمرین‌های سری اول:
- کلاس حل تمرین: سه‌شنبه‌ها ساعت ۱۳-۱۴.
- گروه تلگرام درس: https://t.me/foundationofcomputabilitytheory
- پیوند صفحه‌ی درس مربوط به سال‌های قبل که حاویِ نمونه‌سؤالات امتحان میان‌ترم به همراه پاسخ‌نامه و پاسخ برخی تمرین‌ها می‌باشد.
- ماتون، یک بازی اندروئیدی جالب برای یادگیری عبارات منظم و اتوماتون. گسترش‌دهندگان: آریا صادقی - آشنا گرگان‌محمدی
- زمان‌های تشکیل کلاس‌های تمرین: به زودی اعلام می‌شود
- کتاب اصلیِ درس: Introduction to Languages and the Theory of Computation , John Martin, 4th Edition, 2010
- کتاب کمکیِ درس: Introduction to the Theory of Computation, Michael Sipser, 3rd Edition, 2012
- آزمون میان‌ترم: سه‌شنبه ۲ اردیبهشت ۱۳۹۹ در کلاس درس
- تدریس‌یاران: خانم‌ها فاطمه حدّادی و ریحانه درفشی
- نحوه‌ی محاسبه‌ی نمره‌ی نهایی: ۱۰ نمره پایان‌ترم + ۸ نمره میان‌ترم + ۲نمره تمرین.
- اینجا صفحه‌ی اختصاصی درس مبانی نظریه‌محاسبه است که در ترم دوم سال تحصیلی ۹۹-۱۳۹۸ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.
- Details
- Hits: 1578
- کلاس‌های درس، از طریق این پیوند Skype و روزهای یکشنبه و سه‌شنبه ساعت ۴ تا ۶ عصر برگزار می‌شود.
- کلاس حل تمرین: .
- کانال تلگرام درس: @ut1400btc
- پیوند صفحه‌ی درس مربوط به سال‌های قبل که حاویِ نمونه‌سؤالات امتحان میان‌ترم به همراه پاسخ‌نامه و پاسخ برخی تمرین‌ها می‌باشد.
- ماتون، یک بازی اندروئیدی جالب برای یادگیری عبارات منظم و اتوماتون. گسترش‌دهندگان: آریا صادقی - آشنا گرگان‌محمدی
- زمان‌های تشکیل کلاس‌های تمرین: به زودی اعلام می‌شود
- کتاب کمکیِ درس: Introduction to Languages and the Theory of Computation , John Martin, 4th Edition, 2010
- کتاب اصلیِ درس: Introduction to the Theory of Computation, Michael Sipser, 3rd Edition, 2012
- تدریس‌یاران: آقای شایان پیغمبری و اشا سروش‌پور.
- اینجا صفحه‌ی اختصاصی درس مبانی نظریه‌محاسبه است که در ترم دوم سال تحصیلی ۹۹-۱۳۹۸ در دانشکده‌ی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه می‌شود.
