00:00 / 00:00
1.8x
1.4x
1.0x
0.7x
HD SD
HD
SD
ثبت‌نام رایگان
  • دسترسی به کل جلسات ویدیویی از دوره
  • دسترسی به کل جلسات ویدیویی از دوره
  • اضافه شدن دوره به پروفایل
00:00 / 00:00
1.8x
1.4x
1.0x
0.7x
HD SD
HD
SD

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

دوره‌های رایگان
26 جلسه
95٪ (121 رای)
نظریه محاسبه نظریه ای برای بررس ماشین ها و عملکردشان به صورت انتزاعی است. در واقع با بررسی مدل هایی، در تلاش برای بررسی ”توان“ ابزارهای محاسباتی هستیم. ما در این درس از ماشین های ساده شروع می کنیم و کم کم آنها را قوی تر می کنیم تا به قویترین ابزار محاسبات که کامپیوترهای امروزی هستند برسیم.

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

فیلم های آموزشی
34:13 ساعت
34:13
Combined Shape Created with Sketch. 26 جلسه

  

جلسه اول - معرفی درس و مبانی درس
"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
استاد دوره
مجید علیزاده

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

اطلاعات بیشتر

نظرات  (3 نظر)

کاربر مکتب‌خونه
03:52 - 1399/07/08
کاربر‌ سایت
کیفیت ویدیوهای ضبط شده خیلی پایین است و عملا غیرقابل استفاده است. لطف کنید ترتیبی بدید که کیفیت دروس ضبط شده بالا و تا حد ممکن حجم ویدیوها پایین باشد تا برای آرشیو در کامپیوتر مناسب باشند . ممنون
پشتیبانی مکتب‌خونه
همراه عزیز؛ از اینکه نظر خود را با ما در میان گذاشتید صمیمانه سپاسگزاریم. موارد مطرح شده جهت بررسی بیشتر به بخش مربوطه ارسال شد. در صورت نیاز به پیگیری بیشتر با شما در ارتباط خواهیم بود.
کاربر مکتب‌خونه
19:01 - 1399/02/08
کاربر‌ سایت
چون با فاصله فیلمبرداری شده یا باید از تخته استفاده بشه که معمولا درشت تر نوشته می شه یا در تخته وایت برد بزرگ تر بنویسن
آرمان
14:57 - 1399/01/09
کاربر‌ سایت
تدریس ایشون بسیار عالیه. منکه به شخصه لذت بردم. فقط نکته ای که بسیار بسیار اذیت میکنه اینه که دوربین روی تخته زوم نمیشه و عملا نمیشه خیلی از نکته هایی که استاد روی تخته یادداشت میکنند رو خوند. و بعد از یه مدت چون صحبت های ایشون به این نکات وابسته است دیگه نمی تونم دنبال کنم درس رو و این خیلی آزاردهنده است. کاش میشد راه حلی برای این مسئله پیدا کرد. ( البته الان تا لکچر ۲ رو دیدم و همین وضعیت بوده. شاید در لکچر های بعدی این مشکل حل شده باشه که امیدوارم اینطوری باشه :(‌ )

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

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

×

ثبت نظر

به این دوره از ۱ تا ۵ چه امتیازی می‌دهید؟

فیلم های آموزشی
34:13 ساعت
34:13
Combined Shape Created with Sketch. 26 جلسه

  

جلسه اول - معرفی درس و مبانی درس
"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