کمیته فرهنگی بخش ریاضی قصد داره یک شب مهمانی افطار برگزار کنه. اگر کسی مایل به همکاری در برگزاری افطار هست (مثلا ممکنه یه عده بخوان خودشون شله زرد درست کنن، کاری که ظاهرا بچه های شیمی یکبار انجام دادن) به دکتر فقیه احمدی مراجعه کنه (یا یک نفر به نمایندگی از دسته ای از کسانی که میخوان همکاری کنن به دکتر فقیه احمدی مراجعه کنه).
یک دوره مطالعاتی تحت حمایت CIMPA در فرانسه برای دانشجویان دکتری و کسانی که بزودی قصد آغاز یک دوره دکتری را دارند در زمینه Representation Theory
https://www.cimpa.info/en/node/55
https://www.cimpa.info/en/node/55
Forwarded from انجمن ریاضی و علوم کامپیوتر دانشگاه شیراز
سوال هایی که اساتید طرح میکنند را حل کنید و جایزه بگیرید
سری دوم «دوئل با اساتید»
تاریخ شروع : چهارشنبه 18 اردیبهشت
تاریخ پایان : چهارشنبه 8 خرداد
در صورت وجود هرگونه سوال و یا اطلاعات بیشتر به @shiuma مراجعه کنید .
سری دوم «دوئل با اساتید»
تاریخ شروع : چهارشنبه 18 اردیبهشت
تاریخ پایان : چهارشنبه 8 خرداد
در صورت وجود هرگونه سوال و یا اطلاعات بیشتر به @shiuma مراجعه کنید .
Math ShU
نرم افزار Photomath-Camera Calculator v5.1.3 تنها با تصویربرداری از مسائل ریاضی، آنها را حل خواهد کرد. @Math_ShU
نرم افزار
Photomath-Camera Calculator
v5.1.3
تنها با تصویربرداری از مسائل ریاضی، آنها را حل خواهد کرد.
از ویژگیهای مثبت این برنامه خواندن دقیق دستخطهای گوناگون است، به این صورت دانشآموزان و دانشجویان زمانی که حتی مسئلهای را با خط بد نوشته باشند میتوانند با کمک برنامه جواب آن را به سرعت دریابند، همچنین پشتیبانی گسترده از تمامی مسائل ریاضی از جمله عدد صحیح، عدد اعشایری، عدد کسری، ماتریس، نمودار، توابع، معادلات درجه دوم، معادلات چند مجهولی، مثلثات، مشتقات، لگاریتم، انتگرال، فاکتوریل و بسیاری از مسائل
ریاضی از جمله عدد صحیح، عدد اعشایری، عدد کسری، ماتریس، نمودار، توابع، معادلات درجه دوم، معادلات چند مجهولی، مثلثات، مشتقات، لگاریتم، انتگرال، فاکتوریل و بسیاری از مسائل ریاضی دیگر نیز موجب میشود، تقریبا حل هیچ مسئلهای برای Photomath ناممکن نباشد.
اما اصلیترین ویژگی این برنامه آموزش راه حل مسائل برای کاربران است، به این ترتیب زمانی که مسئلهای توسط برنامه حل میشود، راه حل آن در بخش آموزش قرار میگیرد و کاربران با وارد شدن به این بخش میتوانند به صورت قدم به قدم با روش حل آن مسئله آشنا شوند، در واقع این برنامه هم مسائل ریاضی را حل میکند و هم راه حل آن را آموزش میدهد.البته باید به خاطر داشته باشید که این برنامه از اعداد و حروف فارسی پشتیبانی نمیکند.
برخی از ویژگیها و امکانات برنامه
Photomath-Camera Calculator:
حل بسیار آسان مسائل ریاضی
آموزش قدم به قدم حل مسائل ریاضی
پشتیبانی از تمامی مباحث ریاضی از جمله ریاضی پایه، جبر، مثلثات و آمار
بدون نیاز به اینترنت
شناسایی سریع تمامی دستخطها
دارای نمودارهای تعاملی
دارای ماشین حساب مهندسی
برنامه ی
Photomath-Camera Calculator
تا کنون امتیاز عالی ۴.۷ از ۵.۰ را از کاربران گوگل پلی استور دریافت کرده است.
@Math_ShU
@qomat
Photomath-Camera Calculator
v5.1.3
تنها با تصویربرداری از مسائل ریاضی، آنها را حل خواهد کرد.
از ویژگیهای مثبت این برنامه خواندن دقیق دستخطهای گوناگون است، به این صورت دانشآموزان و دانشجویان زمانی که حتی مسئلهای را با خط بد نوشته باشند میتوانند با کمک برنامه جواب آن را به سرعت دریابند، همچنین پشتیبانی گسترده از تمامی مسائل ریاضی از جمله عدد صحیح، عدد اعشایری، عدد کسری، ماتریس، نمودار، توابع، معادلات درجه دوم، معادلات چند مجهولی، مثلثات، مشتقات، لگاریتم، انتگرال، فاکتوریل و بسیاری از مسائل
ریاضی از جمله عدد صحیح، عدد اعشایری، عدد کسری، ماتریس، نمودار، توابع، معادلات درجه دوم، معادلات چند مجهولی، مثلثات، مشتقات، لگاریتم، انتگرال، فاکتوریل و بسیاری از مسائل ریاضی دیگر نیز موجب میشود، تقریبا حل هیچ مسئلهای برای Photomath ناممکن نباشد.
اما اصلیترین ویژگی این برنامه آموزش راه حل مسائل برای کاربران است، به این ترتیب زمانی که مسئلهای توسط برنامه حل میشود، راه حل آن در بخش آموزش قرار میگیرد و کاربران با وارد شدن به این بخش میتوانند به صورت قدم به قدم با روش حل آن مسئله آشنا شوند، در واقع این برنامه هم مسائل ریاضی را حل میکند و هم راه حل آن را آموزش میدهد.البته باید به خاطر داشته باشید که این برنامه از اعداد و حروف فارسی پشتیبانی نمیکند.
برخی از ویژگیها و امکانات برنامه
Photomath-Camera Calculator:
حل بسیار آسان مسائل ریاضی
آموزش قدم به قدم حل مسائل ریاضی
پشتیبانی از تمامی مباحث ریاضی از جمله ریاضی پایه، جبر، مثلثات و آمار
بدون نیاز به اینترنت
شناسایی سریع تمامی دستخطها
دارای نمودارهای تعاملی
دارای ماشین حساب مهندسی
برنامه ی
Photomath-Camera Calculator
تا کنون امتیاز عالی ۴.۷ از ۵.۰ را از کاربران گوگل پلی استور دریافت کرده است.
@Math_ShU
@qomat
🔻 از #سیستمهای_پیچیده بیشتر بدانیم...
🌀 داستانِ پیچیدگی: چرا بیشتر، متفاوت است؟
👤 عباس کریمی
🍂 کنفرانس سار، پاییز ۹۷، موزهی علم و فناوری
🎞 aparat.com/v/nP2ta
© t.iss.one/RadioPhysicsIr/128
🆔 @Zharfa90
@Math_ShU
🌀 داستانِ پیچیدگی: چرا بیشتر، متفاوت است؟
👤 عباس کریمی
🍂 کنفرانس سار، پاییز ۹۷، موزهی علم و فناوری
🎞 aparat.com/v/nP2ta
© t.iss.one/RadioPhysicsIr/128
🆔 @Zharfa90
@Math_ShU
آپارات - سرویس اشتراک ویدیو
عباس ک. ریزی: داستان پیچیدگی: چرا بیشتر، متفاوت است؟
کنفرانس سار - پاییز ۹۷ https://sar.inmost.ir/?page_id=4315برای اطلاعات بیشتر به پروژه «پیچیدگی برای همه» رجوع کنید:complexity.sitpor.org
رديف فرآیند از تاريخ تا تاريخ
۱ حذف پزشکي ترم (ويژه دانشجوياني که تاکنون دو بار يا بيشتر حذف ترم داشته اند) ۱۳۹۸/۰۲/۰۱ ۱۳۹۸/۰۳/۰۹
۲ حذف پزشکي ترم (ويژه دانشجوياني که حذف پزشکي کمتر از دو ترم داشته اند) ۱۳۹۸/۰۲/۰۱ ۱۳۹۸/۰۳/۰۹
۳ مرخصي تحصيلي پزشکي ترم (ويژه دانشجوياني که بيشتر از دو ترم مرخصي تحصيلي داشته اند) ۱۳۹۷/۱۱/۰۱ ۱۳۹۷/۱۱/۲۹
۴ مرخصي تحصيلي پزشکي ترم (ويژه دانشجوياني که کمتر از دو ترم مرخصي تحصيلي داشته اند) ۱۳۹۷/۱۱/۰۱ ۱۳۹۷/۱۱/۲۹
۵ حذف پزشکي واحد (تک درس) ۱۳۹۸/۰۳/۲۴ ۱۳۹۸/۰۴/۱۲
۶ حذف ترم-موارد غير پزشکي (ويژه دانشجوياني که تاکنون دو بار يا بيشتر حذف ترم داشته اند) ۱۳۹۸/۰۲/۰۱ ۱۳۹۸/۰۳/۰۹
۷ مرخصي ترم-موارد غير پزشکي (ويژه دانشجوياني که تاکنون دو بار يا بيشتر مرخصي ترم داشته اند) ۱۳۹۷/۱۱/۰۱ ۱۳۹۷/۱۱/۲۹
۸ مرخصي ترم-موارد غير پزشکي (ويژه دانشجوياني که کمتر از دو ترم مرخصي تحصيلي داشته اند) ۱۳۹۷/۱۱/۰۱ ۱۳۹۷/۱۱/۲۹
۹ حذف ترم-موارد غير پزشکي (ويژه دانشجوياني که حذف پزشکي کمتر از دو ترم داشته اند) ۱۳۹۸/۰۲/۰۱ ۱۳۹۸/۰۳/۰۹
۱۰ حذف پزشکي واحد۹۷ (تک درس) ۱۳۹۸/۰۳/۲۴ ۱۳۹۸/۰۴/۱۲
زمان حذف نهايي: ۲۹ و ۳۰ اردیبهشت
@Math_ShU
۱ حذف پزشکي ترم (ويژه دانشجوياني که تاکنون دو بار يا بيشتر حذف ترم داشته اند) ۱۳۹۸/۰۲/۰۱ ۱۳۹۸/۰۳/۰۹
۲ حذف پزشکي ترم (ويژه دانشجوياني که حذف پزشکي کمتر از دو ترم داشته اند) ۱۳۹۸/۰۲/۰۱ ۱۳۹۸/۰۳/۰۹
۳ مرخصي تحصيلي پزشکي ترم (ويژه دانشجوياني که بيشتر از دو ترم مرخصي تحصيلي داشته اند) ۱۳۹۷/۱۱/۰۱ ۱۳۹۷/۱۱/۲۹
۴ مرخصي تحصيلي پزشکي ترم (ويژه دانشجوياني که کمتر از دو ترم مرخصي تحصيلي داشته اند) ۱۳۹۷/۱۱/۰۱ ۱۳۹۷/۱۱/۲۹
۵ حذف پزشکي واحد (تک درس) ۱۳۹۸/۰۳/۲۴ ۱۳۹۸/۰۴/۱۲
۶ حذف ترم-موارد غير پزشکي (ويژه دانشجوياني که تاکنون دو بار يا بيشتر حذف ترم داشته اند) ۱۳۹۸/۰۲/۰۱ ۱۳۹۸/۰۳/۰۹
۷ مرخصي ترم-موارد غير پزشکي (ويژه دانشجوياني که تاکنون دو بار يا بيشتر مرخصي ترم داشته اند) ۱۳۹۷/۱۱/۰۱ ۱۳۹۷/۱۱/۲۹
۸ مرخصي ترم-موارد غير پزشکي (ويژه دانشجوياني که کمتر از دو ترم مرخصي تحصيلي داشته اند) ۱۳۹۷/۱۱/۰۱ ۱۳۹۷/۱۱/۲۹
۹ حذف ترم-موارد غير پزشکي (ويژه دانشجوياني که حذف پزشکي کمتر از دو ترم داشته اند) ۱۳۹۸/۰۲/۰۱ ۱۳۹۸/۰۳/۰۹
۱۰ حذف پزشکي واحد۹۷ (تک درس) ۱۳۹۸/۰۳/۲۴ ۱۳۹۸/۰۴/۱۲
زمان حذف نهايي: ۲۹ و ۳۰ اردیبهشت
@Math_ShU
Forwarded from انجمن ریاضی و علوم کامپیوتر دانشگاه شیراز
نشست سوم « محفل ریاضی »
ارائه دهنده : دکتر فاطمه شريفي
زمان : يكشنبه ٢٩ ارديبهشت ، ساعت 12:45 تا 14
مکان : بخش ریاضی ، طبقه دوم ، سالن پروفسور صدیقی
ارائه دهنده : دکتر فاطمه شريفي
زمان : يكشنبه ٢٩ ارديبهشت ، ساعت 12:45 تا 14
مکان : بخش ریاضی ، طبقه دوم ، سالن پروفسور صدیقی
Forwarded from News CSE.ShirazUni (𝓜𝓪𝓱𝓭𝓲 𝓱𝓯)
📌 مسابقه برنامه نویسی
🗓 جمعه سوم خرداد
🕙 مهلت ثبت نام : 31 اردیبهشت
💻 evand.com/events/acm-contest
🆓 کد تخفیف : COMPUTER_OFF_CODE
📩 [email protected]
🆔 @ACM_ShirazU
www.instagram.com/acm.shirazu
🗓 جمعه سوم خرداد
🕙 مهلت ثبت نام : 31 اردیبهشت
💻 evand.com/events/acm-contest
🆓 کد تخفیف : COMPUTER_OFF_CODE
📩 [email protected]
🆔 @ACM_ShirazU
www.instagram.com/acm.shirazu
انجمن ریاضی و علوم کامپیوتر دانشگاه شیراز
سوال هایی که اساتید طرح میکنند را حل کنید و جایزه بگیرید سری نخست «دوئل با اساتید» تاریخ شروع : دوشنبه 19 فروردین تاریخ پایان : چهارشنبه 11 اردیبهشت در صورت وجود هرگونه سوال و یا اطلاعات بیشتر به @shiuma مراجعه کنید .
برندگان سری اول «دوئل با اساتید»
سوال 1 - سطح آسان : امیرمحمد غضنفری ، سید علیرضا طالب پور
سوال 2 - سطح متوسط : سید علیرضا طالب پور
سوال 3 - سطح متوسط : امیرحسین حسینی
سوال 4 - سطح متوسط : امیرحسین دالوند ، بهنام باغبان پور
@Math_ShU
سوال 1 - سطح آسان : امیرمحمد غضنفری ، سید علیرضا طالب پور
سوال 2 - سطح متوسط : سید علیرضا طالب پور
سوال 3 - سطح متوسط : امیرحسین حسینی
سوال 4 - سطح متوسط : امیرحسین دالوند ، بهنام باغبان پور
@Math_ShU
🌒🌕🌗
🌟 Theory of Computation ✨
توجه :
در صورت تمایل به ارائه درس مبانی نظریه محاسبه اون رو در سِس در لیست ثبت نام مقدماتی دروس انتخاب کنید .
به احتمال زیاد استاد درس دکتر نیک سرشت خواهند بود .
این درس ربطی مستقیمی به برنامه نویسی ندارد و پیشنیاز اون مبانی علوم ریاضی میباشد .
(سر فصل درس شباهت زیادی به درس نظریه زبانها و ماشین ها دارد.)
در کهاد علوم کامپیوتر گرفتن این درس اجباری میباشد .
⚡ Theory of Computation ✨
🌔🌕🌕🌗
@Math_ShU
🌟 Theory of Computation ✨
توجه :
در صورت تمایل به ارائه درس مبانی نظریه محاسبه اون رو در سِس در لیست ثبت نام مقدماتی دروس انتخاب کنید .
به احتمال زیاد استاد درس دکتر نیک سرشت خواهند بود .
این درس ربطی مستقیمی به برنامه نویسی ندارد و پیشنیاز اون مبانی علوم ریاضی میباشد .
(سر فصل درس شباهت زیادی به درس نظریه زبانها و ماشین ها دارد.)
در کهاد علوم کامپیوتر گرفتن این درس اجباری میباشد .
⚡ Theory of Computation ✨
🌔🌕🌕🌗
@Math_ShU
Math ShU
🌒🌕🌗 🌟 Theory of Computation ✨ توجه : در صورت تمایل به ارائه درس مبانی نظریه محاسبه اون رو در سِس در لیست ثبت نام مقدماتی دروس انتخاب کنید . به احتمال زیاد استاد درس دکتر نیک سرشت خواهند بود . این درس ربطی مستقیمی به برنامه نویسی ندارد و پیشنیاز اون مبانی…
Theory of Computation
توضیحات درباره درس از زبان دکتر مجید علیزاده استاد دانشکده ریاضی دانشگاه تهران در کورس آن دانشکده .
نظریه محاسبه نظریه ای برای بررس ماشین ها و عملکردشان به صورت انتزاعی است. در واقع با بررسی مدل هایی، در تلاش برای بررسی ”توان“ ابزارهای محاسباتی هستیم. ما در این درس از ماشین های ساده شروع می کنیم و کم کم آنها را قوی تر می کنیم تا به قویترین ابزار محاسبات که کامپیوترهای امروزی هستند برسیم .
در توضیحات گروه علوم کامپیوتر دانشگاه یزد :
نظریه محاسبه چیست؟
◀ کسب توانایی در پیاده سازی محاسبات و الگوریتم ها
◀ تحلیل نظری محاسبات و کسب مهارت در اثبات ریاضی احکام
◀ مبانی نظریه اتوماتا و نظریه پیچیدگی
◀ معرفی زبان های صوری و انواع آن
◀ معرفی ماشین تورینگ به عنوان ماشین محاسباتی و مدل های محاسباتی .
نظریه محاسبه از دروس پایه ای رشته علوم کامپیوتر می باشد. یکی از اهداف اصلی نظریه محاسبه دسته بندی مسائل به قابل حل بودن و یا غیر حل بودن است. درنیمه اول قرن بیستم ٰتورینگ و چرچ کشف کردند که بعضی از مسائل پایه با یک الگوریتم قابل حل نیستند ود رنهایت مدل نظری آنان منجر به ساخت کامپیوترهای واقعی شد.
توضیحات در کورس فرادرس
نظریه محاسبه از دروس پایه ای رشته علوم کامپیوتر می باشد. یکی از اهداف اصلی نظریه محاسبه دسته بندی مسائل به قابل حل بودن و یا غیر حل بودن است. درنیمه اول قرن بیستم ٰتورینگ و چرچ کشف کردند که بعضی از مسائل پایه با یک الگوریتم قابل حل نیستند ود رنهایت مدل نظری آنان منجر به ساخت کامپیوترهای واقعی شد.
با پیشرفت های روز افزون در زمینه توسعه الگوریتم های کامپیوتری همچنان سؤالات زیادی در ارتباط با محدودیت های محاسبات با این الگوریتم ها وجود دارد به طوری که از هفت مسئله باز قرن ۲۱ که توسط انجمن ریاضی کلی در سال ۲۰۰۰ طرح شده اند و دارای جایزه یک میلیون دلاری می باشند یک مسئله مربوط به نظریه محاسبه می باشد.
استفاده از مفاهیم نسبتاً پیچیده ریاضی برای اثبات قضایای چون تز چرچ –تورینگ و یا مسئله کاهش پذیری از یک طرف و واضح نبودن ارتباط این درس با سایر دروس علوم کامپیوتر یادگیری این درس را برای دانشجویانی که برای اولین بار با این مطالب مواجه می شوند سخت و پیچیده می کند.
ارائه درس نظریه محاسبه بر اساس سرفصل وزارت علوم به گونه ای که ضمن یادگیری مفاهیم لازم فراگیر دید روشنی نسبت به روند تاریخی این درس و کاربردهای آن در حال حاضر پیدا نماید از اهداف اصلی این دوره خواهد بود.
نظریه محاسبه در کنار نظریه پیچیدگی دو شاخه اصلی در علوم کامپیوتر می باشند. اینکه بدانیم که به طور مشخص برای حل یک مسئله می توانیم یک الگوریتم کامپیوتری یافت یا نه؟ سؤالی است که هر دانشجو یا محقق علوم کامپیوتر در کنار گذراندن دروس یا پِژوهش کردن در زمینه هایی چون رمزنگاری یا هندسه محاسباتی ضروری است دید روشنی نسبت به آن داشته باشد.
فهرست سرفصل ها و رئوس مطالب مطرح شده در این مجموعه آموزشی، در ادامه آمده است:
درس یکم: ماشین تورینگ و انواع آن
تعریف ماشین تورینگ
برنامه نویسی ماشین های تورینگ
مسائل ۲۳ گانه هیلبرت
سیر تاریخی مسئله تورینگ
قضیه چرچ – تورینگ
انواع ماشین تورینگ
شبیه سازی چند ماشین تورینگ
تشریح معادل بودن عملکرد ماشین تورینگ و عملکرد کامپیوترهای واقعی
درس دوم: تصمیم پذیری و تصمیم ناپذیری ناپذیری
تصمیم پذیری زبان های منظم
تصمیم پذیری زبان های مستقل متن
مسئله پست PCP
ماشین تورینگ عمومی و مسئله تصمیم پذیری
درس سوم: کاهش پذیری
مسئله توقف و تصمیم ناپذیری
تبین مسئله کاهش پذیری
چند مثال در مورد کاهش پذیری
درس چهارم: کلاس مسائل P و NP
زمان چند جمله ای
کارایی در انواع ماشین تورینگ
کلاس P
مسائل NP
مسئله SAT و ۳SAT
کلاس P و NP و مسئله کاهش پذیری
کاهش پذیری SAT و ۳SAT به یکدیگر
قضیه کوک – لوی
@Math_ShU
توضیحات درباره درس از زبان دکتر مجید علیزاده استاد دانشکده ریاضی دانشگاه تهران در کورس آن دانشکده .
نظریه محاسبه نظریه ای برای بررس ماشین ها و عملکردشان به صورت انتزاعی است. در واقع با بررسی مدل هایی، در تلاش برای بررسی ”توان“ ابزارهای محاسباتی هستیم. ما در این درس از ماشین های ساده شروع می کنیم و کم کم آنها را قوی تر می کنیم تا به قویترین ابزار محاسبات که کامپیوترهای امروزی هستند برسیم .
در توضیحات گروه علوم کامپیوتر دانشگاه یزد :
نظریه محاسبه چیست؟
◀ کسب توانایی در پیاده سازی محاسبات و الگوریتم ها
◀ تحلیل نظری محاسبات و کسب مهارت در اثبات ریاضی احکام
◀ مبانی نظریه اتوماتا و نظریه پیچیدگی
◀ معرفی زبان های صوری و انواع آن
◀ معرفی ماشین تورینگ به عنوان ماشین محاسباتی و مدل های محاسباتی .
نظریه محاسبه از دروس پایه ای رشته علوم کامپیوتر می باشد. یکی از اهداف اصلی نظریه محاسبه دسته بندی مسائل به قابل حل بودن و یا غیر حل بودن است. درنیمه اول قرن بیستم ٰتورینگ و چرچ کشف کردند که بعضی از مسائل پایه با یک الگوریتم قابل حل نیستند ود رنهایت مدل نظری آنان منجر به ساخت کامپیوترهای واقعی شد.
توضیحات در کورس فرادرس
نظریه محاسبه از دروس پایه ای رشته علوم کامپیوتر می باشد. یکی از اهداف اصلی نظریه محاسبه دسته بندی مسائل به قابل حل بودن و یا غیر حل بودن است. درنیمه اول قرن بیستم ٰتورینگ و چرچ کشف کردند که بعضی از مسائل پایه با یک الگوریتم قابل حل نیستند ود رنهایت مدل نظری آنان منجر به ساخت کامپیوترهای واقعی شد.
با پیشرفت های روز افزون در زمینه توسعه الگوریتم های کامپیوتری همچنان سؤالات زیادی در ارتباط با محدودیت های محاسبات با این الگوریتم ها وجود دارد به طوری که از هفت مسئله باز قرن ۲۱ که توسط انجمن ریاضی کلی در سال ۲۰۰۰ طرح شده اند و دارای جایزه یک میلیون دلاری می باشند یک مسئله مربوط به نظریه محاسبه می باشد.
استفاده از مفاهیم نسبتاً پیچیده ریاضی برای اثبات قضایای چون تز چرچ –تورینگ و یا مسئله کاهش پذیری از یک طرف و واضح نبودن ارتباط این درس با سایر دروس علوم کامپیوتر یادگیری این درس را برای دانشجویانی که برای اولین بار با این مطالب مواجه می شوند سخت و پیچیده می کند.
ارائه درس نظریه محاسبه بر اساس سرفصل وزارت علوم به گونه ای که ضمن یادگیری مفاهیم لازم فراگیر دید روشنی نسبت به روند تاریخی این درس و کاربردهای آن در حال حاضر پیدا نماید از اهداف اصلی این دوره خواهد بود.
نظریه محاسبه در کنار نظریه پیچیدگی دو شاخه اصلی در علوم کامپیوتر می باشند. اینکه بدانیم که به طور مشخص برای حل یک مسئله می توانیم یک الگوریتم کامپیوتری یافت یا نه؟ سؤالی است که هر دانشجو یا محقق علوم کامپیوتر در کنار گذراندن دروس یا پِژوهش کردن در زمینه هایی چون رمزنگاری یا هندسه محاسباتی ضروری است دید روشنی نسبت به آن داشته باشد.
فهرست سرفصل ها و رئوس مطالب مطرح شده در این مجموعه آموزشی، در ادامه آمده است:
درس یکم: ماشین تورینگ و انواع آن
تعریف ماشین تورینگ
برنامه نویسی ماشین های تورینگ
مسائل ۲۳ گانه هیلبرت
سیر تاریخی مسئله تورینگ
قضیه چرچ – تورینگ
انواع ماشین تورینگ
شبیه سازی چند ماشین تورینگ
تشریح معادل بودن عملکرد ماشین تورینگ و عملکرد کامپیوترهای واقعی
درس دوم: تصمیم پذیری و تصمیم ناپذیری ناپذیری
تصمیم پذیری زبان های منظم
تصمیم پذیری زبان های مستقل متن
مسئله پست PCP
ماشین تورینگ عمومی و مسئله تصمیم پذیری
درس سوم: کاهش پذیری
مسئله توقف و تصمیم ناپذیری
تبین مسئله کاهش پذیری
چند مثال در مورد کاهش پذیری
درس چهارم: کلاس مسائل P و NP
زمان چند جمله ای
کارایی در انواع ماشین تورینگ
کلاس P
مسائل NP
مسئله SAT و ۳SAT
کلاس P و NP و مسئله کاهش پذیری
کاهش پذیری SAT و ۳SAT به یکدیگر
قضیه کوک – لوی
@Math_ShU
آزمون انتخابي مسابقات رياضي روز دوشنبه 20 خرداد ماه 98 در محل سالن کنفرانس بخش رياضي ، ساعت 14 برگزار خواهد شد. مواد آزمون دروس رياضي عمومي، جبر، جبرخطي، آناليز و مسائل ابتکاري مي باشد. دانشجوياني که علاقمند به شرکت در اين آزمون مي باشند تا روز شنبه 98/3/18 به آموزش بخش رياضي مراجعه نمايند.
@Math_ShU
@Math_ShU