دورهی آموزشی
« بحثی در ناتمامیت؛ گودل و مرزهای ناممکن همیشگی »
مدرس دوره : آقای محمد جواد سمیعی
⏰ زمان دوره :
جمعه ها ساعت 19 تا 20:30
شروع دوره از 12 دی ماه
⏳ طول دوره :
15 ساعت - 10 جلسه
🌐 به صورت مجازی
در بستر ادوبی کانکت
📚 سرفصل های دوره :
🟡 آشنایی کلی با گودل، قضایای تمامیت و ناتمامیت
🔵 سیستمهای فرمال، تاریخچه کارکرد و ویژگی های آنها
🟡 تعریف رسمی قضیهٔ گودل و روند اثبات آن
🔵 مفهوم خودارجاعی و پارادوکسها
🟡 دامنه اثر قضیهٔ گودل در علم و فلسفه
🔵 گودل و الگوریتم ها
🟡 ماشین تورینگ و قضیه توقف، محاسبه پذیری، پیچیدگی
🔵 سایر ناتمامیت ها
🟡 معرفی منابع فارسی و غیرفارسی برای مطالعه و تامل بیشتر
🔵 تعمیم های روا و ناروا از قضایای گودل
💯 همراه با اعطای مدرک دو زبانه شرکت در دوره
❇️ ثبت نام از طریق سامانه نگارستان
لینک ثبت نام دانشجویان علم و صنعت
لینک ثبت نام آزاد
💫 کسب اطلاعات بیشتر و پشتیبانی :
@iust_ssc_admin
━••●●●••━
@IUST_SSC
✨ انجمن نجوم دانشگاه علم و صنعت