👤 مدرس دوره : آقای محمد جواد سمیعی
​⏰ زمان بندی ادامه دوره :

شنبه‌ها ساعت 19 تا 20:30
(شروع مجدد کلاس‌ها از شنبه 27 تیرماه)

​⏳ طول کل دوره :
15 ساعت - 10 جلسه
​🌐 به صورت مجازی
در بستر ادوبی کانکت
​📚 سرفصل های دوره :
🟡 آشنایی کلی با گودل، قضایای تمامیت و ناتمامیت
🔵 سیستم‌های فرمال، تاریخچه کارکرد و ویژگی های آنها
🟡 تعریف رسمی قضیهٔ گودل و روند اثبات آن
🔵 مفهوم خودارجاعی و پارادوکس‌ها
🟡 دامنه اثر قضیهٔ گودل در علم و فلسفه
🔵 گودل و الگوریتم ها
🟡 ماشین تورینگ و قضیه توقف، محاسبه پذیری، پیچیدگی
🔵 سایر ناتمامیت ها
🟡 معرفی منابع فارسی و غیرفارسی برای مطالعه و تامل بیشتر
🔵 تعمیم های روا و ناروا از قضایای گودل
​💯 همراه با اعطای مدرک دو زبانه شرکت در دوره

​💫 کسب اطلاعات بیشتر و پشتیبانی :
@iust_ssc_admin
​━••●●●••━
@IUST_SSC
✨ انجمن نجوم دانشگاه علم و صنعت