بخش دانشجویی خانه ریاضیات اصفهان
📣 بخش دانشجویی خانه ریاضیات اصفهان برگزار میکند: 🟠 #سمینار گودل و پدیده ناتمامیت در ریاضیات 🔹 در این ارائه پس از مروری بر قضیههای اول و دوم ناتمامیت گودل و بررسی چند اثبات برای آنها، به بررسی ارتباطهای مختلف پدیده ناتمامیت با ریاضیات معاصر میپردازیم:…
📌 #اطلاعیه
به اطلاع میرساند زمان جلسهی دوم سمینار گودل و پدیده ناتمامیت در ریاضیات با ارائهی دکتر پیام سراجی با توجه به نظر و تصمیم استاد و شرکتکنندگان تغییر پیدا کرد و این جلسه به دلیل شرایط موجود، پنجشنبه مورخ ۱۷ خردادماه ۱۴۰۳ ساعت ۱۶:۳۰ برگزار خواهد شد.
به اطلاع میرساند زمان جلسهی دوم سمینار گودل و پدیده ناتمامیت در ریاضیات با ارائهی دکتر پیام سراجی با توجه به نظر و تصمیم استاد و شرکتکنندگان تغییر پیدا کرد و این جلسه به دلیل شرایط موجود، پنجشنبه مورخ ۱۷ خردادماه ۱۴۰۳ ساعت ۱۶:۳۰ برگزار خواهد شد.
👍2😐1
بخش دانشجویی خانه ریاضیات اصفهان
📌 #اطلاعیه به اطلاع میرساند زمان جلسهی دوم سمینار گودل و پدیده ناتمامیت در ریاضیات با ارائهی دکتر پیام سراجی با توجه به نظر و تصمیم استاد و شرکتکنندگان تغییر پیدا کرد و این جلسه به دلیل شرایط موجود، پنجشنبه مورخ ۱۷ خردادماه ۱۴۰۳ ساعت ۱۶:۳۰ برگزار خواهد…
📌 #یادآوری
جلسهی دوم سمینار گودل و پدیده ناتمامیت در ریاضیات با ارائهی دکتر پیام سراجی پنجشنبه مورخ ۱۷ خردادماه ۱۴۰۳ ساعت ۱۶:۳۰ برگزار خواهد شد.
جلسهی دوم سمینار گودل و پدیده ناتمامیت در ریاضیات با ارائهی دکتر پیام سراجی پنجشنبه مورخ ۱۷ خردادماه ۱۴۰۳ ساعت ۱۶:۳۰ برگزار خواهد شد.
Forwarded from خانه ریاضیات اصفهان (Sharareh T D)
🔷 گپ و گفتی دوستانه
با جناب آقای دکتر شنتیا یاراحمدیان
🔸 زمان: سهشنبه، ۲۲ خرداد ۱۴۰۳،
ساعت ۱۷ تا ۱۹
🔸 مکان: خانه ریاضیات اصفهان
🔸 آدرس صفحه شخصی دکتر یاراحمدیان:
https://www.math.msstate.edu/directory/syarahmadian
🔸 دکتر یاراحمدیان علاوه بر موضوعات مورد تخصصشان، درباره فلسفه ریاضی نیز دانش خوبی دارند.
🔷
با جناب آقای دکتر شنتیا یاراحمدیان
🔸 زمان: سهشنبه، ۲۲ خرداد ۱۴۰۳،
ساعت ۱۷ تا ۱۹
🔸 مکان: خانه ریاضیات اصفهان
🔸 آدرس صفحه شخصی دکتر یاراحمدیان:
https://www.math.msstate.edu/directory/syarahmadian
🔸 دکتر یاراحمدیان علاوه بر موضوعات مورد تخصصشان، درباره فلسفه ریاضی نیز دانش خوبی دارند.
🔷
www.math.msstate.edu
Dr. Shantia Yarahmadian | Math
Research interests: Partial differential equations, mathematical biology (dynamics of microtubules), stability of boundary layers, signal processing, stochastic processes. Author Profile on Google Scholar Author Profile on MathSciNet Research Denoscription
👍2
باسلام به اساتید، معلمان، دانشآموزان و همه دوستداران خانه ریاضیات اصفهان؛
ضمن تشکر از همراهی همیشگی شما، خواهشمندیم در امضای کارزار «درخواست ارسال بخشنامههای استفاده از خدمات بانکی نابینایان و کمبینایان برای تمامی بانکها» مشارکت فرمایید و برای افزایش تعداد امضاها، این کارزار را تا جای ممکن برای سایر دغدغهمندان به اشتراک بگذارید:
https://www.karzar.net/113266
ضمن تشکر از همراهی همیشگی شما، خواهشمندیم در امضای کارزار «درخواست ارسال بخشنامههای استفاده از خدمات بانکی نابینایان و کمبینایان برای تمامی بانکها» مشارکت فرمایید و برای افزایش تعداد امضاها، این کارزار را تا جای ممکن برای سایر دغدغهمندان به اشتراک بگذارید:
https://www.karzar.net/113266
www.karzar.net
امضا کنید: کارزار درخواست ارسال بخشنامههای استفاده از خدمات بانکی نابینایان و کمبینایان برای تمامی بانکها
از همه نابینایان و کمبینایان و افراد مرتبط با این گروه و همه کسانی که احساس مسئولیت اجتماعی دارند صمیمانه میخواهیم با پیوستن به این کارزار گروه آسیبدیده بینایی را در اجرای بخشنامههای موجود مبنی بر افتتاح و بهرهمندی از خدمات بانکی حتی خدمات حساب جاری،…
👍6
Media is too big
VIEW IN TELEGRAM
🟠 #گزارش تصویری بازدید از مسجد جامع اصفهان و سمینار ترسیم نقش چهار ترنج توسط قضیهای از خیام
به مناسبت بزرگداشت حکیم خیام نیشابوری، اعضای بخش دانشجویی خانه ریاضیات اصفهان با همراهی استاد اکبر زمانی، دکتر پیام سراجی و انجمن ریاضی دانشگاه فرهنگیان گرد هم آمدیم تا لحظاتی را در بخش کوچکی از تاریخ کهن و عمیق سرزمینمان بگذرانیم.
کمال تشکر را از دوستان عزیزی که در این بازدید حضور داشتند داریم. 🌱💫
بخش دانشجویی خانه ریاضیات اصفهان
به مناسبت بزرگداشت حکیم خیام نیشابوری، اعضای بخش دانشجویی خانه ریاضیات اصفهان با همراهی استاد اکبر زمانی، دکتر پیام سراجی و انجمن ریاضی دانشگاه فرهنگیان گرد هم آمدیم تا لحظاتی را در بخش کوچکی از تاریخ کهن و عمیق سرزمینمان بگذرانیم.
کمال تشکر را از دوستان عزیزی که در این بازدید حضور داشتند داریم. 🌱💫
بخش دانشجویی خانه ریاضیات اصفهان
❤5
📣 بخش دانشجویی خانه ریاضیات اصفهان با همکاری بخش ریاضیات و هنر برگزار میکند:
🟠 #سمینار ریاضیات و زیبایی شناسی
🔹 در این سخنرانی به بررسی ارتباط و کاربردهای مختلف ریاضیات در هنر (به طور خاص معماری و موسیقی)، نقش ریاضیات در زیباییهای طبیعت و توجیه فلسفی این ارتباط با توجه به دیدگاههای افلاطون و سنت گرایان خواهیم پرداخت.
📝 سخنران: دکتر پیام سراجی
استاد دانشگاه فرهنگیان
⏰ زمان برگزاری: دوشنبه ۱۸ تیرماه ۱۴۰۳
ساعت ۱۸
📍 سمینار به صورت حضوری در خانه ریاضیات اصفهان برگزار میشود، خیابان سعادتآباد، جنب ورزشگاه امین.
🌐 کانال تلگرام • ارتباط با ما
🟠 #سمینار ریاضیات و زیبایی شناسی
🔹 در این سخنرانی به بررسی ارتباط و کاربردهای مختلف ریاضیات در هنر (به طور خاص معماری و موسیقی)، نقش ریاضیات در زیباییهای طبیعت و توجیه فلسفی این ارتباط با توجه به دیدگاههای افلاطون و سنت گرایان خواهیم پرداخت.
📝 سخنران: دکتر پیام سراجی
استاد دانشگاه فرهنگیان
⏰ زمان برگزاری: دوشنبه ۱۸ تیرماه ۱۴۰۳
ساعت ۱۸
📍 سمینار به صورت حضوری در خانه ریاضیات اصفهان برگزار میشود، خیابان سعادتآباد، جنب ورزشگاه امین.
🌐 کانال تلگرام • ارتباط با ما
❤3👌1
📣 بخش دانشجویی خانه ریاضیات اصفهان برگزار میکند:
🔵 #دوره مدلسازی ریاضی با پایتون
🗓 زمان: روزهای چهارشنبه - شروع از ۲۰ تیرماه ۱۴۰۳
🕔 ساعت ۱۸ الی ۲۰
👤 مدرس دوره: دکتر محسن رحیمی پیرانفر
🔸 اهداف دوره:
▫️ مرور مفاهیم مقدماتی آمار و جبر خطی با استفاده از کتابخانههای پایتون
▪️ تقویت مهارت به کارگیری ریاضیات به کمک رایانه
▫️ رفع خلأ مهم بین مهارتهای نظری ریاضیات و مهارتهای عملی در برنامهنویسی
▪️ به کارگیری سر فصلهای ارائه شده با استفاده از رایانه به منظور مدل کردن و حل یک مسئله در دنیای واقعی
📌 سرفصلهای دوره در قسمت کامنت ارائه میشود.
🖇 جهت ثبتنام و اطلاعات بیشتر به لینک ثبتنام مراجعه فرمایید.
📍 دوره به صورت حضوری در خانه ریاضیات اصفهان برگزار میشود.
⭕️ تخفیف ویژه برای دانشجویان، اعضای بخش دانشجویی و مدرسان خانه ریاضیات اصفهان ⭕️
🌐 کانال تلگرام • ارتباط با ما
🔵 #دوره مدلسازی ریاضی با پایتون
🗓 زمان: روزهای چهارشنبه - شروع از ۲۰ تیرماه ۱۴۰۳
🕔 ساعت ۱۸ الی ۲۰
👤 مدرس دوره: دکتر محسن رحیمی پیرانفر
🔸 اهداف دوره:
▫️ مرور مفاهیم مقدماتی آمار و جبر خطی با استفاده از کتابخانههای پایتون
▪️ تقویت مهارت به کارگیری ریاضیات به کمک رایانه
▫️ رفع خلأ مهم بین مهارتهای نظری ریاضیات و مهارتهای عملی در برنامهنویسی
▪️ به کارگیری سر فصلهای ارائه شده با استفاده از رایانه به منظور مدل کردن و حل یک مسئله در دنیای واقعی
📌 سرفصلهای دوره در قسمت کامنت ارائه میشود.
🖇 جهت ثبتنام و اطلاعات بیشتر به لینک ثبتنام مراجعه فرمایید.
📍 دوره به صورت حضوری در خانه ریاضیات اصفهان برگزار میشود.
⭕️ تخفیف ویژه برای دانشجویان، اعضای بخش دانشجویی و مدرسان خانه ریاضیات اصفهان ⭕️
🌐 کانال تلگرام • ارتباط با ما
💯4❤1
Forwarded from انجمن منطق ایران
📎 سخنرانیِ ماهانهی انجمن منطق ایران
تاریخ: دوشنبه 18 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹
عنوان: منطقهای توجیه تکلیف: راهی برای حل تعارضات و پارادوکسهای اخلاقی با استفاده از دلایل هنجاری
سخنران: مقداد قاری (دانشگاه اصفهان)
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی پژوهشگاه دانشهای بنیادی (شعبه اصفهان) برگزار خواهد شد.
آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان ، مهمانسرای دانشگاه اصفهان، طبقه اول
پیوند سخنرانی برخط (آنلاین): 🔗 https://meet.google.com/uqh-veir-jxa
————————————————
@IranLogic
تاریخ: دوشنبه 18 تیر ۱۴۰۳ / ساعت ۱۷ الی ۱۹
عنوان: منطقهای توجیه تکلیف: راهی برای حل تعارضات و پارادوکسهای اخلاقی با استفاده از دلایل هنجاری
سخنران: مقداد قاری (دانشگاه اصفهان)
سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی پژوهشگاه دانشهای بنیادی (شعبه اصفهان) برگزار خواهد شد.
آدرس: اصفهان، میدان آزادی، دانشگاه اصفهان ، مهمانسرای دانشگاه اصفهان، طبقه اول
پیوند سخنرانی برخط (آنلاین): 🔗 https://meet.google.com/uqh-veir-jxa
————————————————
@IranLogic
👍2
بخش دانشجویی خانه ریاضیات اصفهان
📣 بخش دانشجویی خانه ریاضیات اصفهان با همکاری بخش ریاضیات و هنر برگزار میکند: 🟠 #سمینار ریاضیات و زیبایی شناسی 🔹 در این سخنرانی به بررسی ارتباط و کاربردهای مختلف ریاضیات در هنر (به طور خاص معماری و موسیقی)، نقش ریاضیات در زیباییهای طبیعت و توجیه فلسفی…
📌 #اطلاعیه
به اطلاع میرساند به دلیل تداخل زمانی پیش آمده در سمینار ریاضیات و زیبایی شناسی با سخنرانی دکتر پیام سراجی و سمینار منطقهای توجیه تکلیف با سخنرانی دکتر مقداد قاری، سخنرانی IPM دانشگاه اصفهان در ساعت ۱۶ و سخنرانی خانه ریاضیات در ساعت ۱۸ روز دوشنبه ۱۸ تیرماه برگزار میشود.
به اطلاع میرساند به دلیل تداخل زمانی پیش آمده در سمینار ریاضیات و زیبایی شناسی با سخنرانی دکتر پیام سراجی و سمینار منطقهای توجیه تکلیف با سخنرانی دکتر مقداد قاری، سخنرانی IPM دانشگاه اصفهان در ساعت ۱۶ و سخنرانی خانه ریاضیات در ساعت ۱۸ روز دوشنبه ۱۸ تیرماه برگزار میشود.
👍1
بخش دانشجویی خانه ریاضیات اصفهان pinned «📌 #اطلاعیه به اطلاع میرساند به دلیل تداخل زمانی پیش آمده در سمینار ریاضیات و زیبایی شناسی با سخنرانی دکتر پیام سراجی و سمینار منطقهای توجیه تکلیف با سخنرانی دکتر مقداد قاری، سخنرانی IPM دانشگاه اصفهان در ساعت ۱۶ و سخنرانی خانه ریاضیات در ساعت ۱۸ روز دوشنبه…»
Forwarded from بخش دانشجویی خانه ریاضیات اصفهان (Hosna Atghia)
📣 بخش دانشجویی خانه ریاضیات اصفهان با همکاری بخش ریاضیات و هنر برگزار میکند:
🟠 #سمینار ریاضیات و زیبایی شناسی
🔹 در این سخنرانی به بررسی ارتباط و کاربردهای مختلف ریاضیات در هنر (به طور خاص معماری و موسیقی)، نقش ریاضیات در زیباییهای طبیعت و توجیه فلسفی این ارتباط با توجه به دیدگاههای افلاطون و سنت گرایان خواهیم پرداخت.
📝 سخنران: دکتر پیام سراجی
استاد دانشگاه فرهنگیان
⏰ زمان برگزاری: دوشنبه ۱۸ تیرماه ۱۴۰۳
ساعت ۱۸
📍 سمینار به صورت حضوری در خانه ریاضیات اصفهان برگزار میشود، خیابان سعادتآباد، جنب ورزشگاه امین.
🌐 کانال تلگرام • ارتباط با ما
🟠 #سمینار ریاضیات و زیبایی شناسی
🔹 در این سخنرانی به بررسی ارتباط و کاربردهای مختلف ریاضیات در هنر (به طور خاص معماری و موسیقی)، نقش ریاضیات در زیباییهای طبیعت و توجیه فلسفی این ارتباط با توجه به دیدگاههای افلاطون و سنت گرایان خواهیم پرداخت.
📝 سخنران: دکتر پیام سراجی
استاد دانشگاه فرهنگیان
⏰ زمان برگزاری: دوشنبه ۱۸ تیرماه ۱۴۰۳
ساعت ۱۸
📍 سمینار به صورت حضوری در خانه ریاضیات اصفهان برگزار میشود، خیابان سعادتآباد، جنب ورزشگاه امین.
🌐 کانال تلگرام • ارتباط با ما
👍5❤1
🔵 #مجمع دانشجویی خانه ریاضیات اصفهان (جلسهی تابستان)
با حضور آقایان دکتر رامین جوادی و دکتر علی رجالی، مدیریت محترم خانه ریاضیات اصفهان
✏️ موضوعات مورد بحث:
▫️ ارائهی گزارشی از فعالیتهای دورهی اخیر بخش دانشجویی
▪️ برنامههای اجرا شده و اهداف آنها
▪️ نتایج حاصل شده
▪️ موانع موجود
▫️ بیان انتقادات و پیشنهادات در خصوص روند کنونی بخش دانشجویی
▫️ همفکری برای بهبود و اصلاح فعالیتها و جایگاه بخش دانشجویی در خانه ریاضیات اصفهان
▫️ تصمیم گیری در خصوص ادامه روند بخش دانشجویی و نحوه مدیریت آن
▫️ بیان ایدهها و نظرات دانشجویان در حوزههای
▪️ ارتباط با صنعت
▪️ ارتباط با فعالیتهای آموزشی
🗓 زمان جلسه: ۱۱ مردادماه ۱۴۰۳ - ساعت ۱۰ صبح
📌 جلسه به صورت حضوری در خانه ریاضیات اصفهان، کلاس ۱۰۶ برگزار خواهد شد.
حضور دانشجویان گرامی عضو بخش دانشجویی قدیم و جدید، در مجمع عمومی برای اداره و پیشبرد اهداف این بخش بسیار سود بخش خواهد بود.
🌐 کانال تلگرام • ارتباط با ما
با حضور آقایان دکتر رامین جوادی و دکتر علی رجالی، مدیریت محترم خانه ریاضیات اصفهان
✏️ موضوعات مورد بحث:
▫️ ارائهی گزارشی از فعالیتهای دورهی اخیر بخش دانشجویی
▪️ برنامههای اجرا شده و اهداف آنها
▪️ نتایج حاصل شده
▪️ موانع موجود
▫️ بیان انتقادات و پیشنهادات در خصوص روند کنونی بخش دانشجویی
▫️ همفکری برای بهبود و اصلاح فعالیتها و جایگاه بخش دانشجویی در خانه ریاضیات اصفهان
▫️ تصمیم گیری در خصوص ادامه روند بخش دانشجویی و نحوه مدیریت آن
▫️ بیان ایدهها و نظرات دانشجویان در حوزههای
▪️ ارتباط با صنعت
▪️ ارتباط با فعالیتهای آموزشی
🗓 زمان جلسه: ۱۱ مردادماه ۱۴۰۳ - ساعت ۱۰ صبح
📌 جلسه به صورت حضوری در خانه ریاضیات اصفهان، کلاس ۱۰۶ برگزار خواهد شد.
حضور دانشجویان گرامی عضو بخش دانشجویی قدیم و جدید، در مجمع عمومی برای اداره و پیشبرد اهداف این بخش بسیار سود بخش خواهد بود.
🌐 کانال تلگرام • ارتباط با ما
❤6✍1
بخش دانشجویی خانه ریاضیات اصفهان pinned «🔵 #مجمع دانشجویی خانه ریاضیات اصفهان (جلسهی تابستان) با حضور آقایان دکتر رامین جوادی و دکتر علی رجالی، مدیریت محترم خانه ریاضیات اصفهان ✏️ موضوعات مورد بحث: ▫️ ارائهی گزارشی از فعالیتهای دورهی اخیر بخش دانشجویی ▪️ برنامههای اجرا شده و اهداف آنها…»
Forwarded from بخش دانشجویی خانه ریاضیات اصفهان
🔵 #مجمع دانشجویی خانه ریاضیات اصفهان (جلسهی تابستان)
با حضور آقایان دکتر رامین جوادی و دکتر علی رجالی، مدیریت محترم خانه ریاضیات اصفهان
✏️ موضوعات مورد بحث:
▫️ ارائهی گزارشی از فعالیتهای دورهی اخیر بخش دانشجویی
▪️ برنامههای اجرا شده و اهداف آنها
▪️ نتایج حاصل شده
▪️ موانع موجود
▫️ بیان ایدهها و نظرات دانشجویان در حوزههای
▪️ ارتباط با صنعت
▪️ ارتباط با فعالیتهای آموزشی
▫️ بیان انتقادات و پیشنهادات در خصوص روند کنونی بخش دانشجویی
▫️ همفکری برای بهبود و اصلاح فعالیتها و جایگاه بخش دانشجویی در خانه ریاضیات اصفهان
▫️ تصمیم گیری در خصوص ادامه روند بخش دانشجویی و نحوه مدیریت آن
🗓 زمان جلسه: ۱۱ مردادماه ۱۴۰۳ - ساعت ۱۰ صبح
📌 جلسه به صورت حضوری در خانه ریاضیات اصفهان، کلاس ۱۰۶ برگزار خواهد شد.
حضور دانشجویان گرامی عضو بخش دانشجویی قدیم و جدید، در مجمع عمومی برای اداره و پیشبرد اهداف این بخش بسیار سود بخش خواهد بود.
🌐 کانال تلگرام • ارتباط با ما
با حضور آقایان دکتر رامین جوادی و دکتر علی رجالی، مدیریت محترم خانه ریاضیات اصفهان
✏️ موضوعات مورد بحث:
▫️ ارائهی گزارشی از فعالیتهای دورهی اخیر بخش دانشجویی
▪️ برنامههای اجرا شده و اهداف آنها
▪️ نتایج حاصل شده
▪️ موانع موجود
▫️ بیان ایدهها و نظرات دانشجویان در حوزههای
▪️ ارتباط با صنعت
▪️ ارتباط با فعالیتهای آموزشی
▫️ بیان انتقادات و پیشنهادات در خصوص روند کنونی بخش دانشجویی
▫️ همفکری برای بهبود و اصلاح فعالیتها و جایگاه بخش دانشجویی در خانه ریاضیات اصفهان
▫️ تصمیم گیری در خصوص ادامه روند بخش دانشجویی و نحوه مدیریت آن
🗓 زمان جلسه: ۱۱ مردادماه ۱۴۰۳ - ساعت ۱۰ صبح
📌 جلسه به صورت حضوری در خانه ریاضیات اصفهان، کلاس ۱۰۶ برگزار خواهد شد.
حضور دانشجویان گرامی عضو بخش دانشجویی قدیم و جدید، در مجمع عمومی برای اداره و پیشبرد اهداف این بخش بسیار سود بخش خواهد بود.
🌐 کانال تلگرام • ارتباط با ما
❤2
بخش دانشجویی خانه ریاضیات اصفهان pinned «🔵 #مجمع دانشجویی خانه ریاضیات اصفهان (جلسهی تابستان) با حضور آقایان دکتر رامین جوادی و دکتر علی رجالی، مدیریت محترم خانه ریاضیات اصفهان ✏️ موضوعات مورد بحث: ▫️ ارائهی گزارشی از فعالیتهای دورهی اخیر بخش دانشجویی ▪️ برنامههای اجرا شده و اهداف آنها…»
📣 بخش دانشجویی خانه ریاضیات اصفهان برگزار میکند:
🟡 #گپ دانشجویی با موضوع Model checking on tame classes of graphs
🔸 قضیههای متا (Meta-theorems) قضیههایی با فرم کلی زیر هستند:
اگر بتوانیم مسئلهای را در منطق L بیان کنیم، آنگاه میتوان آن مسئله را روی گرافهایی که خصوصیت P را دارند، در زمانِ FPT (Fixed parameter tractable) حل کرد.
معروفترین قضیه متا، قضیه کورسل (Courcell’s theorem) است. منطق مورد بحث در این قضیه، منطق MSO (Monadic second order logic) است.
🔹 در این گپ دانشجویی، تلاش میکنیم این قضیه را فهم کنیم و سپس به بررسی وضعیت کنونی علم در مواجهه با منطق درجه اول میپردازیم.
👤 گرداننده گپ: فاطمه قاسمی
🗓️ زمان: پنجشنبه ۸ شهریورماه ۱۴۰۳
🕔 ساعت ۱۰
📍 محل برگزاری: خیابان سعادتآباد، جنب ورزشگاه امین، خانه ریاضیات اصفهان
🔸 جهت شرکت در گپ داشتن پایه نظریه محاسبه مدل و کمی منطق ریاضی مفید است.
🌐 کانال تلگرام • ارتباط با ما
🟡 #گپ دانشجویی با موضوع Model checking on tame classes of graphs
🔸 قضیههای متا (Meta-theorems) قضیههایی با فرم کلی زیر هستند:
اگر بتوانیم مسئلهای را در منطق L بیان کنیم، آنگاه میتوان آن مسئله را روی گرافهایی که خصوصیت P را دارند، در زمانِ FPT (Fixed parameter tractable) حل کرد.
معروفترین قضیه متا، قضیه کورسل (Courcell’s theorem) است. منطق مورد بحث در این قضیه، منطق MSO (Monadic second order logic) است.
🔹 در این گپ دانشجویی، تلاش میکنیم این قضیه را فهم کنیم و سپس به بررسی وضعیت کنونی علم در مواجهه با منطق درجه اول میپردازیم.
👤 گرداننده گپ: فاطمه قاسمی
🗓️ زمان: پنجشنبه ۸ شهریورماه ۱۴۰۳
🕔 ساعت ۱۰
📍 محل برگزاری: خیابان سعادتآباد، جنب ورزشگاه امین، خانه ریاضیات اصفهان
🔸 جهت شرکت در گپ داشتن پایه نظریه محاسبه مدل و کمی منطق ریاضی مفید است.
🌐 کانال تلگرام • ارتباط با ما
❤4👍4
📌 #اطلاعیه
فراخوان ثبتنام برای انتخابات مسئولیت بخش دانشجویی
با توجه به نزدیک شدن به پایان دورهی مسئولیت فعلی بخش دانشجویی خانه ریاضیات اصفهان، اعضای بخش دانشجویی که خواهان نامزدی برای مسئولیت این بخش هستند آمادگی خود را از طریق روابط عمومی @imh_students اعلام کنند.
مهلت اعلام آمادگی تا ۱۵ شهریورماه ۱۴۰۳ خواهد بود و انتخابات در دهه پایانی برگزار خواهد شد.
فراخوان ثبتنام برای انتخابات مسئولیت بخش دانشجویی
با توجه به نزدیک شدن به پایان دورهی مسئولیت فعلی بخش دانشجویی خانه ریاضیات اصفهان، اعضای بخش دانشجویی که خواهان نامزدی برای مسئولیت این بخش هستند آمادگی خود را از طریق روابط عمومی @imh_students اعلام کنند.
مهلت اعلام آمادگی تا ۱۵ شهریورماه ۱۴۰۳ خواهد بود و انتخابات در دهه پایانی برگزار خواهد شد.