وبینار رایگان برنامه ریزی و حفظ تمرکز در شرایط فعلی یکشنبه ساعت ١٩
اطلاعات وبینار
کنکور کامپیوتر

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

در این صفحه سرفصل درس نظریه محاسبات معرفی شده است، همین طور در خصوص هدف این درس، نحوه ارزشیابی و منابع این درس توضیح داده شده است

در این صفحه به بررسی در‌س نظریه محاسبات شامل :هدف این درس، ریز موارد و سرفصل های درس نظریه محاسبات، نحوه ارزیابی و مراجع این در پرداخته‌ایم. شما عزیزان می‌توانید برای آشنایی با سایر دروس رشته کامپیوترمعرفی و بررسی دروس رشته مهندسی کامپیوترمعرفی و بررسی دروس رشته مهندسی کامپیوتردر این صفحه تمامی دروس رشته کامپیوتر بطور کامل معرفی شده است، همچنین سرفصل هر یک از این دروس و منابع آن نیز برای شما عزیزان معرفی شده است به صفحه مذکور مراجعه کنید.

در صورتیکه به این مقاله علاقه‌مند هستید، ممکن است صفحات زیر نیز برای شما جذاب باشد:

  1. معرفی کامل و 0 تا 100 رشته کامپیوترمعرفی کامل رشته کامپیوتر- بررسی درآمد و شغل های رشته کامپیوترمعرفی کامل رشته کامپیوتر- بررسی درآمد و شغل های رشته کامپیوتردر این صفحه به بررسی و موشکافی رشته کامپیوتر اعم از بررسی بازار کار، گرایش‌ها، دروس و چارت درسی رشته کامپیوتر، میزان درآمد و حقوق فارغ التحصیلان این رشته و ادامه تحصیل در رشته کامپیوتر پرداخته‌ شده است.
  2. رشته کامپیوتر برای دخترآیا رشته کامپیوتر برای دختران مناسبت است؟آیا رشته کامپیوتر برای دختران مناسبت است؟آمارها حاکی از آن است که زنان به سرعت در حال پیشرفت در علوم کامپیوتر و گرفتن شغل­‌های تخصصی و حساس هستند در نتیجه در این صفحه نقش خانم‌ها را در رشته کامپیوتر بررسی و به طور کامل تحلیل کرده‌ایم. مناسب است.
  3. آیا رشته کامپیوتر سخت استآیا رشته کامپیوتر سخت استآیا رشته کامپیوتر سخت استبعضی از دانشجویان اغلب به علت فهم نادرست، استفاده از منبع آموزشی بی‌کیفیت و یا نگذاشتن زمان کافی بر روی درس از جانب خود فرد، دروس یک رشته را سخت تلقی می‌کنند در صورتی که اغلب شنیده‌ایم که سختی و آسانی یک رشته و یا درس نسبی است. در این صفحه این موضوع بسط داده‌ شده است..
  4. بررسی درامد رشته کامپیوتربررسی درآمد رشته کامپیوتر در ایران و خارج از کشوربررسی درآمد رشته کامپیوتر در ایران و خارج از کشوردر این صفحه به بررسی درامد رشته کامپیوتر در ایران و همچنین درامد رشته کامپیوتر در خارج از کشور از جمله کانادا، آمریکا، انگلیس، فرانسه و دیگر کشورها پرداخته شده است در ایران و خارج از کشور
  5. بررسی شغل های رشته کامپیوترمعرفی و بررسی مشاغل رشته کامپیوترمعرفی و بررسی مشاغل رشته کامپیوتردر این صفحه تمامی شغل‌های رشته کامپیوتر در ایران و خارج از کشور، شغل‌های رشته کامپیوتر برای خانم‌ها و شغل‌های پردرآمد رشته کامپیوتر و بهترین مشاغل رشته کامپیوتر در سال 2022 بررسی شده است..
  6. معرفی بهترین دانشگاه های ایران به ترتیبمعرفی و بررسی بهترین دانشگاه های ایرانمعرفی و بررسی بهترین دانشگاه های ایرانتقریبا تمامی دانشجویان و دانش‌آموزان در دوران تحصیل و به خصوص در هنگام انتخاب رشته می‌خواهند بدانند که بهترین دانشگاه های ایران به ترتیب چه دانشگاه‌هایی هستند، برای پاسخ به این پرسش در این صفحه رنکینگ دانشگاه های ایران در جهان را از نگاه نظام‌های رتبه بندی معتبر بررسی شده است 
  7. برنامه نویسی کامپیوتربرنامه نویسی کامپیوتر چیست و چطور می توانید یک برنامه نویس موفق شوید؟برنامه نویسی کامپیوتر چیست و چطور می توانید یک برنامه نویس موفق شوید؟در عصر فعلی برنامه‌نویسی یکی از پرطرفدارترین شغل‌های دنیاست، دغدغه‌‌ای افرادی که می‌خواهند در مسیر برنامه‌نویس شدن قدم بردارند این است که نمی‌دانند از کجا باید شروع کنند، در این صفحه هر آن چه برای تبدیل شدن به یک برنامه نویس حرفه ای نیاز دارید در اختیارتان قرار گرفته است چیست و چطور می‌توان یک برنامه نویس موفق شد.
  8. معرفی کامل و 0 تا 100 رشته فناوری اطلاعاتمعرفی فناوری اطلاعات (IT) - 7 دلیل برای انتخاب رشته آی تی در دانشگاهمعرفی فناوری اطلاعات (IT) - 7 دلیل برای انتخاب رشته آی تی در دانشگاهآی تی چیست و چگونه پس از ظهور توانست در مدت فقط 20 سال تمام دنیا را فرا بگیرد و اکثر پول دنیا را ببلعد و پرطرفدارترین و پر درآمدترین مشاغل دنیا را در بر گیرد، با بررسی کامل آی تی با ما همراه باشید..

نظریه محاسبات (شماره درس: ۴٠۴۵۵)

Theory of Computation
تعداد واحد 3
نوع درس نظری
پیش نیاز ساختمان داده ها و الگوریتم ها
هم نیاز -

اهداف درس نظریه محاسبات

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

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

  1. نظریه ی محاسبه پذیری و مقدمه ای بر پیچیدگی محاسبات
    • مدل تورینگی محاسبه، تز تورینگ‐چرچ، توابع و زبانهای تصمیم پذیر (بازگشتی)، توابع و زبان های تشخیص پذیر (بازگشتیانه شمارش پذیر)، توابع محاسبه نا پذیر، مساله ی توقف، ماشین تورینگ جهانی، ماشین تورینگ چند نواری و ماشین تورینگ غیرقطعی و قضایای معادل بودن آنها (٣ جلسه)
      • روش های اثبات تصمیم ناپذیری و تشخیص ناپذیری زبان ها شامل روش کاهش به مساله توقف و روش کاهش تابعی (٢ جلسه)
      • مقدمه ای بر سایر مدل های محاسبه (٢ جلسه)
  2. مدل ماشین دسترسی تصادفی (RAM) فون نیومان
  3. نظریه ی توابع بازگشتی کلینی
  4. حساب لامبدا چرچ
  5. سیستم های پست
    • قضیه ی بازگشتی و خود‐ارجاعی (١ جلسه)
    • تعریف محاسباتی اطلاعات و پیچیدگی رشته ای (٢ جلسه)
    • مقدمه ای بر نظریه ی پیچیدگی و مروری بر کلاس های پیچیدگی زمان و حافظه و مسایل دشوار (٣ جلسه)
  6. منطق ریاضی از منظر نظریه ی محاسبات
    • منطق گزاره ها، نحو و معناشناسی آن، سیستم استنتاجی اصل موضوعی و قضایای صحت و تمامیت آن، قضایای تصمیم پذیری منطق گزاره ها (٢ جلسه)
    • منطق مرتبه اول، نحو و معناشناسی آن، قضایای فشردگی و لوون هایم‐اسکولم (٢ جلسه)
    • سیستم استنتاجی اصل موضوعی منطق مرتبه ی اول و قضیه ی صحت آن (١ جلسه)
    • قضیه ی گدل در تمامیت سیستم استنتاجی منطق مرتبه ی اول (١ جلسه)
    • قضیه چرچ در تصمیم ناپذیری منطق مرتبه ی اول (٢ جلسه)
    • سیستم های اصل موضوعی نظریه اعداد و قضیه ناتمامیت گدل (شکل اول و دوم) (٢ جلسه)
  7. مقدمه ای بر نظریه آتوماتا بر ورودی های نامتناهی
    • آتوماتای بوخی و رابین بر رشته های نامتناهی (٢ جلسه)
    • قضایای مربوط به مکمل کردن و آزمون تهی بودن زبان آتوماتای بوخی، آتوماتای بوخی غیرقطعی، قضیه سفرا (٣جلسه)
    • مقدمه ای بر رابطه مسایل تصمیم پذیری منطق با نظریه آتوماتا (٢ جلسه)
    • مقدمه ای بر آتوماتای بر ورودی درختی (٢ جلسه)

ارزیابی درس نظریه محاسبات

  • آزمون میان ترم (٢۵ ٪کل نمره)
  • آزمون پایان ترم (۴٠ ٪کل نمره)
  • حداقل شش سری تمرین (٢۵ ٪کل نمره)
  • ارزش یابی مستمر در کلاس شامل چند امتحانک از پیش اعلام شده (١٠ ٪از نمره اصلی و با امکان حداکثر معادل ۵ ٪نمره کمکی)
  • گزارش و ارائه ی پژوهش (اختیاری حداکثر ١۵ ٪نمره اضافی)

مراجع درس نظریه محاسبات

[1] G. Boolos, J. Burgess, and R. Jeffrey. Computability and Logic. 5th edition, Cambridge UniversityPress, 2007.
[2] D. Kozen. Theory of Computation. Springer, 2006.
[3] S. Hedman. A First Course in Logic: An introduction to model theory, proof theory, computability,and complexity. Oxford University Press, 2004.
[4] M. Sipser. Introduction to the Theory of Computation. 2nd edition, Thompson Co., 2006.

فیلم‌های رایگان رشته کامپیوتر

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

آموزش ساختمان داده

فیلم ساختمان داده جلسه 1

فیلم ساختمان داده جلسه 1

فیلم ساختمان داده جلسه 2

فیلم ساختمان داده جلسه 2

فیلم ساختمان داده جلسه 3

فیلم ساختمان داده جلسه 3

فیلم ساختمان داده جلسه 4

فیلم ساختمان داده جلسه 4

فیلم ساختمان داده جلسه 5

فیلم ساختمان داده جلسه 5

فیلم ساختمان داده جلسه 6

فیلم ساختمان داده جلسه 6

فیلم ساختمان داده جلسه 7

فیلم ساختمان داده جلسه 7

فیلم ساختمان داده جلسه 8

فیلم ساختمان داده جلسه 8

حل تست ساختمان و الگوریتم جلسه 1

حل تست ساختمان و الگوریتم جلسه 1

حل تست ساختمان و الگوریتم جلسه 2

حل تست ساختمان و الگوریتم جلسه 2

حل تست ساختمان و الگوریتم جلسه 3

حل تست ساختمان و الگوریتم جلسه 3

حل تست ساختمان و الگوریتم جلسه 4

حل تست ساختمان و الگوریتم جلسه 4

انواع پیمایش‌های درخت

انواع پیمایش‌های درخت

نحوه ساخت درخت BST

نحوه ساخت درخت BST

آموزش درخت B-Tree

آموزش درخت B-Tree

بررسی مرتبه ساخت هیپ

بررسی مرتبه ساخت هیپ

آموزش مرتب سازی سریع

آموزش مرتب سازی سریع

آموزش شبکه شار

آموزش شبکه شار

حل سوالات ساختمان ارشد کامپیوتر 99

حل سوالات ساختمان ارشد کامپیوتر 99

حل ساختمان ارشد 95 بخش 1

حل ساختمان ارشد 95 بخش 1

حل ساختمان ارشد 95 بخش 2

حل ساختمان ارشد 95 بخش 2

نمایش بیشتر
نمایش کمتر

آموزش شبکه های کامپیوتری

شبکه‌های کامپیوتری جلسه 1

شبکه‌های کامپیوتری جلسه 1

شبکه‌های کامپیوتری جلسه 2

شبکه‌های کامپیوتری جلسه 2

شبکه‌های کامپیوتری جلسه 3

شبکه‌های کامپیوتری جلسه 3

شبکه‌های کامپیوتری جلسه 4

شبکه‌های کامپیوتری جلسه 4

شبکه‌های کامپیوتری جلسه 5

شبکه‌های کامپیوتری جلسه 5

شبکه‌های کامپیوتری جلسه 6

شبکه‌های کامپیوتری جلسه 6

شبکه‌های کامپیوتری جلسه 7

شبکه‌های کامپیوتری جلسه 7

شبکه‌های کامپیوتری جلسه 8

شبکه‌های کامپیوتری جلسه 8

حل تست شبکه جلسه 1

حل تست شبکه جلسه 1

حل تست شبکه جلسه 2

حل تست شبکه جلسه 2

حل تست شبکه جلسه 3

حل تست شبکه جلسه 3

حل تست شبکه جلسه 4

حل تست شبکه جلسه 4

حل تست شبکه جلسه 5

حل تست شبکه جلسه 5

حل تست شبکه جلسه 6

حل تست شبکه جلسه 6

حل تست شبکه جلسه 7

حل تست شبکه جلسه 7

حل تست شبکه جلسه 8

حل تست شبکه جلسه 8

نمایش بیشتر
نمایش کمتر

آموزش معماری کامپیوتر

معماری کامپیوتر جلسه 1

معماری کامپیوتر جلسه 1

معماری کامپیوتر جلسه 2

معماری کامپیوتر جلسه 2

معماری کامپیوتر جلسه 3

معماری کامپیوتر جلسه 3

معماری کامپیوتر جلسه 4

معماری کامپیوتر جلسه 4

معماری کامپیوتر جلسه 5

معماری کامپیوتر جلسه 5

معماری کامپیوتر جلسه 6

معماری کامپیوتر جلسه 6

معماری کامپیوتر جلسه 7

معماری کامپیوتر جلسه 7

معماری کامپیوتر جلسه 8

معماری کامپیوتر جلسه 8

معماری کامپیوتر جلسه 9

معماری کامپیوتر جلسه 9

معماری کامپیوتر جلسه 10

معماری کامپیوتر جلسه 10

بررسی الگوریتم‌های ضرب

بررسی الگوریتم‌های ضرب

پایپلاین در کامپیوتر

پایپلاین در کامپیوتر

حل تست معماری جلسه 1

حل تست معماری جلسه 1

حل تست معماری جلسه 2

حل تست معماری جلسه 2

حل تست معماری جلسه 3

حل تست معماری جلسه 3

حل سوالات ارشد کامپیوتر 99

حل سوالات ارشد کامپیوتر 99

حل سوالات معماری ارشد آی تی 96

حل سوالات معماری ارشد آی تی 96

حل تست‌های دکتری کامپیوتر 96

حل تست‌های دکتری کامپیوتر 96

حل تست‌های ارشد کامپیوتر 95

حل تست‌های ارشد کامپیوتر 95

نمایش بیشتر
نمایش کمتر

آموزش مدار منطقی

مدار منطقی  جلسه 1

مدار منطقی جلسه 1

مدار منطقی  جلسه 2

مدار منطقی جلسه 2

مدار منطقی  جلسه 3

مدار منطقی جلسه 3

مدار منطقی  جلسه 4

مدار منطقی جلسه 4

مدار منطقی  جلسه 5

مدار منطقی جلسه 5

مدار منطقی  جلسه 6

مدار منطقی جلسه 6

حل تست مدار منطقی  جلسه 1

حل تست مدار منطقی جلسه 1

حل تست مدار منطقی  جلسه 2

حل تست مدار منطقی جلسه 2

حل تست مدار منطقی  جلسه 3

حل تست مدار منطقی جلسه 3

حل سوالات مدار منطقی کنکور ارشد کامپیوتر 99

حل سوالات مدار منطقی کنکور ارشد کامپیوتر 99

حل سوالات مدار منطقی کنکور ارشد کامپیوتر 98

حل سوالات مدار منطقی کنکور ارشد کامپیوتر 98

حل سوالات مدار منطقی کنکور ارشد کامپیوتر 97

حل سوالات مدار منطقی کنکور ارشد کامپیوتر 97

نمایش بیشتر
نمایش کمتر

آموزش طراحی الگوریتم

طراحی الگوریتم  جلسه 1

طراحی الگوریتم جلسه 1

طراحی الگوریتم  جلسه 2

طراحی الگوریتم جلسه 2

طراحی الگوریتم  جلسه 3

طراحی الگوریتم جلسه 3

طراحی الگوریتم  جلسه 4

طراحی الگوریتم جلسه 4

طراحی الگوریتم  جلسه 5

طراحی الگوریتم جلسه 5

طراحی الگوریتم  جلسه 6

طراحی الگوریتم جلسه 6

نمایش بیشتر
نمایش کمتر

آموزش ریاضیات گسسته

ریاضی گسسته جلسه 1

ریاضی گسسته جلسه 1

ریاضی گسسته جلسه 2

ریاضی گسسته جلسه 2

ریاضی گسسته جلسه 3

ریاضی گسسته جلسه 3

ریاضی گسسته جلسه 4

ریاضی گسسته جلسه 4

ریاضی گسسته جلسه 4

ریاضی گسسته جلسه 4

ریاضی گسسته جلسه 5

ریاضی گسسته جلسه 5

ریاضی گسسته جلسه 6

ریاضی گسسته جلسه 6

حل سوالات گسسته جلسه 1

حل سوالات گسسته جلسه 1

حل سوالات گسسته جلسه 2

حل سوالات گسسته جلسه 2

حل سوالات گسسته ارشد کامپیوتر 99

حل سوالات گسسته ارشد کامپیوتر 99

نمایش بیشتر
نمایش کمتر

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

نظر رتبه 1 کنکور

از پایه ضعیف تا شریف

نظر رتبه 6 کنکور 1400

کیفیت بالا و هزینه مناسب

فیلم‌ درس و تست کافیست

رتبه 9 :فیلم ها بی نقص بود

رتبه 13 کنکور ارشد کامپیوتر 1401

نظر پارسا شریعت

نظر رتبه 43 کنکور

نظر رتبه 11 کنکور 1400

نظر پیمان هاشمی

نظر رتبه 8 کنکور 1400

تدریس از 0 تا 100

نظر رتبه 40 کنکور

فیلم شما را جلو می‌اندازد

نظر رتبه 50 کنکور 1400

نظر رتبه 67 کنکور 1400

نظر ریحانه حسین زاده

نظر مرتضی اکبری

نظر رتبه 113 کنکور 1400

تاثیر منابع خوب

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

تفاوت منابع مناسب

نظر رتبه 32 کنکور 1400

کیفیت بالا تدریس

نظر شیوا رضازاد

از روی مراجع نخوانید

فیلم‌ها بی‌نیازم کرد

از فیلم‌ها لذت می‌بردم

تدریس زیبا و بیان شیوا

خیلی راضی بودم درسها خیلی عمیق تدریس میشد

فیلم ها خیلی مفهومی بودند

همه درس ها فوق العاده بود

همچنین هر گونه سوالی در مورد کلاس‌های آنلاین کنکور کامپیوتر و یا تهیه فیلم‌ها و یا رزرو مشاوره تک جلسه‌ای تلفنی با استاد رضوی دارید می‌توانید به طرق زیر از تیم پشتیبانی بپرسید:

آی دی تلگرام تیم پشتیبانی:     konkurcomputer_admin@

شماره ثابت موسسه:   09378555200

امتیازدهی5 1 1 1 1 1 1 1 1 1 15.00 امتیاز (1 امتیاز)
بارگذاری نظرات