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

دسترسی به اطلاعات این آموزش: اطلاعات کلی محتوا و سرفصل ها پیش نمایش و دانلود اطلاعات تکمیلی دیدگاه ها

درباره ناشر

فرادرس
فرادرس

فرادرس بزرگ‌ترین ناشر دیجیتال آموزش‌های تخصصی، دانشگاهی و مهندسی است.

درباره مدرس

گروه مدرسین فرادرس
گروه مدرسین فرادرس

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



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

👤 مدرس: گروه مدرسین فرادرس
روش دریافت: لینک دانلود و/یا ارسال فیزیکی

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

درخواست اطلاع رسانی انتشار این آموزش

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

مزایای درخواست اطلاع رسانی انتشار:

  • مطلع شدن از انتشار آموزش در اولین زمان پس از انتشار
  • دادن بیشترین اولویت انتشار به آموزش های مورد نظر خود (آموزش های با بیشترین پیش ثبت نام، با اولویت بیشتری منتشر می شوند)
  • دریافت تخفیف ویژه به هنگام انتشار، مختص افرادی که درخواست اطلاع رسانی در یک آموزش داشته اند.

Please leave this field empty.




    توضیحات

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

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

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

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

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

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

     

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

     

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


    پیش نیاز


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

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



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



    مطالب مرتبط


    دیدگاه ها

    نظر شما در مورد این فرادرس چیست؟

    امتیاز شما به این آموزش:

    *




درخواست اطلاع رسانی انتشار این آموزش

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

مزایای درخواست اطلاع رسانی انتشار:

  • مطلع شدن از انتشار آموزش در اولین زمان پس از انتشار
  • دادن بیشترین اولویت انتشار به آموزش های مورد نظر خود (آموزش های با بیشترین پیش ثبت نام، با اولویت بیشتری منتشر می شوند)
  • دریافت تخفیف ویژه به هنگام انتشار، مختص افرادی که درخواست اطلاع رسانی در یک آموزش داشته اند.

Please leave this field empty.



برچسب‌ها: , , , , , , , , , , , , , ,




فرادرس در رسانه ها و جشنواره ها

روزنامه ایرانیان مرکز توسعه فناوری اطلاعات و رسانه های دیجیتال روز آفرین نت استارت کنفرانس مهندسی برق ایران جشنواره وب ایران

عضویت در خبرنامه فرادرس

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

Please leave this field empty.

تمامی محصولات و خدمات این وبسایت، حسب مورد دارای مجوزهای لازم از مراجع مربوطه می‌باشند و فعالیت‌های این سایت تابع قوانین و مقررات جمهوری اسلامی ایران است.
فرادرس مجوز نشر دیجیتال از وزرات فرهنگ و ارشاد اسلامی logo-samandehi پرداخت آنلاین -  بانک ملت پرداخت آنلاین - بانک پارسیان پرداخت آنلاین - بانک اقتصاد نوین پرداخت آنلاین - بانک سامان