🎈شاهد بازگشت دوباره مسابقات acpc در دانشگاه امیرکبیر هستیم .🎈
🧩مسابقات acpc یکی از بزرگترین مسابقات برنامه‌نویسی است که تجربه‌ای متفاوت در حوزه برنامه‌نویسی به شما می‌دهد.

برای آشنایی هرچه بهتر و معرفی بیشترِ رویداد ACPC ،جلسه‌ی معارفه بیست و سومین دوره مسابقات برنامه‌نویسی دانشگاه صنعتی امیر کبیر رو از دست ندهید.

📍مختص دانشجویان دانشگاه امیرکبیر
🏢سالن بهمن
🗓️سه شنبه ۲۵مهر ماه
🕔ساعت ۱۷:۱۵

👤 @acpc_admin
@AUTICPC

امروز فرصتی شد تا از تلاش و نتایج درخشان دانشجویان ممتاز و فرهیخته دانشکده در مسابقات المپیاد و مسابقات ACM تقدیر بعمل آید. برای همه این عزیزان آرزوی بهترین ها را داریم. امیدواریم این نوع فعالیت های علمی با نشاط و گستره بیشتری برگزار شوند.

💥گروه MCSLiga دانشگاه امیرکبیر برگزار می کند:

💻 جلسهٔ معارفه ICPC
مسابقه ACM قدیم

سلام!
با کد زدن و مسئله حل کردن حال میکنید؟ با مسابقه دادن چطور؟
دوست دارید تیم خودتونو داشته باشید و با هم وارد یه رقابت هیجان انگیز بشید و در کنار رقابت، مهارت هم یاد بگیرید؟
میخواید برای خودتون رزومه بسازید؟

✅با ICPC آشنایی دارید؟
یه مسابقه ی برنامه نویسی تیمی هیجان انگیز که می تونید توش در کنار رقابت کلی چیز یاد بگیرید، تفریح کنید و رزومه جمع کنید!

🤝با ما همراه باشید تا بیشتر باهاش آشنا شید!
یکی از خفنای این حوزه قراره دوشنبه کنارمون باشه.

📆 قرار ما دوشنبه ساعت ۱۲:۰۰
اتاق ۳۱۳ دانشکده ریاضی و علوم کامپیوتر

💻💻💻💻💻
🆔@MCSLiga

عکس یادگاری ورودی های 1402 به همراه چند تن از اساتید محترم و کارشناسان گرامی و عزیز دانشکده

برای همه این عزیزان آروزی سلامتی و شادی مستدام داریم

🔴 ثبت‌نام دوره چهارم محافل گره آغاز شد. 🔴

اگر تمایل داشته باشید در دوره‌های پایتون، علوم شناختی، علوم پزشکی و پردازش زبان طبیعی، تحت عنوان آبزرور (Observer) همراه ما باشید می‌توانید از کد تخفیف 50% زیر استفاده کنید:
📍 P57Q2N6C

در دوره جدید محافل گره، ثبت‌نام دوره‌های دپارتمان مرکزی و علوم پزشکی باهم انجام می‌گردد.

لینک ثبت‌نام مسابقه محافل گره (همراه با پروژه نهایی، جوایز نفیس، ارتباط با صنعت و مدرک معتبر انجمن علمی)

لینک ثبت‌نام دوره‌های محافل گره به صورت رایگان

مهلت ثبت‌نام فقط تا چهارشنبه ۱۰ آبان ساعت ۲۲:۰۰ است.

-------------------------
@Gereh_AUT
@MCS_SSC
@BioCanBCRC

🌐 GerehCircles.ir

برنامه امتحانات میان ترم دروس سرویس و عمومی در ترم اول 1402

📌 فرم نظرسنجی رویداد‌های دهه ریاضیات

🔻 سلسله رویدادهای دهه ریاضیات از ۱ الی ۱۵ آبان ماه ۱۴۰۲ برگزار شد. این‌ رویداد با استقبال بیش از ۲۹۰ نفر از دانشجویان برگزار شد.

از شما تقاضا داریم جهت بهبود کیفیت رویداد های آتی، فرم نظرسنجی زیر را تکمیل بفرمایید:
https://docs.google.com/forms/d/e/1FAIpQLSfDCdmhBi172F4K4pQU0M1UpS8G4aqObamW1eqOfCXoVQdilQ/viewform?usp=sf_link

از همراهی و استقبال گرم شما بی‌نهایت سپاسگزاریم.

به تصویر کشیدن گنگ بودن عدد پی

سخنرانیِ ماهانه‌ی انجمن منطق ایران

تاریخ: دوشنبه 29 آبان 1402، ساعت 16 الی 18

عنوان:
The Craig Interpolation Property in First-order Gödel Logic and Some of its Extensions

سخنران: نازنین روشندل توانا (دانشگاه صنعتی امیرکبیر)

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر (سالن 311) برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر، خیابان حافظ، پلاک ۳۵۰

پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic

چکیده‌ی سخنرانی: (کلیک کنید.)

————————————————

@IranLogic

https://chat.whatsapp.com/I5WoKvgN2cO9aZzuqRvBHY

📌 دهمین دوره رویداد "AUT Talk"

🎙 با همراهی جناب آقای محسن سالک
مدیر و دیوان سالار ویکی پدیا فارسی

عنوان‌ سخنرانی: معرفی ساختار مشارکت موثر در ویکی پدیا

✅ بررسی و تعریف ساختار ویکی پدیا
✅ معرفی روش‌های مشارکت علمی در ویکی‌پدیا

📆 روز: سه‌شنبه ۳۰ آبان
⏰ زمان: ساعت ۱۵:۰۰
📍مکان: آمفی تئاتر بهمن، دانشگاه صنعتی امیرکبیر

🔗 برای ثبت نام به @MCS_SSC_Admin پیام ارسال فرمایید.

📌 دوره‌‌های جمع‌بندی میان‌ترم دروس سرویس دانشکده ریاضی و علوم‌کامپیوتر

1️⃣ مرور و جمع‌بندی معادلات دیفرانسیل
👤 مدرس: خانم دکتر طباطبائی‌فر
💳 هزینه ثبت‌نام هر دوره:
دانشجویان سایر دانشگاه‌ها: ۹۰ هزار تومان
دانشجویان دانشگاه صنعتی امیرکبیر: ۸۰ هزار تومان
دانشجویان دانشکده ریاضی و علوم‌کامپیوتر: ۷۰ هزار تومان


🟡 محل برگزاری کلاس‌ها به‌صورت حضوری در دانشکده ریاضی و علوم کامپیوتر خواهد بود.

🟣 مهلت ثبت‌نام تا تکمیل ظرفیت کلاس‌ها خواهد بود و از طریق کانال انجمن علمی دانشکده، اطلاع رسانی خواهد شد.


✅ جهت ثبت‌نام به آی‌دی تلگرامی @MCS_SSC_Admin پیام دهید.

📎
انجمن منطق ایران یازدهمین همايش سالانه خود را در روزهای شنبه و يکشنبه 28 و 29 بهمن 1402 و به میزبانی مؤسسه‌ی پژوهشی حکمت و فلسفه ایران برگزار می‌کند.

✳️حوزه‌های پژوهشی مرتبط عبارتند از:
منطق ریاضی، منطق فلسفی، فلسفه ریاضیات، فلسفه منطق، منطق قدیم، تاریخ منطق، منطق و علوم رایانه، منطق کاربردی، منطق و روش‌شناسی، و آموزش منطق

✳️کمیته علمی: (به ترتیب الفبایی)
حجتی، سید محمد علی
دارابی، علیرضا
روشندل توانا، نازنین
شیرمحمدزاده ملکی، فاطمه
صالحی، سعید
فراهانی، هادی
فلاحی، اسداله
گلشنی، محمد
مفیدی، علیرضا
نباتی، فرشته
نبوی، لطف‌اله

✳️دبیران علمی: اسداله فلاحی، علیرضا دارابی

✳️کمیته اجرایی: علی صادق دقیقی، سید احمد میرصانعی

از علاقمندان و صاحب‌نظران در حوزه‌های گوناگون منطق دعوت می‌شود خلاصه مقاله 1000 تا 1500کلمه‌ای خود را به آدرس زیر ارسال نمایند:
lc1402@ialogic.ir

🛑 پایان مهلت ارسال مقالات: 15 دی 1402

برای اطلاع از ساختار مناسب خلاصه مقالات همایش، اعضای کمیته علمی و توضیحات مبسوط‍‌تر در مورد تصمیمات کمیته‌های علمی و اجرایی همایش، اینجا کلیک کنید.

با سپاس پیشاپیش
کميته همايش انجمن منطق ایران

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

📣 مسابقه برنامه‌نویسی روز دانشجو

📆 روز: پنجشنبه ۱۶ آذرماه
⏰ زمان: ساعت ۱۸:۰۰
📍مکان: سایت کوئرا

🎁 جوایز
🥇 نفر اول ۲،۰۰۰،۰۰۰ تومان
🥈 نفر دوم ۱،۵۰۰،۰۰۰ تومان
🥉نفر سوم ۱،۰۰۰،۰۰۰ تومان
همراه با هدیه از طرف کوئرا

🔥 منتظر ما باشید...

@MCS_SSC