⭐️نظریه محاسبه پذیری
در سال های 1930 به بعد ، Codel, Turing, Church کشف کردند که برخی مسائل با پایه ی ریاضی ، با کامپیوتر قابل حل نیست . مثالی از این نوع عبارت است از آیا یک گزاره ی دلخواه ریاضی ، صحیح است یا غلط . برای درگیر شدن با این مسائل ، به تعاریفی رسمی از این مفاهیم نیاز داریم :
کامپیوتر - الگوریتم - محاسبه
در سال های 1930 به بعد ، Codel, Turing, Church کشف کردند که برخی مسائل با پایه ی ریاضی ، با کامپیوتر قابل حل نیست . مثالی از این نوع عبارت است از آیا یک گزاره ی دلخواه ریاضی ، صحیح است یا غلط . برای درگیر شدن با این مسائل ، به تعاریفی رسمی از این مفاهیم نیاز داریم :
کامپیوتر - الگوریتم - محاسبه
⭐️نظریه ی اتوماتا
نظریه ی اتوماتا با تعاریف و خواص انواع مختلف مدل های محاسباتی سر و کار دارد . نظیر اتوماتای متناهی . این ها در پردازش متن ، کامپایلر ها و طراحی سخت افزار به کار می روند . گرامر های مستقل از متن برای تعریف زبان های برنامه نویسی و هوش مصنوعی به کار می روند .
نظریه ی اتوماتا با تعاریف و خواص انواع مختلف مدل های محاسباتی سر و کار دارد . نظیر اتوماتای متناهی . این ها در پردازش متن ، کامپایلر ها و طراحی سخت افزار به کار می روند . گرامر های مستقل از متن برای تعریف زبان های برنامه نویسی و هوش مصنوعی به کار می روند .
به طور خلاصه موضوعات اصلی در این 3 نظریه عبارت هستند از :
🎲نظریه ی پیچیدگی : دسته بندی اصلی بر طبق میزان سختی آنها و ارائه ی یک اثبات دقیق از اینگونه مسائل که سخت به نظر می آیند .
🎲نظریه ی محاسبه پذیری: دسته بندی مسائل از جنبه ی حل پذیری و یا حل ناپذیری
🎲نظریه ی اتوماتا : آیا همه ی این مدل ها دارای توانایی یکسان هستند یا برخی از آنها قادرند مسائل بیشتری حل کنند .
🎲نظریه ی پیچیدگی : دسته بندی اصلی بر طبق میزان سختی آنها و ارائه ی یک اثبات دقیق از اینگونه مسائل که سخت به نظر می آیند .
🎲نظریه ی محاسبه پذیری: دسته بندی مسائل از جنبه ی حل پذیری و یا حل ناپذیری
🎲نظریه ی اتوماتا : آیا همه ی این مدل ها دارای توانایی یکسان هستند یا برخی از آنها قادرند مسائل بیشتری حل کنند .
خب دوستان عزیز . به پایان این قسمت از عیدانه ی علوم کامپیوتری می رسیم . انشاءالله بتونیم در روزهای آینده با مطالبی بیشتر و کارآمد تر در خدمت شما عزیزان باشیم
شاد و پیروز باشید🌹
شاد و پیروز باشید🌹
🔑#معرفی_سایت_های_مفید🔑
➡️KhanAcademy .org⬅️
خان آکادمی در سال 2006 توسط سلمان خان تاسیس شد. سلمان خان از پدری بنگلادشی و مادری هندی در امریکا متولد شد. او در سه رشته ریاضیات، مهندسی برق و علوم کامپیوتر از دانشگاه MIT فارغ التحصیل شد. شعار سلمان خان در Khan Academy ارائه "آموزش های با کیفیت در سراسر دنیا برای افرادی با زبان های مختلف" است. دوره های آموزشی این آکادمی طیف گسترده ای از علوم را شامل می شود که از آن جمله می توان ریاضیات، فیزیک، شیمی، زیست، تاریخ و ... اشاره نمود.
از حامیان Khan Academy می توان به بیل گیتس مدیر عامل اسبق شرکت مایکروسافت و یکی از سهامداران کنونی اصلی این شرکت و همچنین شرکت گوگل اشاره کرد به طوری که در سال 2010 شرکت گوگل با کمک 2 میلیون دلاری خود به سلمان خان خواستار توسعه بیشتر این آکادمی و همچنین ترجمه دوره های آموزشی به زبان های مختلف دنیا شد. لازم به ذکر است حامیان اصلی این آکادمی به دو مورد فوق الذکر ختم نشده بلکه با توجه به اهمیت کاری که در Khan Academy صورت می گیرد روز به روز بر لیست حامیان افزوده می شود.
تاکنون این آکادمی توانسته بیش از 260 میلیون مبحث درسی را در قالب آموزش های ویدیویی در اختیار کاربران قرار دهد. از مزایای این دوره های آموزشی می توان به امکان دانلود آموزش ها به منظور مشاهده آفلاین، برخورداری از نقشه راه به منظور مشاهده میزان پیشرفت خود، امکان تعامل با دیگر کاربران برای بحث و رفع اشکال، تمرین های تعاملی برای درک بهتر موضوعات درسی و ... اشاره کرد.
#KhanAcademy
@GuilanCs
➡️KhanAcademy .org⬅️
خان آکادمی در سال 2006 توسط سلمان خان تاسیس شد. سلمان خان از پدری بنگلادشی و مادری هندی در امریکا متولد شد. او در سه رشته ریاضیات، مهندسی برق و علوم کامپیوتر از دانشگاه MIT فارغ التحصیل شد. شعار سلمان خان در Khan Academy ارائه "آموزش های با کیفیت در سراسر دنیا برای افرادی با زبان های مختلف" است. دوره های آموزشی این آکادمی طیف گسترده ای از علوم را شامل می شود که از آن جمله می توان ریاضیات، فیزیک، شیمی، زیست، تاریخ و ... اشاره نمود.
از حامیان Khan Academy می توان به بیل گیتس مدیر عامل اسبق شرکت مایکروسافت و یکی از سهامداران کنونی اصلی این شرکت و همچنین شرکت گوگل اشاره کرد به طوری که در سال 2010 شرکت گوگل با کمک 2 میلیون دلاری خود به سلمان خان خواستار توسعه بیشتر این آکادمی و همچنین ترجمه دوره های آموزشی به زبان های مختلف دنیا شد. لازم به ذکر است حامیان اصلی این آکادمی به دو مورد فوق الذکر ختم نشده بلکه با توجه به اهمیت کاری که در Khan Academy صورت می گیرد روز به روز بر لیست حامیان افزوده می شود.
تاکنون این آکادمی توانسته بیش از 260 میلیون مبحث درسی را در قالب آموزش های ویدیویی در اختیار کاربران قرار دهد. از مزایای این دوره های آموزشی می توان به امکان دانلود آموزش ها به منظور مشاهده آفلاین، برخورداری از نقشه راه به منظور مشاهده میزان پیشرفت خود، امکان تعامل با دیگر کاربران برای بحث و رفع اشکال، تمرین های تعاملی برای درک بهتر موضوعات درسی و ... اشاره کرد.
#KhanAcademy
@GuilanCs
سلام عرض میکنم خدمت همه ی شما دوستان عزیز ..در خدمت شما هستیم با قسمت چهارم از عیدانه ی علوم کامپیوتری .. انشاءالله امروز هم بتونیم با تقدیم مطالب مفید ، در کنار شما باشیم
..
همراه ما باشید🌹
..
همراه ما باشید🌹
در ابتدای این قسمت از برنامه ، سوال مسابقه ی شماره دو رو باهم میبینیم که تا فردا فرصت برای شرکت در اون هست .. نحوه ی ارسال جواب رو هم دیگه فکر میکینم همه میدونن 😃
پاسخ درست رو به همراه اسم شریفتون و شماره ی مسابقه به @SaeedZiadid ارسال کنید .
پاسخ درست رو به همراه اسم شریفتون و شماره ی مسابقه به @SaeedZiadid ارسال کنید .
یکی از آرزو ها و یا دعاهایی که در سال جدید برای همدیگر میکنیم اینه که سال خوبی در کنار خانواده داشته باشیم . خانواده بسیار مهم هست . مخصوصا پدران و مادرانی که بسیار زحمت میکشن تا فرزندانشون زندگی با آسایش و راحتی داشته باشن .. خداوند انشاءالله همه ی اونها رو حفظ بکنه و روح رفتگان رو هم شاد کنه ان شاءالله .. شعر بالا رو تقدیم میکنیم به همه ی خانواده ها مخصوصا مادرانی که بهشت زیر پای اونهاست ..
باز هم آرزو میکنیم که سال بسیااااااااار عالی و خوبی رو در کنار خانواده های محترم و بزرگوارتون داشته باشید 🌹🌹🌹🌹🌹
باز هم آرزو میکنیم که سال بسیااااااااار عالی و خوبی رو در کنار خانواده های محترم و بزرگوارتون داشته باشید 🌹🌹🌹🌹🌹
در برنامه ی قبلی ما درباره ی نظریه ی محاسبات صحبت کردیم . یک کتاب الان براتون قرار میدیم که میتونید ازش استفاده کنید . این کتاب زبان اصلی هست و یکی از کتاب های خوب در زمینه ی مبانی نظریه ی محاسبه به حساب میاد . 👇📕
همراهان عزیز .. تا ساعتی دیگر در خدمت شما خواهیم بود با ارائه ی مطالب آموزشی و علمی ..
🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹
🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹🌹
دوستان عزیز .. در اینجای برنامه قصد داریم زبان برنامه نویسی ++C رو معرفی کنیم و نکاتی رو درباره ی این زبان ارائه نماییم .. 👇👇👇👇👇
سی پلاسپلاس یک زبان برنامهنویسی رایانهای همهمنظوره، شیءگرا، سطح بالا و چندرگه (که از برنامهنویسی رویهای، تجرید دادهها و برنامهنویسی شیءگرا پشتیبانی میکند)، عمومی و با قابلیتهای سطح بالا و سطح پایین میباشد. این زبان دارای قابلیتهای انواع داده ایستا، نوشتار آزاد، چندمدلی، معمولاً زبان ترجمه شده با پشتیبانی از برنامهنویسی ساختیافته، برنامهنویسی شیءگرا، برنامهنویسی جنریک است. از آنجا که در سی++ اشیاء را میتوان ابتدا به ساکن از کلاسهایی ایجاد کرد که به هیچگونه سلسله مراتب ردهها و وراثت مقید نیستند، لذا سی++ از برنامهسازی شیء بنیاد (object-based programming) نیز پشتیبانی میکند.++C به همراه C از پرطرفدارترین زبانهای برنامهنویسی تجاری هستند.
این زبان توسط بییارنه استراستروپ ریاضیدان دانمارکی در سال ۱۹۷۹ در آزمایشگاههای بل (Bell Labs)، برای بهبود زبان سی و بر مبنای آن ساخته شد و آن را «C با کلاس» (C With Classes) نامگذاری نمود. در سال ۱۹۸۳ به ++C تغییر نام داد. توسعه با اضافه نمودن کلاسها و ویژگیهای دیگری مانند توابع مجازی، سربارگزاری عملگرها، وراثت چندگانه، قالب توابع، و پردازش استثناء انجام شد. این زبان برنامهنویسی در سال ۱۹۹۸ تحت نام ISO/IEC ۱۴۸۸۲:۱۹۹۸ استاندارد شد.
این زبان توسط بییارنه استراستروپ ریاضیدان دانمارکی در سال ۱۹۷۹ در آزمایشگاههای بل (Bell Labs)، برای بهبود زبان سی و بر مبنای آن ساخته شد و آن را «C با کلاس» (C With Classes) نامگذاری نمود. در سال ۱۹۸۳ به ++C تغییر نام داد. توسعه با اضافه نمودن کلاسها و ویژگیهای دیگری مانند توابع مجازی، سربارگزاری عملگرها، وراثت چندگانه، قالب توابع، و پردازش استثناء انجام شد. این زبان برنامهنویسی در سال ۱۹۹۸ تحت نام ISO/IEC ۱۴۸۸۲:۱۹۹۸ استاندارد شد.