🔸انجمن علمی علوم ریاضی دانشگاه صنعتی اصفهان برگزار می‌کند:
💥دورهمی علمی SciTalk
جایی برای هم‌افزایی علمی در کنار هم
جلسه هفتم:
«From Modal Logic to Bisimulation Games: A Game-Theoretic Classification»
این ارائه به بررسی Bisimulation Games در Modal Logic و طبقه‌بندی آن‌ها از دیدگاه Game Theory می‌پردازد. پس از معرفی مفاهیم پایه و نحوهٔ عملکرد این بازی‌ها، ویژگی‌هایی مانند دونفره‌بودن، ترتیبی‌بودن، Perfect Information، Zero-Sum بودن و مفهوم Winning Strategy بررسی می‌شوند. همچنین تفاوت این بازی‌ها با بازی‌های اقتصادی و نقش آن‌ها در تشخیص Logical Equivalence توضیح داده می‌شود. در پایان نیز به ارتباط آن‌ها با First-Order Logic و Ehrenfeucht–Fraïssé Games اشاره خواهد شد.
👤 ارائه‌دهنده: پوریا مرادپور
دانشجوی کارشناسی علوم کامپیوتر، دانشگاه اصفهان
🗓 زمان: سه‌شنبه ۲۱ مهر، ساعت ۱۷:۰۰
📍مکان: سالن خوارزمی، دانشکده ریاضی
🔻حضور برای تمامی علاقه‌مندان آزاد است.
🔹 کانال تلگرام انجمن: @math_sc