پرش به محتوای اصلی
رزرو مشاوره تلفنی تک جلسه‌ای با استاد رضوی
رزرو مشاوره تلفنی
کنکور کامپیوتر
0
اشتراک
 

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

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

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

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

  1. معرفی کامل و 0 تا 100 رشته کامپیوتر.
  2. رشته کامپیوتر برای دختر مناسب است.
  3. آیا رشته کامپیوتر سخت است.
  4. بررسی درامد رشته کامپیوتر در ایران و خارج از کشور
  5. بررسی شغل های رشته کامپیوتر.
  6. معرفی بهترین دانشگاه های ایران به ترتیب 
  7. برنامه نویسی کامپیوتر چیست و چطور می‌توان یک برنامه نویس موفق شد.
  8. معرفی کامل و 0 تا 100 رشته فناوری اطلاعات.

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

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.

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

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

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

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

پاسخ تشریحی معماری کامپیوتر کنکور ارشد کامپیوتر 1404 1:14:51

پاسخ تشریحی معماری کامپیوتر کنکور ارشد کامپیوتر 1404

‪‪‪‪‪‪‪‪‪‪‪‪‪‪‪پاسخ تشریحی درس معماری کامپیوتر کنکور ارشد کامپیوتر 1404

تست های معماری کامپیوتر کنکور ارشد کامپیوتر 1403 2:01:53

تست های معماری کامپیوتر کنکور ارشد کامپیوتر 1403

تست های معماری کامپیوتر کنکور ارشد کامپیوتر 1403، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

تست های معماری کامپیوتر کنکور ارشد کامپیوتر 1402 1:56:56

تست های معماری کامپیوتر کنکور ارشد کامپیوتر 1402

تست های معماری کامپیوتر کنکور ارشد کامپیوتر 1402، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

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

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

جلسه اول معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.
معماری کامپیوتر جلسه 2 1:33:49

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

جلسه دوم معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

معماری کامپیوتر جلسه 3 2:03:49

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

جلسه سوم معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

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

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

جلسه چهارم معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

معماری کامپیوتر جلسه 5 1:13:24

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

جلسه پنجم معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

معماری کامپیوتر جلسه 6 2:01:54

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

جلسه ششم معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

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

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

جلسه هفتم معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

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

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

جلسه هشتم معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

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

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

جلسه نهم معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

معماری کامپیوتر جلسه 10 1:54:17

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

جلسه دهم معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

بررسی الگوریتم‌های ضرب 1:07:20

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

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

پایپلاین در کامپیوتر 1:44:57

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

پایپلاین در کامپیوتر در معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

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

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

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

حل تست معماری جلسه 2 1:44:20

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

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

حل تست معماری جلسه 3 1:11:02

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

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

حل سوالات ارشد کامپیوتر 99 2:00:40

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

حل سوالات ارشد کامپیوتر 99 معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

حل سوالات معماری ارشد آی تی 96 2:12:50

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

حل سوالات معماری ارشد آی‌تی 96 معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

حل تست‌های دکتری کامپیوتر 96 1:01:41

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

حل تست‌های دکتری کامپیوتر 96 معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

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

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

حل تست‌های ارشد کامپیوتر 95 معماری کامپیوتر، ویژه کنکور ارشد کامپیوتر و دانشجویان رشته کامپیوترو داوطلبان آزمون‌های استخدامی و افرادی که به معماری کامپیوتر علاقه‌مندند.

فهرست ویدیوها ۲۲ ویدیو

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

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

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

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

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

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

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

شماره تیم پشتیبانی:   09378555200

این مطلب چقدر به کارت آمد؟511111111115.00 از ۵ 1 رأی
اشتراک

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

سوال شما توسط استاد رضوی پاسخ داده می‌شود و از طریق پیامک به شما اطلاع رسانی می‌شود
×
kb
هیچ نظری ارسال شده در اینجا وجود ندارد
تلگرام اینستاگرام تماس با پشتیبانی: 09378555200 تماس با پشتیبانی: 09378555200
خدمات ما
پشتیبانی کنکور کامپیوتر

سؤالی داری؟ از ۸ صبح تا ۱۰ شب پاسخ‌گوییم.

تماس با پشتیبانی۰۹۳۷۸۵۵۵۲۰۰ پشتیبانی در تلگرامپاسخ‌گویی پیامی
شبکه‌های اجتماعی
کانال تلگرام اینستاگرام آپارات یوتیوب
اشتراک‌گذاری این مطلب

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

تلگرام واتس‌اپ ایکس
https://www.konkurcomputer.ir/سرفصل-درس-نظریه-محاسبات.html
خدمات کنکور کامپیوتر
هر چیزی که برای قبولی لازم داری، یک‌جاخدمات ما

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

مشاوره‌ی شخصی با استاد رضوی
تماس با پشتیبانی