کنکور کامپیوتر
0
ورود | ثبت نام
نظرات
اشتراک
بالا
علاقه‌مندی

اشتراک
 

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

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

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

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

  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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

نظر رتبه 2: خیلی کامل بودند

نظر رتبه 6 کنکور ارشد کامپیوتر

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

فیلم ها خیلی قابل فهم و روان است

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

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

نظر رتبه 2 کنکور ارشد

نطر رتبه 10: کیفیت تدریس استاد رضوی خیلی خوبه

نظر رتبه 16: کیفیت تدریس خیلی عالی بود

جزوه کامل و ویدیوهای خیلی خوب

نحوه انتقال دانش استاد رضوی بینظیر است

ویدیوها خیلی جامع و کامل بودند

واقعا تدریس اساتید عالی بودند

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

نظر رتبه 2: معماری کامپیوتر و منطقی 100 زدم

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

نظر رتبه 19: تدریس و فن بیان عالی است

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

نظر رتبه 24: خیلی کامل و جامع است

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

نظر رتبه 45: کیفیت فیلم ها خوب بودن

همه دروس عالی تدریس شده بودند

نیار نیست کتاب تهیه کنید

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

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

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

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

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

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

فیلم های استاد رضوی از همه نظر عالی بودند

کیفیت و نحوه تدریس و قدرت بیان اساتید از همه نظر خوب بود

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

از همه دروس خیلی راضی بودم

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

ویدیوها از نظر کیفیت عالی بودند

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

از دروس استاد رضوی خیلی راضی بودم

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

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

تدریس از 0 تا 100

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

از صفر تا صد و کامل هستند

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

فیلم ها جامع بودند

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

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

درس‌ها کامل و روان است

فیلم ها خیلی دقیق و جامع و کامل بودند

ویدیوها بسیار قابل فهم بودند

مطالبی که پوشش داده شده بود واقعا کامل بود

تدریس بسیار شیوا و روان و بدون ابهام

با پایه ضعیف هم فیلم ها را متوجه می شوید

فیلم ها خیلی به من کمک کرد

همه دروس را از کافه تدریس گرفتم

ویدیوهاشون خیلی به من کمک کرد

26696 نفر تاکنون در دوره‌های آموزشی کنکور کامپیوتر شرکت کرده‌اند.

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

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

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

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