🔵 برگزاری دهمین کانتست از کانتست‌های فردی 🟡 برای شرکت در این کانتست‌، اگر در کانتست‌‌های گذشته شرکت نکرده و فرم را پر نکرده‌اید حداکثر تا قبل از مسابقه، باید این فرم توسط هر فرد، تکمیل شود. همچنین برای آشنایی با قوانین و نحوه امتیازدهی مسابقات می‌توانید مستندات…

🔵 برگزاری نهمین کانتست از کانتست‌های فردی 🟡 برای شرکت در این کانتست‌، اگر در کانتست‌‌های گذشته شرکت نکرده و فرم را پر نکرده‌اید حداکثر تا قبل از مسابقه، باید این فرم توسط هر فرد، تکمیل شود. همچنین برای آشنایی با قوانین و نحوه امتیازدهی مسابقات می‌توانید مستندات…

وبینار در حال برگزاری است🎈

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

🟡 #گپ دانشجویی با موضوع Model checking on tame classes of graphs
🔸 قضیه‌های متا (Meta-theorems) قضیه‌هایی با فرم کلی زیر هستند:

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

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

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

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

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

🕔 ساعت ۱۰

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

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

🌐 کانال تلگرام • ارتباط با ما

🔵 برگزاری نهمین کانتست از کانتست‌های فردی 🟡 برای شرکت در این کانتست‌، اگر در کانتست‌‌های گذشته شرکت نکرده و فرم را پر نکرده‌اید حداکثر تا قبل از مسابقه، باید این فرم توسط هر فرد، تکمیل شود. همچنین برای آشنایی با قوانین و نحوه امتیازدهی مسابقات می‌توانید مستندات…

🔵 برگزاری نهمین کانتست از کانتست‌های فردی

🟡 برای شرکت در این کانتست‌، اگر در کانتست‌‌های گذشته شرکت نکرده و فرم را پر نکرده‌اید حداکثر تا قبل از مسابقه، باید این فرم توسط هر فرد، تکمیل شود. همچنین برای آشنایی با قوانین و نحوه امتیازدهی مسابقات می‌توانید مستندات مربوط به مسابقات فردی را مطالعه کنید.

🔴 سپس در سایت AtCoder در کانتست مربوطه ثبت‌نام کنید. (از لیست کانتست‌ها، کانتست را انتخاب کنید و بعد از انتخاب گزینه Register و انجام مراحل ثبت‌نام در کانتست، گزینه Rated Register را انتخاب کنید.)

🪧کانتست: AtCoder Beginner Contest 368

🕘 زمان: شنبه ۳ شهریور از ساعت ۱۵:۳۰ تا ۱۷:۱۰

✨ با آرزوی موفقیت برای تمامی شرکت کننده‌ها.

------------------------------------
🎈با انجمن ACM همراه باشید🎈
  [تلگرام] | [اینستاگرام] | [لینکدین]

🔵 برگزاری هفتمین کانتست از کانتست‌های فردی 🟡 برای شرکت در این کانتست‌، اگر در کانتست‌‌های گذشته شرکت نکرده و فرم را پر نکرده‌اید حداکثر تا قبل از مسابقه، باید این فرم توسط هر فرد، تکمیل شود. همچنین برای آشنایی با قوانین و نحوه امتیازدهی مسابقات می‌توانید…

🔵 برگزاری ششمین کانتست از کانتست‌های فردی 🟡 برای شرکت در این کانتست‌، اگر در کانتست‌‌های گذشته شرکت نکرده و فرم را پر نکرده‌اید حداکثر تا قبل از مسابقه، باید این فرم توسط هر فرد، تکمیل شود. همچنین برای آشنایی با قوانین و نحوه امتیازدهی مسابقات می‌توانید مستندات…

🔵 برگزاری پنجمین کانتست از کانتست‌های فردی 🟡 برای شرکت در این کانتست‌، اگر در کانتست‌‌های گذشته شرکت نکرده و فرم را پر نکرده‌اید حداکثر تا قبل از مسابقه، باید این فرم توسط هر فرد، تکمیل شود. همچنین برای آشنایی با قوانین و نحوه امتیازدهی مسابقات می‌توانید…

⏺آغاز ثبت‌نام اولین دوره‌ی سری سمینارهای نرم افزاری شریف (S4)

◀️ زمان برگزاری: ۱۰ و ۱۱ خرداد
◀️ مهلت ثبت‌نام: تا ۹ خرداد
👥 نحوه‌ی برگزاری: حضوری (۱۰ خرداد) و مجازی (۱۱ خرداد)
🏬 برگزارکننده: آزمایشگاه کیفیت نرم‌افزار دانشگاه صنعتی شریف

📌سری سمینار‌های نرم‌افزاری دانشگاه صنعتی شریف (S4) رویدادی ارائه‌محور است که در آن برخی از صاحب‌نظران حوزه‌ی مهندسی نرم‌افزار از سراسر جهان به ارائه‌ی آخرین دستاوردهای خود در زمینه‌های علمی و صنعتی می‌پردازند. هدف از برگزاری این رویداد، بررسی تاثیر عمق و بنیه‌ی دانش انتزاعی نرم‌افزار در مسیر پیش‌روی افراد، در کنار انتشار و تعامل در زمینه‌های آکادمیک و صنعتی مربوطه است.

🚫 لازم به ذکر است که ظرفیت شرکت حضوری در رویداد محدود است.

✍️ ثبت‌نام در این رویداد به صورت رایگان و از طریق وب‌سایت رویداد صورت می‌گیرد.

🗄🗄🗄🗄🗄🗄🗄
🔗 ارتباط با ما و اطلاعات بیشتر:         
وب‌سایت 🌎 | اینستاگرام 🌐 | لینکدین 🌐

✈️ @s4_sut