🔷 وبینارهای ماهانهٔ بخش دانشجویی خانه ریاضیات اصفهان

🔹 «چه موقع چند ابرصفحه یک فضا را می‌پوشانند؟»

👤 سخنران:
دکتر امیر جعفری
دانشگاه صنعتی شریف

🗓 پنجشنبه ۲۳ مهر ۱۴۰۵
🕖 ساعت ۱۶:۰۰

🔗 پیوند شرکت در وبینار:
https://www.skyroom.online/ch/mathhouse/students

♾️ حضور در این وبینار برای همۀ علاقه‌مندان آزاد است.

@IMHStudents

#SciTalk

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

💥دورهمی علمی 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

🔸 فایل ارائه شده در دورهمی علمی #SciTalk

🗒 «From Modal Logic to Bisimulation Games: A Game-Theoretic Classification»

مقاله:
https://zenodo.org/records/22258054

🔸 می‌توانید ویدیوی ضبط شده این جلسه را از طریق پیوند زیر تماشا کنید:
https://nikan.iut.ac.ir/rooms/pic-hwm-kcs-zrg/public_recordings

🎙 ارائه دهنده: پوریا مرادپور
دانشجوی کارشناسی علوم کامپیوتر، دانشگاه اصفهان

🗓 برگزار شده در تاریخ ۲۱ مهر ۱۴۰۵

🔹 کانال تلگرام انجمن: @math_sc

📢 اطلاعیه اعلام اسامی نهایی کاندیداها و زمان برگزاری انتخابات انجمن‌های علمی

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

▫️ فهرست نهایی کاندیداها:
۱. آرشام جمشیدوند
۲. جواهر سمائی
۳. شیما خلیل‌پور
۴. فاطمه زهرا صالحی
۵. کژوان ظفری
۶. محمد حسین کاظمینی
۷. مهدیه سبک‌پا
۸. مهشید قطب‌زاده

🗳 زمان و نحوه برگزاری انتخابات:
• زمان: شنبه ۲۵ مهرماه
• سامانه رأی‌گیری: election.iut.ac.ir

از کلیه دانشجویان دانشکده علوم ریاضی دعوت می‌شود با شرکت در رأی‌گیری، در تعیین ترکیب جدید شورای انجمن مشارکت نمایند.

- انجمن علمی علوم ریاضی دانشگاه صنعتی اصفهان

@math_SC

همراهان گرامی؛
به استحضار می‌رساند که فرایند رأی‌گیری تنها تا پایان امروز برقرار است. بی‌شک مشارکت و حضور اثرگذار یکایک شما، چراغ راهِ فردای این انجمن و مایهٔ دلگرمی و انگیزهٔ اعضا در ادامهٔ این مسیر خواهد بود.

#SciTalk

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

💥دورهمی علمی SciTalk
جایی برای هم‌افزایی علمی در کنار هم

جلسه هشتم: «زیبای اشتباه»

آیا تاکنون این جملات را شنیده‌اید؟ «بعضی بی‌نهایت‌ها از بعضی دیگر بزرگ‌ترند»، «یک فنجان قهوه همان دونات است»، «گزاره‌ای در ریاضیات وجود دارد که درست است ولی قابل اثبات نیست»، «مجموع اعداد طبیعی برابر با منفی یک‌دوازدهم است»، «می‌توان یک کره را طوری برش داد که تبدیل به دو کره شود» و «اگر بی‌نهایت را به اعداد حقیقی اضافه کنیم با دایره یکی می‌شود».
این جملات جذاب و بحث‌برانگیزند، اما همگی اشتباه‌اند. در این جلسه قصد داریم به این تعابیر اشتباه بپردازیم و صورت درست آن‌ها را یک‌ بار برای همیشه بیان کنیم.

👤 ارائه‌دهنده: آریا فروزنده
دانشجوی کارشناسی ارشد ریاضی، دانشگاه صنعتی اصفهان

🗓 زمان: دوشنبه ۲۷ مهر، ساعت ۱۷:۰۰
📍مکان: سالن خوارزمی، دانشکده ریاضی

🔻حضور برای تمامی علاقه‌مندان آزاد است.

🔹 کانال تلگرام انجمن: @math_sc