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

در ابتدای کار چند سوال مطرح میشه :
❓- خواص ریاضی سخت افزار و نرم افزار های کامپیوتر چیست ؟
❓- محاسبه و الگوریتم چیست ؟ آیا می توان تعاریف دقیقی برای این مفاهیم ارائه کرد ؟
❓- محدودیت های کامپیوتر چیست؟ آیا هر چیزی محاسبه پذیر هست ؟

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

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

⭐️نظریه ی پیچیدگی
⭐️نظریه ی محاسبه پذیری
⭐️نظریه ی اتوماتا

⭐️نظریه ی پیچیدگی

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

⭐️نظریه محاسبه پذیری

در سال های 1930 به بعد ، Codel, Turing, Church کشف کردند که برخی مسائل با پایه ی ریاضی ، با کامپیوتر قابل حل نیست . مثالی از این نوع عبارت است از آیا یک گزاره ی دلخواه ریاضی ، صحیح است یا غلط . برای درگیر شدن با این مسائل ، به تعاریفی رسمی از این مفاهیم نیاز داریم :
کامپیوتر - الگوریتم - محاسبه

⭐️نظریه ی اتوماتا

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

به طور خلاصه موضوعات اصلی در این 3 نظریه عبارت هستند از :

🎲نظریه ی پیچیدگی : دسته بندی اصلی بر طبق میزان سختی آنها و ارائه ی یک اثبات دقیق از اینگونه مسائل که سخت به نظر می آیند .

🎲نظریه ی محاسبه پذیری: دسته بندی مسائل از جنبه ی حل پذیری و یا حل ناپذیری

🎲نظریه ی اتوماتا : آیا همه ی این مدل ها دارای توانایی یکسان هستند یا برخی از آنها قادرند مسائل بیشتری حل کنند .

خب دوستان عزیز . به پایان این قسمت از عیدانه ی علوم کامپیوتری می رسیم . انشاءالله بتونیم در روزهای آینده با مطالبی بیشتر و کارآمد تر در خدمت شما عزیزان باشیم
شاد و پیروز باشید🌹

🎄🌲🌳🌿🌱🌴☘🍀🌺🌹🌷🌸🌼💐

پایان قسمت سوم عیدانه ی علوم کامپیوتری

🔑#معرفی_سایت_های_مفید🔑

➡️KhanAcademy .org⬅️

خان آکادمی در سال 2006 توسط سلمان خان تاسیس شد. سلمان خان از پدری بنگلادشی و مادری هندی در امریکا متولد شد. او در سه رشته ریاضیات، مهندسی برق و علوم کامپیوتر از دانشگاه MIT فارغ التحصیل شد. شعار سلمان خان در Khan Academy ارائه "آموزش های با کیفیت در سراسر دنیا برای افرادی با زبان های مختلف" است. دوره های آموزشی این آکادمی طیف گسترده ای از علوم را شامل می شود که از آن جمله می توان ریاضیات، فیزیک، شیمی، زیست، تاریخ و ... اشاره نمود.

از حامیان Khan Academy می توان به بیل گیتس مدیر عامل اسبق شرکت مایکروسافت و یکی از سهامداران کنونی اصلی این شرکت و همچنین شرکت گوگل اشاره کرد به طوری که در سال 2010 شرکت گوگل با کمک 2 میلیون دلاری خود به سلمان خان خواستار توسعه بیشتر این آکادمی و همچنین ترجمه دوره های آموزشی به زبان های مختلف دنیا شد. لازم به ذکر است حامیان اصلی این آکادمی به دو مورد فوق الذکر ختم نشده بلکه با توجه به اهمیت کاری که در Khan Academy صورت می گیرد روز به روز بر لیست حامیان افزوده می شود.

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

#KhanAcademy
@GuilanCs

سلام عرض میکنم خدمت همه ی شما دوستان عزیز ..در خدمت شما هستیم با قسمت چهارم از عیدانه ی علوم کامپیوتری .. انشاءالله امروز هم بتونیم با تقدیم مطالب مفید ، در کنار شما باشیم
..
همراه ما باشید🌹

در ابتدای این قسمت از برنامه ، سوال مسابقه ی شماره دو رو باهم میبینیم که تا فردا فرصت برای شرکت در اون هست .. نحوه ی ارسال جواب رو هم دیگه فکر میکینم همه میدونن 😃
پاسخ درست رو به همراه اسم شریفتون و شماره ی مسابقه به @SaeedZiadid ارسال کنید .

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

در برنامه ی قبلی ما درباره ی نظریه ی محاسبات صحبت کردیم . یک کتاب الان براتون قرار میدیم که میتونید ازش استفاده کنید . این کتاب زبان اصلی هست و یکی از کتاب های خوب در زمینه ی مبانی نظریه ی محاسبه به حساب میاد . 👇📕

همراهان عزیز .. تا ساعتی دیگر در خدمت شما خواهیم بود با ارائه ی مطالب آموزشی و علمی ..
🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹