×
زمان تقریبی انتشار: ۴ تا ۱۲ هفته

آموزش نظریه محاسبه - پیش ثبت نام

آموزش نظریه محاسبه - پیش ثبت نام

درخواست اطلاع رسانی انتشار این آموزش
وضعیت انتشار: در حال برنامه ریزی
زمان تقریبی انتشار: بر حسب تعداد درخواست های دانشجویان و اولویت زمانی و آموزشی اعضای هیات علمی فرادرس، انتشار این آموزش در واحد نشر فرادرس اولویت سنجی می شود. انتشار یک آموزش پس از شروع به ضبط معمولا ۴ تا ۱۲ هفته زمان می برد.
این آموزش در حال برنامه ریزی برای ارائه در فرادرس است و انتشار سریع تر آن، بستگی به تعداد متقاضیان این آموزش دارد. چنانچه شما نیز تمایل به انتشار سریع این آموزش دارید در این آموزش پیش ثبت نام نمایید.
آموزش نظریه محاسبه - پیش ثبت نام

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

آموزش نظریه محاسبه - پیش ثبت نام

درخواست اطلاع رسانی انتشار این آموزش
وضعیت انتشار: در حال برنامه ریزی
زمان تقریبی انتشار: بر حسب تعداد درخواست های دانشجویان و اولویت زمانی و آموزشی اعضای هیات علمی فرادرس، انتشار این آموزش در واحد نشر فرادرس اولویت سنجی می شود. انتشار یک آموزش پس از شروع به ضبط معمولا ۴ تا ۱۲ هفته زمان می برد.
این آموزش در حال برنامه ریزی برای ارائه در فرادرس است و انتشار سریع تر آن، بستگی به تعداد متقاضیان این آموزش دارد. چنانچه شما نیز تمایل به انتشار سریع این آموزش دارید در این آموزش پیش ثبت نام نمایید.

فرادرس از جهت فرصت آموختن، یک محیط کاملا باز (بدون هیچ مرز و شرط برای ورود) برای همه است. اما از جهت فرصت آموزش دادن، یک محیط به شدت بسته است و مدرسین آن با عبور از سخت ترین ضوابط علمی و فیلترهای مهارت آموزشی برگزیده و دستچین می شوند. در چندین سال گذشته کمتر از 5 درصد متقاضیان تدریس در فرادرس توانسته اند به مرحله نهایی ارائه آموزش در آن برسند. ارائه یک آموزش توسط «گروه مدرسین فرادرس» تضمینی برای کیفیت آن می باشد.

توضیحات تکمیلی

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

با پیشرفت های روز افزون در زمینه توسعه الگوریتم های کامپیوتری همچنان سوالات زیادی در ارتباط با محدودیت های محاسبات با این الگوریتم ها وجود دارد به طوری که از هفت مساله باز قرن ۲۱ که توسط انجمن ریاضی کلی در سال ۲۰۰۰ طرح شده اند و دارای جایزه یک میلیون دلاری می باشند یک مساله مربوط به نظریه محاسبه می باشد.

استفاده از مفاهیم نسبتا پیچیده ریاضی برای اثبات قضایای چون تز چرچ - تورینگ و یا مساله کاهش پذیری از یک طرف و واضح نبودن ارتباط این درس با سایر دروس علوم کامپیوتر یادگیری این درس را برای دانشجویانی که برای اولین بار با این مطالب مواجه می شوند سخت و پیچیده می کند.

در این دوره ضمن ارائه چارچوبی قابل فهم برای درک مطالب مرتبط با درس نظریه محاسبه سعی خواهیم نمود جنبه های ملموس این درس مانند ارتباط آن با سایر دروس رشته علوم کامپیوتر مانند: معماری کامپیوتر، ٰطراحی الگوریتم و رمز نگاری را به روشنی شرح دهیم.

ارائه درس نظریه محاسبه بر اساس سرفصل وزارت علوم به گونه ای که ضمن یادگیری مفاهیم لازم فراگیر دید روشنی نسبت به روند تاریخی این درس و کاربردهای آن در حال حاضر پیدا نماید از اهداف اصلی این دوره خواهد بود.

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

فهرست سرفصل ها و رئوس مطالب مطرح شده در این مجموعه آموزشی، در ادامه آمده است:
  • درس یکم: ماشین تورینگ و انواع آن
    • تعریف ماشین تورینگ
    • برنامه نویسی ماشین های تورینگ
    • مسائل ۲۳ گانه هیلبرت
    • سیر تاریخی مسئله تورینگ
    • قضیه چرچ - تورینگ
    • انواع ماشین تورینگ
    • شبیه سازی چند ماشین تورینگ
    • تشریح معادل بودن عملکرد ماشین تورینگ و عملکرد کامپیوترهای واقعی
  • درس دوم: تصمیم پذیری و تصمیم ناپذیری ناپذیری
    • تصمیم پذیری زبان های منظم
    • تصمیم پذیری زبان های مستقل متن
    • مسئله پست PCP
    • ماشین تورینگ عمومی و مسئله تصمیم پذیری
  • درس سوم: کاهش پذیری
    • مسئله توقف و تصمیم ناپذیری
    • تبین مسئله کاهش پذیری
    • چند مثال در مورد کاهش پذیری
  • درس چهارم: کلاس مسائل P و NP
    • زمان چند جمله ای
    • کارایی در انواع ماشین تورینگ
    • کلاس P
    • مسائل NP
    • مسئله SAT و 3SAT
    • کلاس P و NP و مسئله کاهش پذیری
    • کاهش پذیری SAT و 3SAT به یکدیگر
    • قضیه کوک - لوین

مفید برای رشته های
  • علوم کامپیوتر
  • مهندسی کامپیوتر
  • ریاضی

پیش نیاز





راهنمای سفارش آموزش‌ها

آیا می دانید که تهیه یک آموزش از فرادرس و شروع یادگیری چقدر ساده است؟

(راهنمایی بیشتر +)

در مورد این آموزش یا نحوه تهیه آن سوالی دارید؟
  • با شماره تلفن واحد مخاطبین ۵۷۹۱۶۰۰۰ (پیش شماره ۰۲۱) تماس بگیرید. - تمام ساعات اداری
  • با ما مکاتبه ایمیلی داشته باشید (این لینک). - میانگین زمان پاسخ دهی: ۳۰ دقیقه


اطلاعات تکمیلی

نام آموزش آموزش نظریه محاسبه - پیش ثبت نام
ناشر فرادرس
کد آموزش FVSFT121
زبان فارسی
نوع آموزش آموزش ویدئویی (نمایش آنلاین + دانلود)






نظرات

Ftme
Ftme
۱۳۹۹/۰۱/۲۲

لطفا هرچه سریعتر این آموزش رو منتشر کنید🙏🏻🙏🏻🙏🏻
پاسخ به نظر

مهدی
مهدی
۱۳۹۸/۱۱/۱۶

لطفا این فرادرس رو زودتر منتشر کنید
پاسخ به نظر

sahar
sahar
۱۳۹۸/۱۱/۱۳

لطفا زودتراین آموزش رو منتشر کنید
پاسخ به نظر

parham
parham
۱۳۹۸/۰۸/۱۹

لطفاً این آموزش رو هرچه سریعتر منتشر کنید
پاسخ به نظر

فرناز
فرناز
۱۳۹۸/۰۸/۰۴

لطفا این آموزش را منتشر کنید
پاسخ به نظر

Ayda
Ayda
۱۳۹۸/۰۷/۰۵

لطفاً این آموزش رو هرچه سریعتر منتشر کنید
پاسخ به نظر

هادی
هادی
۱۳۹۷/۰۶/۰۹

امیدوارم این آموزش هرچه سریع تر منتشر بشه
پاسخ به نظر

برچسب‌ها:
انواع ماشین تورینگ | برنامه نویسی ماشین های تورینگ | تبین مسئله کاهش پذیری | تصمیم پذیری زبان های مستقل متن | تصمیم پذیری زبان های منظم | تعریف ماشین تورینگ | زمان چند جمله ای | سیر تاریخی مسئله تورینگ | شبیه سازی چند ماشین تورینگ | قضیه چرچ - تورینگ | کارایی در انواع ماشین تورینگ | کلاس مسائل P و NP | مسئله پست PCP | مسئله توقف و تصمیم ناپذیری | مسائل 23 گانه هیلبرت
مشاهده بیشتر مشاهده کمتر

×
فهرست جلسات ۰ جلسه ویدئویی
×