#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

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

🗒 «زیبای اشتباه»

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

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

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

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

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

🔷 رویداد دانشجویی دههٔ ریاضیات

🔹 سخنرانان رویداد:

👤 دکتر حسین فلسفین (عضو هیئت علمی دانشکدهٔ مهندسی برق و کامپیوتر، دانشگاه صنعتی اصفهان)
▫️ عنوان: چه‌چیز یک مسئلهٔ بهینه‌سازی ترکیبیاتی را از همانندانش متمایز می‌سازد؟

👤 مهریار علوی (دانشجوی کارشناسی ارشد، گرایش هندسهٔ جبری، دانشگاه صنعتی اصفهان)
▫️ عنوان: کاربرد مجموعه‌های مشخصه در حل دستگاه‌های معادلات دیفرانسیلی

🗓️ پنجشنبه ۷ آبان ۱۴۰۵
🕙 ساعت ۱۰:۰۰

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

🛜 این رویداد به‌صورت برخط نیز برگزار می‌شود. پیوند شرکت در این رویداد:
skyroom.online/ch/mathhouse/students

@IMHStudents

شصت و چهارمین رویداد AI Talks

موضوع: AI در پژوهش؛ ایده، مقاله، ابزار و قانون

هوش مصنوعی در حال تغییر قواعد پژوهش و انتشارات علمی است. از شکل‌گیری ایده و جست‌وجوی منابع تا تحلیل داده‌ها، نگارش مقاله و انتخاب مجله، ابزارهای AI فرصت‌های تازه‌ای فراهم کرده‌اند اما مرز میان استفاده از AI و تخلف در پژوهش کجاست؟

در این نشست گپ‌وگفتی خواهیم داشت درباره:

✅ هوش مصنوعی چگونه مسیر پژوهش را تغییر داده؟
✅ چگونه از AI پاسخ‌های دقیق‌تر و علمی‌تر بگیریم؟
✅ خط قرمزهای استفاده از AI در پژوهش و مقاله‌نویسی
✅ قوانین ناشران بزرگ علمی درباره استفاده از AI
✅ چه زمانی استفاده از هوش مصنوعی را در مقاله اعلام کنیم؟
✅ رفرنس‌های جعلی، داده‌سازی و تصاویر تولیدشده با AI


🎙 ارائه‌دهنده:
عرفان ذاکر | پژوهشگر حوزه بیوانفورماتیک

🗓 زمان: شنبه ۲ آبان، ۱۴۰۵
🕗 ساعت: ۱۵ الی ۱۷
📍 مکان: دانشگاه اصفهان، کارخانه نوآوری اسنواتک

ثبت نام رویداد حضوری
ثبت نام رویداد آنلاین