گپ دانشجویی با موضوع Model checking on tame classes of graphs

بخش دانشجویی خانه ریاضیات اصفهان برگزار می‌کند:

قضیه‌های متا (Meta-theorems) قضیه‌هایی با فرم کلی زیر هستند:

اگر بتوانیم مسئله‌ای را در منطق L بیان کنیم، آنگاه می‌توان آن مسئله را روی گراف‌هایی که خصوصیت P را دارند، در زمانِ FPT (Fixed parameter tractable) حل کرد.

معروف‌ترین قضیه متا، قضیه کورسل (Courcell’s theorem) است. منطق مورد بحث در این قضیه، منطق MSO (Monadic second order logic) است.

در این گپ دانشجویی، تلاش می‌کنیم این قضیه را فهم کنیم و سپس به بررسی وضعیت کنونی علم در مواجهه با منطق درجه اول می‌پردازیم.

گرداننده گپ: فاطمه قاسمی

زمان: پنجشنبه ۸ شهریورماه ۱۴۰۳

ساعت ۱۰

محل برگزاری: خیابان سعادت‌آباد، جنب ورزشگاه امین، خانه ریاضیات اصفهان

جهت شرکت در گپ داشتن پایه نظریه محاسبه مدل و کمی منطق ریاضی مفید است.

اسکرول به بالا