مبانی نظریه محاسبه

poster
پیش‌نمایش دوره

نظریه محاسبه نظریه ای برای بررس ماشین ها و عملکردشان به صورت انتزاعی است. در واقع با بررسی مدل هایی، در تلاش برای بررسی ”توان“ ابزارهای محاسباتی هستیم. ما در این درس از ماشین های ... ادامه

برگزارکننده:  دانشگاه تهران  دانشگاه تهران
مدرس دوره:
4.2 (8 رای)
سطح: مقدماتی
 رایگان
  
زمان مورد نیاز برای گذراندن دوره:  26 جلسه
مجموع محتوای آموزشی:  34 ساعت ویدئو
 (قابل دانلود می‌باشد)

سرفصل‌های دوره مبانی نظریه محاسبه

فیلم های آموزشی

  

  جلسه اول - معرفی درس و مبانی درس
مشاهده
"52:02  
  جلسه دوم - معرفی DFA
مشاهده
"89:11  
  جلسه سوم - خواص بستاری DFA و معرفی NFA
مشاهده
"97:12  
  جلسه چهارم - عبارت های منظم و قضیه کلینی
"79:11  
  جلسه پنجم - معادل بودن عبارت های منظم و زبان های منظم(قضیه کلینی)
"79:01  
  جلسه ششم - لم پمپاژ برای زبان های منظم
"65:54  
  جلسه هفتم - مینیمم سازی DFA
"69:01  
  جلسه هشتم - قضیه و رابطه ی مای هیل- نرود
"78:20  
  جلسه نهم - زبان های مستقل از متن (CFL)
"88:18  
  جلسه دهم - صورت نرمال چامسکی و لم پمپاژ
"98:02  
  جلسه یازدهم - معادل بودن CFG و NPDA
"76:50  
  جلسه دوازدهم - معرفی Pushdown Automata
"70:21  
  جلسه سیزدهم - معادل بودن CFG و NPDA (ادامه) ، سلسله مراتب چامسکی
"76:51  
  Deterministic Pushdown Automaton (DPDA) 1 - جلسه چهاردهم
"100:52  
  Deterministic Pushdown Automaton (DPDA) 2 - جلسه پانزدهم
"87:31  
  جلسه شانزدهم - معرفی گرام های مستقل از متن
"61:48  
  جلسه هفدهم - معرفی گرامر DCFG(DK-Test) 1
"63:11  
  جلسه هجدهم - گرامر LR(1) , LR(0) , DK-Test
"86:45  
  جلسه نوزدهم - ماشین های تورینگ(معرفی)
"83:13  
  جلسه بیستم - ماشین تورینگ ، چندنواره و معادل بودن
"85:08  
  جلسه بیست و یکم - ماشین تورینگ نامعین
"73:31  
  جلسه بیست و دوم - تقسیم پذیری
"72:22  
  جلسه بیست و سوم - تقسیم ناپذیری(روش قطری سازی)
"97:12  
  جلسه بیست و چهارم - Reduction
"84:25  
  جلسه بیست و پنجم - تقسیم ناپذیری(Linearly Bounded Automata)
"99:28  
  جلسه بیست و ششم - mapping reducibility
"37:30  

درباره دوره

نظریه محاسبه نظریه ای برای بررس ماشین ها و عملکردشان به صورت انتزاعی است. در واقع با بررسی مدل هایی، در تلاش برای بررسی ”توان“ ابزارهای محاسباتی هستیم. ما در این درس از ماشین های ساده شروع می کنیم و کم کم آنها را قوی تر می کنیم تا به قویترین ابزار محاسبات که کامپیوترهای امروزی هستند برسیم.

درباره استاد

maktabkhooneh-teacher مجید علیزاده

دکتر مجید علیزاده استاد دانشکده ریاضی دانشگاه تهران است.

مشاهده پروفایل و دوره‌‌های استاد

نظرات کاربران

تا کنون نظری برای این دوره ثبت نشده است. برای ثبت نظر باید ابتدا در دوره ثبت نام کرده و دانشجوی دوره باشید.
فاطمه راضیه 1402-12-09
خیلی کیفیت بده نمی فهمم چی نوشته شده البته بعد از چند جلسه مشکل رفع میشه
1402-03-21
تدریس استاد عالی و فیلمبردای مکتب خونه جسارتا افتضاح..چرا روی تخته زوم نمیکنید ؟
1401-01-02
عالی عالی عالی واقعا تدریس روان و قابل فهمی دارن. خدا ایشون و افرادی که این آموزش ها رو برای ما هم قابل استفاده کردن خیر بده.
1400-10-24
سلام خسته نباشید دوره واقعا عالیه ، کیفیت اگر یه مقدار بهتر بود که عالی میشد اما الان با همین کیفیتی هم که داره میشه بیشتر مطالب نوشته شده رو تخته رو متوجه شد با توجه به نظرات داده شده در سال پیش مثل اینکه کیفیت فیلم بالاتر رفته در حال حاظر در کل خیلی ممنون
1399-02-08
چون با فاصله فیلمبرداری شده یا باید از تخته استفاده بشه که معمولا درشت تر نوشته می شه یا در تخته وایت برد بزرگ تر بنویسن
آرمان مطلق 1399-01-09
تدریس ایشون بسیار عالیه. منکه به شخصه لذت بردم. فقط نکته ای که بسیار بسیار اذیت میکنه اینه که دوربین روی تخته زوم نمیشه و عملا نمیشه خیلی از نکته هایی که استاد روی تخته یادداشت میکنند رو خوند. و بعد از یه مدت چون صحبت های ایشون به این نکات وابسته است دیگه نمی تونم دنبال کنم درس رو و این خیلی آزاردهنده است. کاش میشد راه حلی برای این مسئله پیدا کرد. ( البته الان تا لکچر ۲ رو دیدم و همین وضعیت بوده. شاید در لکچر های بعدی این مشکل حل شده باشه که امیدوارم اینطوری باشه :(‌ )
1399-07-08
کیفیت ویدیوهای ضبط شده خیلی پایین است و عملا غیرقابل استفاده است. لطف کنید ترتیبی بدید که کیفیت دروس ضبط شده بالا و تا حد ممکن حجم ویدیوها پایین باشد تا برای آرشیو در کامپیوتر مناسب باشند . ممنون
مکتب‌خونه
همراه عزیز؛ از اینکه نظر خود را با ما در میان گذاشتید صمیمانه سپاسگزاریم. موارد مطرح شده جهت بررسی بیشتر به بخش مربوطه ارسال شد. در صورت نیاز به پیگیری بیشتر با شما در ارتباط خواهیم بود.

دوره‌های پیشنهادی

سوالات پرتکرار

آیا ممکن است که درسی ناقص ضبط شده باشد؟
ما همواره تلاش کرده­‌ایم که دروس را به طور کامل ضبط نماییم و در اختیار شما دوستان قرار دهیم. اما گاهی برخی ناهماهنگی ها سبب می شود که یک یا تعدادی از جلسات یک درس ضبط نشود. توضیح این گونه نواقص در توضیح درس­ ها آمده است.

سوالات پرتکرار

اگر لینک دانلود یا پخش ویدئو مشکل داشت چه باید کرد؟
در صورتی که با هر گونه مشکلی رو به رو شدید می توانید از طریق صفحه ارتباط با ما به ما اطلاع دهید تا ما سریعا مشکل را پیگیری و برطرف نماییم.

سوالات پرتکرار

آیا امکان دریافت فیلم های یک درس به صورت سی دی یا دی وی دی وجود دارد؟
در حال حاضر امکان ارسال دروس به صورت سی دی یا دی وی دی وجود ندارد.
صفحات پربازدید
poster
پیش‌نمایش دوره
  
برگزار کننده:  دانشگاه تهران
  
زمان مورد نیاز برای گذراندن دوره:  26 جلسه
مجموع محتوای آموزشی:  34 ساعت ویدئو
 (قابل دانلود می‌باشد)