fa-flag
logo
  • همه دسته بندی ها
  • تحصیلی
  • برنامه نویسی و IT
  • زبان های خارجی
  • مهندسی
  • علوم پایه و پزشکی
  • علوم انسانی
  • هنر
  • مدیریت و کسب و کار
  • مالی و سرمایه گذاری
  • تربیت بدنی
اولین موتور جستجوی آموزشی در ایران
جستجوی پیشرفته
نظریه محاسبه نظریه ای برای بررس ماشین ها و عملکردشان به صورت انتزاعی است. در واقع با بررسی مدل هایی، در تلاش برای بررسی ”توان“ ابزارهای محاسباتی هستیم. ما در این درس از ماشین های ساده شروع می کنیم و کم کم آنها را قوی تر می کنیم تا به قویترین ابزار محاسبات که کامپیوترهای امروزی هستند برسیم.

فایل های سرفصل 1

1 معرفی درس و مبانی درس
1 معرفی درس و مبانی درس (رایگان)
حجم فایل: 275 مگابایت و 40 کیلوبایت مدت زمان: 52 دقيقه و 3 ثانيه
2 معرفی DFS
2 معرفی DFS (رایگان)
حجم فایل: 503 مگابایت و 180 کیلوبایت مدت زمان: 1 ساعت و 29 دقيقه
3 خواص بستاری DFA و معرفی NFA
3 خواص بستاری DFA و معرفی NFA (رایگان)
حجم فایل: 535 مگابایت و 350 کیلوبایت مدت زمان: 1 ساعت و 37 دقيقه
4 عبارت های منظم و قضیه کلینی
4 عبارت های منظم و قضیه کلینی (رایگان)
حجم فایل: 204 مگابایت و 700 کیلوبایت مدت زمان: 1 ساعت و 19 دقيقه
5 معادل بودن عبارت های منظم و زبان های منظمقضیه کلینی
5 معادل بودن عبارت های منظم و زبان های منظمقضیه کلینی (رایگان)
حجم فایل: 423 مگابایت و 390 کیلوبایت مدت زمان: 1 ساعت و 19 دقيقه
6 لم پمپاژ برای زبان های منظم
6 لم پمپاژ برای زبان های منظم (رایگان)
حجم فایل: 170 مگابایت و 490 کیلوبایت مدت زمان: 1 ساعت و 5 دقيقه
7 مینیمم سازی DFA
7 مینیمم سازی DFA (رایگان)
حجم فایل: 349 مگابایت و 330 کیلوبایت مدت زمان: 1 ساعت و 9 دقيقه
8 قضیه و رابطه ی مای هیل نرود
8 قضیه و رابطه ی مای هیل نرود (رایگان)
حجم فایل: 436 مگابایت و 440 کیلوبایت مدت زمان: 1 ساعت و 18 دقيقه
9 زبان های مستقل از متن CFL
9 زبان های مستقل از متن CFL (رایگان)
حجم فایل: 228 مگابایت و 760 کیلوبایت مدت زمان: 1 ساعت و 28 دقيقه
10 صورت نرمال چامسکی و لم پمپاژ
10 صورت نرمال چامسکی و لم پمپاژ (رایگان)
حجم فایل: 253 مگابایت و 710 کیلوبایت مدت زمان: 1 ساعت و 38 دقيقه
11 معادل بودن CFG و NPDA
11 معادل بودن CFG و NPDA (رایگان)
حجم فایل: 197 مگابایت و 990 کیلوبایت مدت زمان: 1 ساعت و 16 دقيقه
12 معرفی Pushdown Automata
12 معرفی Pushdown Automata (رایگان)
حجم فایل: 179 مگابایت و 860 کیلوبایت مدت زمان: 1 ساعت و 10 دقيقه
13 معادل بودن CFG و NPDA ادامه ، سلسله مراتب چامسکی
13 معادل بودن CFG و NPDA ادامه ، سلسله مراتب چامسکی (رایگان)
حجم فایل: 198 مگابایت و 530 کیلوبایت مدت زمان: 1 ساعت و 16 دقيقه
14 Deterministic Pushdown Automaton DPDA 1
14 Deterministic Pushdown Automaton DPDA 1 (رایگان)
حجم فایل: 268 مگابایت و 920 کیلوبایت مدت زمان: 1 ساعت و 40 دقيقه
15 Deterministic Pushdown Automaton DPDA 2
15 Deterministic Pushdown Automaton DPDA 2 (رایگان)
حجم فایل: 482 مگابایت و 920 کیلوبایت مدت زمان: 1 ساعت و 27 دقيقه
16 معرفی گرام های مستقل از متن
16 معرفی گرام های مستقل از متن (رایگان)
حجم فایل: 341 مگابایت و 480 کیلوبایت مدت زمان: 1 ساعت و 1 دقيقه
17 معرفی گرامر DCFGDK Test 1
17 معرفی گرامر DCFGDK Test 1 (رایگان)
حجم فایل: 315 مگابایت و 890 کیلوبایت مدت زمان: 1 ساعت و 3 دقيقه
18 گرامر LR1 , LR0 , DK Test
18 گرامر LR1 , LR0 , DK Test (رایگان)
حجم فایل: 444 مگابایت و 190 کیلوبایت مدت زمان: 1 ساعت و 26 دقيقه
19 ماشین های تورینگمعرفی
19 ماشین های تورینگمعرفی (رایگان)
حجم فایل: 214 مگابایت و 110 کیلوبایت مدت زمان: 1 ساعت و 23 دقيقه
20 ماشین تورینگ ، چندنواره و معادل بودن
20 ماشین تورینگ ، چندنواره و معادل بودن (رایگان)
حجم فایل: 219 مگابایت و 790 کیلوبایت مدت زمان: 1 ساعت و 25 دقيقه
21 ماشین تورینگ نامعین
21 ماشین تورینگ نامعین (رایگان)
حجم فایل: 188 مگابایت و 420 کیلوبایت مدت زمان: 1 ساعت و 13 دقيقه
22 تقسیم پذیری
22 تقسیم پذیری (رایگان)
حجم فایل: 186 مگابایت و 750 کیلوبایت مدت زمان: 1 ساعت و 12 دقيقه
23 تقسیم ناپذیریروش قطری سازی
23 تقسیم ناپذیریروش قطری سازی (رایگان)
حجم فایل: 251 مگابایت و 510 کیلوبایت مدت زمان: 1 ساعت و 37 دقيقه
24 Reduction
24 Reduction (رایگان)
حجم فایل: 218 مگابایت و 600 کیلوبایت مدت زمان: 1 ساعت و 24 دقيقه
25 تقسیم ناپذیریLinearly Bounded Automata
25 تقسیم ناپذیریLinearly Bounded Automata (رایگان)
حجم فایل: 256 مگابایت و 420 کیلوبایت مدت زمان: 1 ساعت و 39 دقيقه
26 mapping reducibility
26 mapping reducibility (رایگان)
حجم فایل: 96 مگابایت و 470 کیلوبایت مدت زمان: 37 دقيقه و 31 ثانيه

دیدگاه خود را از طریق فرم زیر ارسال نمایید

@ 1403 تمامی حقوق برای سامانه جامع مدرن آموز محفوظ است.
امکانات سامانه قوانین حریم خصوصی تماس با ما