📣 بخش دانشجویی خانه ریاضیات اصفهان برگزار میکند:
🟡 #گپ دانشجویی با موضوع Model checking on tame classes of graphs
🔸 قضیههای متا (
Meta-theorems) قضیههایی با فرم کلی زیر هستند:
اگر بتوانیم مسئلهای را در منطق L بیان کنیم، آنگاه میتوان آن مسئله را روی گرافهایی که خصوصیت P را دارند، در زمانِ
FPT (Fixed parameter tractable) حل کرد.
معروفترین قضیه متا، قضیه کورسل (
Courcell’s theorem) است. منطق مورد بحث در این قضیه، منطق
MSO (Monadic second order logic) است.
🔹 در این گپ دانشجویی، تلاش میکنیم این قضیه را فهم کنیم و سپس به بررسی وضعیت کنونی علم در مواجهه با منطق درجه اول میپردازیم.
👤 گرداننده گپ: فاطمه قاسمی
🗓️ زمان: پنجشنبه ۸ شهریورماه ۱۴۰۳
🕔 ساعت ۱۰
📍 محل برگزاری: خیابان سعادتآباد، جنب ورزشگاه امین، خانه ریاضیات اصفهان
🔸 جهت شرکت در گپ داشتن پایه نظریه محاسبه مدل و کمی منطق ریاضی مفید است.
🌐 کانال تلگرام •
ارتباط با ما