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

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

تاریخ: دوشنبه 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

🎉 روز دانشجو بر تمامی دانشجویان مبارک

🔹 برای شرکت در مسابقه برنامه‌نویسی پنجشنبه ۱۶ آذر ساعت ۱۸:۰۰ می‌توانید از طریق لینک زیر وارد شوید:
https://quera.org/contest/add_to_contest/lxRtIMXh0Nnla0v

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

---------------------
@MCS_SSC

برنامه امتحانات پایان ترم دروس سرویس و عمومی در نیم سال دوم ۱۴۰۲

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

چهارشنبه 22 آذر، ساعت 11 صبح

«کز جمله شب‌ها شب یلدا یکی است»

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

👤 با حضور دکتر قطعی، دکتر توانا و دکتر رحمتی

🗓 سه‌شنبه ۲۱ آذرماه
🕰 ساعت ۱۷:۰۰

از دانشجویان عزیزی که علاقه‌مند به شعر هستند تقاضا می‌شود چند بیت شعر خوب برای خواندن در جلسه به همراه داشته باشند.

دانشجویانی که قصد دارند در مسابقه مشاعره شرکت کنند به @Zeeynabchamanii پیام ارسال فرمایند.

🌿 همه دعوتید.

دعوت به مشارکت فعال در امیرکبیر دی-دی (Amirkabir's DAIDay)

دوستان گرامی سلام. برای ترویج داده کاوی و هوش مصنوعی تصمیم داریم یک روز از اوقات پایان ترم اول هر سال را به عنوان روز داده کاوی و هوش مصنوعی امیرکبیر
 (Amirkabir's Datamining & Artificial Intelligence Day (Amirkabir's DAIDay) ) 
تعریف کنیم و در این روز به اشتراک تجربیات دانشجویان به یکدیگر در حوزه داده کاوی و هوش مصنوعی  بپردازیم. زمانهای زیر برای برگزاری امیرکبیر دی-دی امسال پیشنهاد می شود:
چهارشنبه 1402/11/4
پنج شنبه 1402/10/14
پنج شنبه 1402/10/7
 لطفا علاقمندی خود برای مشارکت در امیرکبیر دی-دی تا آخر هفته به اینجانب یا اعضای آزمایشگاه NORC منتقل فرمایید و به یکی از زمانهای پیشنهادی فوق رای دهید. به امید یک روز به یاد ماندنی
مهدی قطعی

دعوت به مشارکت فعال در امیرکبیر دی-دی (Amirkabir's DAIDay) دوستان گرامی سلام. برای ترویج داده کاوی و هوش مصنوعی تصمیم داریم یک روز از اوقات پایان ترم اول هر سال را به عنوان روز داده کاوی و هوش مصنوعی امیرکبیر  (Amirkabir's Datamining & Artificial Intellige
public poll

چهارشنبه ۱۴۰۲/۱۱/۴ – 91
👍👍👍👍👍👍👍 84%

پنج شنبه ۱۴۰۲/۱۰/۱۴ – 10
👍 9%

پنج شنبه ۱۴۰۲/۱۰/۷ – 7
👍 6%

👥 108 people voted so far.

دعوت از ایده پردازان، علاقمندان و حامیان روز تحقیقاتی داده‏ کاوی و هوش مصنوعی
با سلام و احترام
در راستای بهره‌‏گیری از توان انجمن‏های علمی_ دانشجویی، حمایت و هدایت استعداد و نبوغ دانشجویان در راستای خلق نوآوری و ایجاد نشاط و انگیزه در دانشجویان و سایر علاقمندان برای حل مسائل کشور،‌ در نظر داریم،‌ هر سال اواخر ترم اول یک روز تحقیقاتی با عنوان«روز داده‏کاوی و هوش مصنوعی امیرکبیر» با مشارکت دانشجویان مقاطع کارشناسی و تحصیلات تکمیلی برگزار کنیم. تعریف روز داده‏کاوی و هوش مصنوعی امیرکبیر یا
Amirkabir's Datamining & Artificial Intelligence Day (Amirkabir's DAI-Day)
که به اختصار «امیرکبیر دی-دی» نامیده می شود، نقش مهمی در شناسایی و ایجاد زمینه گفتگوهای دانشجویی و اشتراک گذاری تجربیات با محوریت داده کاوی و هوش مصنوعی خواهد داشت و امید می رود که بزودی، یک فرهنگ عمومی در کشور گردد. برای امیرکبیر دی-دی امسال،‌ تاریخ چهارشنبه 04/11/1402 توسط دانشجویان عزیز انتخاب شده است.
در مراسم امسال برنامه‏های متنوع علمی- آموزشی - پژوهشی توسط دانشجویان هر سه مقطع به صورت ترکیبی (حضوری -مجازی) اجرا خواهد شد و همه نقشهای آن بر عهده دانشجویان، انجمنهای علمی و علاقمندان به حوزه فکر و اندیشه است. مستدعی است ایده های مناسب برای برگزاری موثرتر این مراسم و یا هرگونه حمایت مادی و معنوی ممکن از این مراسم را به آدرس ایمیل
Amirkabir.DAI.Day@gmail.com
ارسال فرمایید. منتظر حضور گرمتان هستیم. با تشکر. مهدی قطعی

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

📣 کارگاه کاربرد جبرخطی در هوش مصنوعی

🎙 با همراهی جناب آقای امید سقطچیان 

📆 روز: دوشنبه ۴ و ۱۱ دی‌ماه
⏰ زمان: ساعت ۱۶:۰۰
📍مکان: طبقه سوم دانشکده ریاضی و علوم کامپیوتر

این کارگاه هیچ پیش‌نیازی ندارد!

برای ثبت‌نام در این کارگاه فرم زیر را پر کنید:
https://docs.google.com/forms/d/e/1FAIpQLSeQ6GtP_jvsTnpTcqZ0w3_kYgKRFIS6GtB72Egkp0oqUftvLw/viewform?usp=sf_link


@MCS_SSC