بخش دانشجویی

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

ارائه‌دهنده: مهسا یادگاری فارغ‌التحصیل کارشناسی ارشد صنعتی اصفهان، رشتهٔ ریاضی، گرایش منطق

زمان: پنجشنبه ۱۷ آبان ۱۴۰۳ ساعت ۱۱:۰۰

مکان: اصفهان، خیابان آزادگان، روبه‌روی مقبرهٔ بانو امین، خانه ریاضیات اصفهان

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

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

گرداننده گپ: مسعود میرحسینی

زمان: یکشنبه ۲۵ شهریورماه ۱۴۰۳ ساعت ۱۸

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

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

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

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

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

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

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

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

ساعت ۱۰

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

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