- دستورالعمل تحویل پروژه و ارزیابی مختصر شفاهی به صورت آنلاین: (شنبه ۲۵ مرداد)
۱- در زمان تعیین شده در جدول زمانی، با زدن روی این پیوند، به گروه اسکایپی بپیوندید.
۲- حتما با لپتاپی که روی آن امکان نمایش متن پروژه هست این کار را انجام داده و علاوه بر روشن گذاشتن میکروفون و وبکم، اسکرین لپتاپتان که روی آن متن پروژه قرار دارد را هم با من به اشتراک بگذارید. به دلیل محدودیت زمانی، حتماً پیش از تحویل پروژه، همهی این موارد را به صورت آزمایشی با یکی از دوستانتان امتحان کنید.
۳- پس از اتمام پرسشها، گروه اسکایپی را تَرک کنید.
۴- پیش و پس از بازهی زمانی مربوط به خودتان در گروه اسکایپی نباشید.فقط زمان تحویل پروژه.
۵- در ابتدای گزارش پروژه، نام، نام خانوادگی، شمارهی دانشجوییتان و فایل پروژه را در همان گروه اسکایپی، بدون هیچ گونه متن اضافهتری ارسال کنید.
۶- در صورتی که در روزهای ارائهی پروژه سؤالی فوری از من دارید، میتوانید از طریق واتساَپ به شمارهی ۰۹۰۳۱۸۹۸۴۶۹ در میان بگذارید.
برای همهی شما آرزوی موفقیت دارم. - نمرات تمرینها
در صورتی که فکر میکنید در محاسبهی نمرهی شما خطایی رخ داده، حداکثر تا جمعه ۲۷ تیر ۱۳۹۹ با من تماس بگیرید (تلگرام، واتساپ یا ایمیل) توجه: سلولهای زردرنگ، تمرینهایی هستند که با تاخیر تحویل داده شدهاند.
- تمرینهای سری چهارم:
موعد تحویل: ۱۷ تیر
- در صورتی که تمایل به ارزیابیِ مفصلِ شفاهی و آنلاین (اسکایپی) دارید، تا سهشنبه ۱۰ تیر، نام، نام خانوادگی و شمارهی دانشجویی خود را (علاوه بر نوشتهای که بیان میکند گزینهی انتخابیتان برای ارزیابی، آنلاین و شفاهی خواهد بود) برایم ارسال کنید (تلگرام، واتساپ یا ایمیل). توجه: ارزیابی مفصل شفاهی در روز امتحان (۱۷ تیر) خواهد بود و جدول زمانبندی آن از همین طریق اعلان خواهد شد.
- موضوعات پروژهی درس. توجه۱: لطفاً بعد از بررسی موضوعات پروژه، موضوع انتخابی خود را حداکثر تا سهشنبه ۱۰ تیر با ارسال یک پیام (تلگرام، واتساپ یا ایمیل) به من مشخص کنید. حتماً در پیام خود کُدِ پروژه، نام، نام خانوادگی و شمارهی دانشجویی را ارسال کنید. دقت کنید که شمارهی دانشجویی با حروف لاتین ارسال شود. توجه۲: انجام پروژهها بهصورت انفرادی است. توجه۳: حتماً پیش از شروع انجام پروژه، تایید من را که در جواب پیامتان برای شما ارسال میکنم دریافت کنید. توجه۴: همهی پروژهها نیازمند گزارش مکتوب دستنویساند. توجه۵: مهلت ارسال پروژهها: ۱۵ مرداد ۱۳۹۹. توجه۶: ارائهی پروژهها به صورت پرسش و پاسخ و از طریق اسکایپ خواهد بود. جدول زمانی ارائهی پروژهها و لینک اسکایپ متعاقبا از همین طریق اعلان خواهد شد. توجه۷: یافتن منبع مناسب برای برخی از پروژهها بخشی از پروژه است، هرچند میتوانید در مورد خوب یا بد بودن منابعی که برای پروژهی خود یافتهاید از من یا تدریسیارانتان در گروه تلگرام درس راهنمایی بگیرید. پیوندهای ویکیپدیا صرفاً برای تبیین صورت مسأله و روشن کردن موضوع آمدهاند.
- نحوهی ارزیابی و محاسبهی نمرهی نهایی به این صورت است: نمرهی نهایی= تمرین (۴نمره) + پروژه (۶نمره) + ارزیابیِ مختصر شفاهی و آنلاین (۲نمره) + ارزیابیِ دلخواه (۸نمره). در این فرمول ارزیابیِ دلخواه به انتخاب دانشجو، به یکی از روشهایی که در پی میآید محاسبه خواهد شد: (الف) آزمون مفصل (حدود یکساعته) شفاهی و آنلاین، (ب) «معدل دانشجو در سامانهی آموزش بهعلاوهی ۳» ضربدر ۴دَهُم. توجه۱: ارزیابی مختصر شفاهی، همزمان با ارائهی پروژه خواهد بود که جدول زمانیِ آن به زودی اعلام خواهد شد. توجه۲: ارزیابی مفصل شفاهی در تاریخ ۱۷ تیر به عمل خواهد آمد و در صورتی که دانشجو این نحوه را برای ارزیابی برگزیند، امکان تغییر آن پس از ارزیابی شفاهی وجود نخواهد داشت. توجه۳: در مورد موضوع پروژهها، زمان ارائهی پروژهها و مهلت تحویل آنها جداگانه توضیح خواهم داد.
- کلاس آنلاین اسکایپی: یکشنبه ۱۱ خرداد ساعت ۱۱.
- برنامهی آموزش غیر حضوری، یکشنبه و سهشنبه ۲۸ و ۳۰ اردیبهشت ۱۳۹۹: مطالعهی بخش ۷.۶ از کتاب 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
- آزمون میانترم: سهشنبه ۲ اردیبهشت ۱۳۹۹ در کلاس درس
- تدریسیاران: خانمها فاطمه حدّادی و ریحانه درفشی
- نحوهی محاسبهی نمرهی نهایی: ۱۰ نمره پایانترم + ۸ نمره میانترم + ۲نمره تمرین.
- اینجا صفحهی اختصاصی درس مبانی نظریهمحاسبه است که در ترم دوم سال تحصیلی ۹۹-۱۳۹۸ در دانشکدهی ریاضی، آمار و ع.ک. دانشگاه تهران ارائه میشود.
Education
مبانی نظریّه محاسبه، بهار ۹۹
- Details
- Hits: 1702