Forwarded from دختران ریاضی شریف
#اطلاع_رسانی
🎓 ریاضیات قرن چهارم پیش از میلاد
👨🏫 سیاوش شهشهانی
سهشنبه ۳۰ اردیبهشت، ساعت ۱۰:۰۰ تا ۱۱:۰۰
📖 چکیده:
کتاب اصول اقلیدس، مشهورترین اثر ریاضی در دوران باستان و یکی از تأثیرگذارترین نوشتههای علمی در تاریخ، حدود سال ۳۰۰ پیش از میلاد در اسکندریه تدوین شد. شواهد زیادی نشان میدهند که جدیدترین مباحث مطرحشده در این کتاب، ریشه در قرن چهارم پیش از میلاد و آکادمی افلاطون دارند.
با توجه به نزدیکی این رویداد به سالروز تولد خیام، در صورت امکان، بهطور مختصر نقد خیام بر اصول اقلیدس نیز بررسی خواهد شد.
📍 محل برگزاری:
اتاق سمینار ۳۴۰۱، ساختمان ریاضیات، دانشگاه تربیت مدرس
آنلاین:
http://vclass4.modares.ac.ir/rooms/gpw-953-i4a-h6z/join
⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊
شاد و رو به رشد باشین 😃
🖊📚👩🏫🧑🏫👩💻🧑💻🎓
دختران ریاضی شریف
@sharifmathgirls
🎓 ریاضیات قرن چهارم پیش از میلاد
👨🏫 سیاوش شهشهانی
سهشنبه ۳۰ اردیبهشت، ساعت ۱۰:۰۰ تا ۱۱:۰۰
📖 چکیده:
کتاب اصول اقلیدس، مشهورترین اثر ریاضی در دوران باستان و یکی از تأثیرگذارترین نوشتههای علمی در تاریخ، حدود سال ۳۰۰ پیش از میلاد در اسکندریه تدوین شد. شواهد زیادی نشان میدهند که جدیدترین مباحث مطرحشده در این کتاب، ریشه در قرن چهارم پیش از میلاد و آکادمی افلاطون دارند.
با توجه به نزدیکی این رویداد به سالروز تولد خیام، در صورت امکان، بهطور مختصر نقد خیام بر اصول اقلیدس نیز بررسی خواهد شد.
📍 محل برگزاری:
اتاق سمینار ۳۴۰۱، ساختمان ریاضیات، دانشگاه تربیت مدرس
آنلاین:
http://vclass4.modares.ac.ir/rooms/gpw-953-i4a-h6z/join
⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊⚊
شاد و رو به رشد باشین 😃
🖊📚👩🏫🧑🏫👩💻🧑💻🎓
دختران ریاضی شریف
@sharifmathgirls
vclass4.modares.ac.ir
TMU Seminars
Learn using BigBlueButton, the trusted open-source web conferencing solution that enables seamless virtual collaboration and online learning experiences.
❤1
انجمن علمی دانشجویی ریاضی دانشگاه شهید مدنی آذربایجان برگزار میکند
سلسله وبینارهای آشنایی با گرایشها
و آینده شغلی رشته ریاضیات
ریاضـیات گسستهٔ مستحکم
مجید میرزاوزیری
گروه ریاضی محض و گروه مهندسی کامپیوتر دانشگاه فردوسی مشهد
پنجشنبه ۱ خرداد ۱۴۰۴
ساعت ۱۹ تا ۲۰:۳۰
لینک برگزاری:
meet.google.com/yjc-igft-qbs
سلسله وبینارهای آشنایی با گرایشها
و آینده شغلی رشته ریاضیات
ریاضـیات گسستهٔ مستحکم
مجید میرزاوزیری
گروه ریاضی محض و گروه مهندسی کامپیوتر دانشگاه فردوسی مشهد
پنجشنبه ۱ خرداد ۱۴۰۴
ساعت ۱۹ تا ۲۰:۳۰
لینک برگزاری:
meet.google.com/yjc-igft-qbs
❤1
Forwarded from انجمن علمی ریاضی خیام دانشگاه ملایر (mina m)
انجمن علمی دانشجویی ریاضی دانشگاه شهید مدنی آذربایجان برگزار میکند
سلسله وبینارهای آشنایی با گرایشها
و آینده شغلی رشته ریاضیات
ریاضـیات گسستهٔ مستحکم
مجید میرزاوزیری
گروه ریاضی محض و گروه مهندسی کامپیوتر دانشگاه فردوسی مشهد
پنجشنبه ۱ خرداد ۱۴۰۴
ساعت ۱۹ تا ۲۰:۳۰
لینک برگزاری:
meet.google.com/yjc-igft-qbs
سلسله وبینارهای آشنایی با گرایشها
و آینده شغلی رشته ریاضیات
ریاضـیات گسستهٔ مستحکم
مجید میرزاوزیری
گروه ریاضی محض و گروه مهندسی کامپیوتر دانشگاه فردوسی مشهد
پنجشنبه ۱ خرداد ۱۴۰۴
ساعت ۱۹ تا ۲۰:۳۰
لینک برگزاری:
meet.google.com/yjc-igft-qbs
❤1
انجمن علمی دانشجویی ریاضی دانشگاه شهید مدنی آذربایجان برگزار میکند:
⚡️سلسله وبینارهای آشنایی با گرایشها و آینده شغلی رشته ریاضیات⚡️
🔷موضوع:تحقیق در عملیات
🔷مدرس:دکترجعفر پورمحمود(استاد گروه ریاضی دانشگاه شهید مدنی آذربایجان)
🔷زمان:روز پنجشنبه 8 خرداد 1404 از ساعت 19 الی 20:30 بصورت آنلاین
🔷لینک حضور در وبینار:
meet.google.com/yjc-igft-qbs
♻️ با ما همراه باشید
🆔https://www.group-telegram.com/anjomanelmi_ASMU
🆔https://www.group-telegram.com/a_e_r_madani
⚡️سلسله وبینارهای آشنایی با گرایشها و آینده شغلی رشته ریاضیات⚡️
🔷موضوع:تحقیق در عملیات
🔷مدرس:دکترجعفر پورمحمود(استاد گروه ریاضی دانشگاه شهید مدنی آذربایجان)
🔷زمان:روز پنجشنبه 8 خرداد 1404 از ساعت 19 الی 20:30 بصورت آنلاین
🔷لینک حضور در وبینار:
meet.google.com/yjc-igft-qbs
♻️ با ما همراه باشید
🆔https://www.group-telegram.com/anjomanelmi_ASMU
🆔https://www.group-telegram.com/a_e_r_madani
❤1
📢 اطلاعیه | فرصت کسر خدمت یا امریه در حوزه هوش مصنوعی و پردازش تصویر
🔹 در راستای بهرهمندی از توان علمی مشمولین خدمت سربازی در حوزههای نوین فناوری، آزمایشگاه سیستمهای پیچیده از افراد دارای تخصص در هوش مصنوعی و پردازش تصویر برای همکاری در پروژههای تحقیقاتی دعوت به عمل میآورد.
💡 این همکاری میتواند به صورت کسر خدمت سربازی یا امریه پژوهشی صورت گیرد.
🔬 زمینههای تخصصی مورد نیاز:
• هوش مصنوعی: یادگیری عمیق، بینایی ماشین، پردازش زبان طبیعی، عاملهای مولد
• پردازش تصویر: تحلیل برخط تصویر، بازشناسی الگو، چهره و اشیاء
📅 متقاضیان محترم میتوانند رزومه و سوابق پژوهشی خود را تا تاریخ ۱۵ خرداد به آدرس زیر ارسال فرمایند:
✉️ [email protected]
⚠️ لطفاً در عنوان ایمیل حتماً کلمه «امریه» یا «کسر خدمت» ذکر شود.
📡 کانال رسمی انجمن علمی ریاضی کاربردی دانشگاه تربیت مدرس:
@TMU_Mathematics
@math_mu
🔹 در راستای بهرهمندی از توان علمی مشمولین خدمت سربازی در حوزههای نوین فناوری، آزمایشگاه سیستمهای پیچیده از افراد دارای تخصص در هوش مصنوعی و پردازش تصویر برای همکاری در پروژههای تحقیقاتی دعوت به عمل میآورد.
💡 این همکاری میتواند به صورت کسر خدمت سربازی یا امریه پژوهشی صورت گیرد.
🔬 زمینههای تخصصی مورد نیاز:
• هوش مصنوعی: یادگیری عمیق، بینایی ماشین، پردازش زبان طبیعی، عاملهای مولد
• پردازش تصویر: تحلیل برخط تصویر، بازشناسی الگو، چهره و اشیاء
📅 متقاضیان محترم میتوانند رزومه و سوابق پژوهشی خود را تا تاریخ ۱۵ خرداد به آدرس زیر ارسال فرمایند:
✉️ [email protected]
⚠️ لطفاً در عنوان ایمیل حتماً کلمه «امریه» یا «کسر خدمت» ذکر شود.
📡 کانال رسمی انجمن علمی ریاضی کاربردی دانشگاه تربیت مدرس:
@TMU_Mathematics
@math_mu
Telegram
انجمن علمی ریاضی خیام دانشگاه ملایر
اطلاع رسانی اخبار و #اطلاعیه_های_آموزشی ،
فعالیت های انجمن علمی ریاضی خیام
پژوهشی، دانشجویی، فرهنگی و ترویجی
دانشگاه ملایر
فعالیت های انجمن علمی ریاضی خیام
پژوهشی، دانشجویی، فرهنگی و ترویجی
دانشگاه ملایر
❤1
https://courses.maths.ox.ac.uk/course/view.php?id=5516&fbclid=IwY2xjawKhLNVleHRuA2FlbQIxMQABHp8sp4q5veRPm-a5ozdr4-WN2NA8ra9VE4WyXJQo9lLo43IhxLI567CAl0FE_aem__JPcTqgVw7XvhZfxARbt8g
این یک دوره درسی در مورد تاریخ ریاضیات است که در دانشگاه آکسفورد ارائه شدهاست.
این یک دوره درسی در مورد تاریخ ریاضیات است که در دانشگاه آکسفورد ارائه شدهاست.
❤1
Forwarded from دانشجویان دانشکده ریاضی و آمار دانشگاه ملایر
#کافه ریاضیات(دور همی گرم و صمیمی بین دانشجویان و اساتید ) 😍😍
عرض سلام و احترام خدمت اساتید محترم دانشکده ریاضی و دانشجویان گرامی رشته ریاضی دانشگاه ملایر
❇️دوستان طی برنامه ریزی به عمل اومده توسط گروه انجمن علمی رشته ریاضی
فردا مورخ۱۴۰۴/۳/۶
⁉️برنامه ای با موضوع کافه ریاضیات راس ساعت ۱۲:۰۰الی ۱:۳۰ظهر
🔻 در سالن نوشیجان دانشگاه ملایر (طبقه دوم سلف دانشگاه )
🔻جهت پذیرایی و آشنایی دانشجو با اساتید , معرفی اساتید راهنما, ارائه چارت,
و هر سوالی که دانشجویان عزیز بخصوص جدید الورود دارن
🫧منتظرپذیرایی ودیدارحضور گرم شما عزیزان هستیم🙋♀🙋
عرض سلام و احترام خدمت اساتید محترم دانشکده ریاضی و دانشجویان گرامی رشته ریاضی دانشگاه ملایر
❇️دوستان طی برنامه ریزی به عمل اومده توسط گروه انجمن علمی رشته ریاضی
فردا مورخ۱۴۰۴/۳/۶
⁉️برنامه ای با موضوع کافه ریاضیات راس ساعت ۱۲:۰۰الی ۱:۳۰ظهر
🔻 در سالن نوشیجان دانشگاه ملایر (طبقه دوم سلف دانشگاه )
🔻جهت پذیرایی و آشنایی دانشجو با اساتید , معرفی اساتید راهنما, ارائه چارت,
و هر سوالی که دانشجویان عزیز بخصوص جدید الورود دارن
🫧منتظرپذیرایی ودیدارحضور گرم شما عزیزان هستیم🙋♀🙋
❤1
Forwarded from دانشجویان دانشکده ریاضی و آمار دانشگاه ملایر (𝓡𝓞𝔶𝔸)
This media is not supported in your browser
VIEW IN TELEGRAM
کافه ریاضی☕️🪧
۱۴۰۴/۴/۶
۱۴۰۴/۴/۶
❤2👍1
اساتید، دانشجویان و پژوهشگران گرامی
با سلام و احترام،
بدین وسیله از شما دعوت میشود تا در ششمین سخنرانی ترویجی آزمایشگاه محاسبات نرم گروه ریاضی دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته که با حضور آقای دکتر عباس سالمی برگزار میشود شرکت نمایید. جزئیات این رویداد به شرح زیر است:
سخنران: جناب آقای دکتر عباس سالمی
موضوع سخنرانی: از بردارهای ویژه تا خوشهبندی: روشهای طیفی در علوم داده
تاریخ: یکشنبه 11 خرداد 1404
ساعت: 11:30
مکان: آزمایشگاه محاسبات نرم
لینک مجازی: https://bbb.kgut.ac.ir/rooms/uop-xyl-q7h-yr0/join
کد مهمان: ujellz
با حضور ارزشمند شما، این مراسم به یک بستر تبادل نظر و ارتقای دانش علمی تبدیل خواهد شد. امیدواریم بتوانیم از تجربیات و دیدگاههای شما بهرهمند شویم.
.
با تقدیم احترام،
گروه ریاضی و آزمایشگاه محاسبات نرم
دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته
@IranianMathematicalSociety
با سلام و احترام،
بدین وسیله از شما دعوت میشود تا در ششمین سخنرانی ترویجی آزمایشگاه محاسبات نرم گروه ریاضی دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته که با حضور آقای دکتر عباس سالمی برگزار میشود شرکت نمایید. جزئیات این رویداد به شرح زیر است:
سخنران: جناب آقای دکتر عباس سالمی
موضوع سخنرانی: از بردارهای ویژه تا خوشهبندی: روشهای طیفی در علوم داده
تاریخ: یکشنبه 11 خرداد 1404
ساعت: 11:30
مکان: آزمایشگاه محاسبات نرم
لینک مجازی: https://bbb.kgut.ac.ir/rooms/uop-xyl-q7h-yr0/join
کد مهمان: ujellz
با حضور ارزشمند شما، این مراسم به یک بستر تبادل نظر و ارتقای دانش علمی تبدیل خواهد شد. امیدواریم بتوانیم از تجربیات و دیدگاههای شما بهرهمند شویم.
.
با تقدیم احترام،
گروه ریاضی و آزمایشگاه محاسبات نرم
دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته
@IranianMathematicalSociety
❤1
👾 جامعترین دوره هوش مصنوعی ایران
(همراه با فرصت استخدام)
دارای کد تخفیف ویژه برای دانشجویان دانشگاه ملایر
📌 اگه علاقمندید هوشمصنوعی رو تخصصی یاد بگیرید و در همین حوزه مشغول به کار بشید، الان بهترین فرصته!
با شرکت در سومین دوره جایزه سالانه هوشمصنوعی ایران (iAAA) :
آموزش میبینید،
زیر نظر اساتید برجسته پروژه های واقعی رو انجام میدید و برای جایزه 50 هزار دلاری رقابت میکنید💸
🔻ویژگیهای دوره:
🔸 240 ساعت آموزش پروژه محور
🔹 ارائه مدرک دو زبانه
🔸 اساتید بینالمللی
🔹 پشتیبانی حرفهای
🔸 فرصت استخدام و کارآموزی و امریه
کد تخفیف 60 درصدی برای دانشجویان دانشگاه ملایر : malayer60
همین الان ثبت نام کنید:
🔗 جایزه سالانه هوش مصنوعی ایران
راههای ارتباطی:
📞 02191096992
📩 @iaaa_event
کانال اطلاع رسانی:
🆔 @iaaa_ai
(همراه با فرصت استخدام)
دارای کد تخفیف ویژه برای دانشجویان دانشگاه ملایر
📌 اگه علاقمندید هوشمصنوعی رو تخصصی یاد بگیرید و در همین حوزه مشغول به کار بشید، الان بهترین فرصته!
با شرکت در سومین دوره جایزه سالانه هوشمصنوعی ایران (iAAA) :
آموزش میبینید،
زیر نظر اساتید برجسته پروژه های واقعی رو انجام میدید و برای جایزه 50 هزار دلاری رقابت میکنید💸
🔻ویژگیهای دوره:
🔸 240 ساعت آموزش پروژه محور
🔹 ارائه مدرک دو زبانه
🔸 اساتید بینالمللی
🔹 پشتیبانی حرفهای
🔸 فرصت استخدام و کارآموزی و امریه
کد تخفیف 60 درصدی برای دانشجویان دانشگاه ملایر : malayer60
همین الان ثبت نام کنید:
🔗 جایزه سالانه هوش مصنوعی ایران
راههای ارتباطی:
📞 02191096992
📩 @iaaa_event
کانال اطلاع رسانی:
🆔 @iaaa_ai
❤1
Forwarded from دانشکده علوم و فنون بین رشته ای (Hassan Maleki)
👾 جامعترین دوره هوش مصنوعی ایران
(همراه با فرصت استخدام)
دارای کد تخفیف ویژه برای دانشجویان دانشگاه ملایر
📌 اگه علاقمندید هوشمصنوعی رو تخصصی یاد بگیرید و در همین حوزه مشغول به کار بشید، الان بهترین فرصته!
با شرکت در سومین دوره جایزه سالانه هوشمصنوعی ایران (iAAA) :
آموزش میبینید،
زیر نظر اساتید برجسته پروژه های واقعی رو انجام میدید و برای جایزه 50 هزار دلاری رقابت میکنید💸
🔻ویژگیهای دوره:
🔸 240 ساعت آموزش پروژه محور
🔹 ارائه مدرک دو زبانه
🔸 اساتید بینالمللی
🔹 پشتیبانی حرفهای
🔸 فرصت استخدام و کارآموزی و امریه
همین الان ثبت نام کنید:
🔗 جایزه سالانه هوش مصنوعی ایران
راههای ارتباطی:
📞 02191096992
📩 @iaaa_event
کانال اطلاع رسانی:
🆔 @iaaa_ai
(همراه با فرصت استخدام)
دارای کد تخفیف ویژه برای دانشجویان دانشگاه ملایر
📌 اگه علاقمندید هوشمصنوعی رو تخصصی یاد بگیرید و در همین حوزه مشغول به کار بشید، الان بهترین فرصته!
با شرکت در سومین دوره جایزه سالانه هوشمصنوعی ایران (iAAA) :
آموزش میبینید،
زیر نظر اساتید برجسته پروژه های واقعی رو انجام میدید و برای جایزه 50 هزار دلاری رقابت میکنید💸
🔻ویژگیهای دوره:
🔸 240 ساعت آموزش پروژه محور
🔹 ارائه مدرک دو زبانه
🔸 اساتید بینالمللی
🔹 پشتیبانی حرفهای
🔸 فرصت استخدام و کارآموزی و امریه
کد تخفیف 60 درصدی برای دانشجویان دانشگاه ملایر : malayer60
همین الان ثبت نام کنید:
🔗 جایزه سالانه هوش مصنوعی ایران
راههای ارتباطی:
📞 02191096992
📩 @iaaa_event
کانال اطلاع رسانی:
🆔 @iaaa_ai
❤1
ما زندهایم؛ شکرش با ما.
ما نفس میکشیم زیر آسمانی که لرزوندنش آسونه، ولی تسخیرش نه.
ما ملت ایرانیم؛ زخمی از تاریخ، اما بیدار، هوشیار، و هنوز ایستاده.
شاید رسانههای پرهیاهوشان گوش دنیا را پُر کرده باشد،
اما چیزی داریم که خریدنی نیست:
*دانش، ایمان، اتحاد*.
ما مردمی هستیم که با ریاضی رشد کردیم، با فکر حساب کردیم، با مغز ساختیم.
ما حساببلدهای تاریخایم؛ خوب میدانیم دشمن وقتی ضرب میزند، ما باید تقسیم شویم بین هم؛ نه از هم.
ما یاد گرفتهایم جمع شویم پشت هم، و نگذاریم هیچ هدفی، هیچ موشکی، هیچ طمعی، هیچ جنایتی از اسرائیل به مقصد برسد.
ما ریاضی بلدیم؛ میدانیم جنگ عدد نیست، منطق است.
میدانیم در معادله قدرت، قلبهایی که برای خاکشان میتپد، از هر پهپاد و بمب و آمار، قویترند.
و ما قلب داریم، زیاد.
ما باور داریم، بسیار.
ما "ملت"یم، نه جمعیت.
ما امیدیم، نه انتظار.
شکر که هنوز عقلمان کار میکند،
شکر که هنوز جوانهایمان رویا دارند،
شکر که هنوز سرزمینمان، چشم دارد به ما.
و ما میدانیم:
وقتی با اتحاد باشیم و حسابشده حرکت کنیم،
وقتی با علم، نه فقط احساس، پاسخ دهیم،
وقتی با مغزهای روشن و دلهای قرص، بایستیم —
هیچ نقشهای به نتیجه نمیرسد.
نه اسرائیل، نه هیچ دشمن دیگری، نمیتواند ملتی را شکست دهد که همزمان میفهمد، میجنگد، میسازد، و باور دارد.
پس ما هستیم.
ساکت نمیمانیم، ولی بیحساب هم فریاد نمیزنیم.
با تدبیر پیش میرویم،
و با قدرتمان کاری میکنیم که هیچ هدفی از آنها، به جواب نرسد.
ما جوابهایمان را بلدیم.
مسئله را دیدهایم.
و راهحل در دست ماست.
ما نفس میکشیم زیر آسمانی که لرزوندنش آسونه، ولی تسخیرش نه.
ما ملت ایرانیم؛ زخمی از تاریخ، اما بیدار، هوشیار، و هنوز ایستاده.
شاید رسانههای پرهیاهوشان گوش دنیا را پُر کرده باشد،
اما چیزی داریم که خریدنی نیست:
*دانش، ایمان، اتحاد*.
ما مردمی هستیم که با ریاضی رشد کردیم، با فکر حساب کردیم، با مغز ساختیم.
ما حساببلدهای تاریخایم؛ خوب میدانیم دشمن وقتی ضرب میزند، ما باید تقسیم شویم بین هم؛ نه از هم.
ما یاد گرفتهایم جمع شویم پشت هم، و نگذاریم هیچ هدفی، هیچ موشکی، هیچ طمعی، هیچ جنایتی از اسرائیل به مقصد برسد.
ما ریاضی بلدیم؛ میدانیم جنگ عدد نیست، منطق است.
میدانیم در معادله قدرت، قلبهایی که برای خاکشان میتپد، از هر پهپاد و بمب و آمار، قویترند.
و ما قلب داریم، زیاد.
ما باور داریم، بسیار.
ما "ملت"یم، نه جمعیت.
ما امیدیم، نه انتظار.
شکر که هنوز عقلمان کار میکند،
شکر که هنوز جوانهایمان رویا دارند،
شکر که هنوز سرزمینمان، چشم دارد به ما.
و ما میدانیم:
وقتی با اتحاد باشیم و حسابشده حرکت کنیم،
وقتی با علم، نه فقط احساس، پاسخ دهیم،
وقتی با مغزهای روشن و دلهای قرص، بایستیم —
هیچ نقشهای به نتیجه نمیرسد.
نه اسرائیل، نه هیچ دشمن دیگری، نمیتواند ملتی را شکست دهد که همزمان میفهمد، میجنگد، میسازد، و باور دارد.
پس ما هستیم.
ساکت نمیمانیم، ولی بیحساب هم فریاد نمیزنیم.
با تدبیر پیش میرویم،
و با قدرتمان کاری میکنیم که هیچ هدفی از آنها، به جواب نرسد.
ما جوابهایمان را بلدیم.
مسئله را دیدهایم.
و راهحل در دست ماست.
❤3
این مقاله توصیه می کنه که استادها در تدریس از Lean استفاده کنند. می گه این کار باعث می شه که دانشجو تمام مراحل منطقی اثبات رو بفهمه وجزییات اون رو بررسی کنه.می گه دانشجوها معمولا اثبات ها رو حفظ می کنند. استفاده از Lean باعث می شه که بفهمند چرا بعضی جاها چیزی که نوشتند کار نمی کنه و این به درک عمیق از اثبات منجر می شه. اشاره می کنه به جمله تائو که از نقش
Interactive Theorem Prover, ML,...
در ریاضیات سال های می گه.
پنج مشکل در آموزش و درک اثبات این ها هستند:
۱.چرا اثبات مهمه اصلا؟
۲. دانشجوها اثبات ها رو حفظ می کنند و ایده ها رو درک نمی کنند.
۳. درک یکسانی از اثبات وجود نداره.
۴. دانشجوها توان یا اعتماد به نفس بررسی درستی اثبات رو ندارند. هر چی در جزوه و کتاب نوشته یا استاد می گه رو درست می دونند.
۵. بلد نیستند اثبات رو بشکنند به بخش های کوچک تر
Teaching Mathematics with Lean: Interactive Theorem Provers in the Classroom
Interactive Theorem Prover, ML,...
در ریاضیات سال های می گه.
پنج مشکل در آموزش و درک اثبات این ها هستند:
۱.چرا اثبات مهمه اصلا؟
۲. دانشجوها اثبات ها رو حفظ می کنند و ایده ها رو درک نمی کنند.
۳. درک یکسانی از اثبات وجود نداره.
۴. دانشجوها توان یا اعتماد به نفس بررسی درستی اثبات رو ندارند. هر چی در جزوه و کتاب نوشته یا استاد می گه رو درست می دونند.
۵. بلد نیستند اثبات رو بشکنند به بخش های کوچک تر
Teaching Mathematics with Lean: Interactive Theorem Provers in the Classroom
❤3
دانشگاه شریف یه نشریه داره به اسم فناورد. مقالات و مطالب مربوط به فناوریهای روز دنیا رو میذاره. مطالبش درباره هوش مصنوعی واقعا استثناییه. اگر به مقالات و مطالب از این جنس علاقه دارید، حتما بخونیدش. دم بچههای شریفگرم.
آیدی تلگرامشون:
🆔 @Fanaavard
آیدی تلگرامشون:
🆔 @Fanaavard
❤1
انقلاب در نظریه اعداد: تعریفی کاملاً جدید برای اعداد اول ارائه شد
▪️ اعداد اول، با وجود تعریف سادهشان، یکی از بزرگترین معماهای دنیای ریاضیات هستند. تشخیص اول بودن اعداد کوچک آسان است، اما این کار برای اعداد بسیار بزرگ، بدون الگوریتمهای پیچیده و قدرت پردازشی عظیم، تقریباً غیرممکن است. این اعداد، علاوهبر زیبایی نظری، نقشی حیاتی در معماری رمزنگاری نوین و امنیت دیجیتال دارند.
▪️ بهتازگی، بزرگترین عدد اول شناختهشده در تاریخ در ۱۲ اکتبر ۲۰۲۴ توسط پروژهی جهانی GIMPS کشف شد. این عدد که بیش از ۴۱ میلیون رقم دارد، یک عدد مرسن است و برای تأیید اول بودن آن از آزمون بسیار سریع لوکاس–لهمر استفاده شد؛ روشی تخصصی که برای همین دسته از اعداد طراحی شده است.
▪️ اما یک پیشرفت انقلابیتر، مسیری کاملاً جدید را برای درک این اعداد باز کرده است. تیمی از ریاضیدانان به رهبری کن اونو از دانشگاه ویرجینیا، روشی نوآورانه برای تعریف اعداد اول توسعه دادهاند که دیگر به آزمون و خطا برای تجزیهی اعداد متکی نیست. به گفتهی اونو:
ما به اعداد اول علاقهمندیم، چون بینهایت هستند، اما شناسایی الگوهای مشخص در آنها یکی از دشوارترین چالشهای ریاضی است.
▪️ قلب این رویکرد جدید، مفهومی به نام افراز عدد طبیعی است؛ ایدهای که ریشههای آن به قرن هجدهم و ریاضیدان بزرگ، لئونارد اویلر، بازمیگردد. افراز یعنی نوشتن یک عدد بهصورت مجموع اعداد کوچکتر. این تیم پژوهشی نشان داده است که الگوهای پنهان در این ساختار به ظاهر ساده، میتواند بهعنوان معیاری دقیق برای تمایز میان اعداد اول و مرکب عمل کند.
▪️ این روش، یک خانوادهی بینهایت از معادلات دقیق را معرفی میکند. اگر یک عدد صحیح در این معادلات صدق کند، آن عدد قطعاً اول است. برای نمونه، یکی از این معادلات که از ترکیب توابع افرازی ساخته شده، به این شکل است:
(3n³ − 13n² + 18n − 8)M₁(n) + (12n² − 120n + 212)M₂(n) − 960M₃(n) = 0
▪️ جورج اندروز، ویراستار مقاله و ریاضیدان دانشگاه ایالتی پنسیلوانیا، این کشف را پدیدهای کاملاً جدید و دور از انتظار توصیف کرده که تأثیرات آیندهی آن هنوز قابل پیشبینی نیست. این دستاورد، افقی تازه در درک ساختار پنهان اعداد میگشاید و میتواند الهامبخش مسیرهای پژوهشی جدیدی در شاخههای مختلف ریاضیات شود.
▪️ با وجود این پیشرفت بزرگ، رازهای بزرگی مانند حدس دوقلوهای اول و حدس گلدباخ همچنان حلنشده باقی ماندهاند. اما این یافتهی جدید نشان میدهد که چگونه رویکردهای خلاقانه میتوانند مرزهای دانش را برای درک رفتار اسرارآمیز اعداد اول گسترش دهند.
▪️ اعداد اول، با وجود تعریف سادهشان، یکی از بزرگترین معماهای دنیای ریاضیات هستند. تشخیص اول بودن اعداد کوچک آسان است، اما این کار برای اعداد بسیار بزرگ، بدون الگوریتمهای پیچیده و قدرت پردازشی عظیم، تقریباً غیرممکن است. این اعداد، علاوهبر زیبایی نظری، نقشی حیاتی در معماری رمزنگاری نوین و امنیت دیجیتال دارند.
▪️ بهتازگی، بزرگترین عدد اول شناختهشده در تاریخ در ۱۲ اکتبر ۲۰۲۴ توسط پروژهی جهانی GIMPS کشف شد. این عدد که بیش از ۴۱ میلیون رقم دارد، یک عدد مرسن است و برای تأیید اول بودن آن از آزمون بسیار سریع لوکاس–لهمر استفاده شد؛ روشی تخصصی که برای همین دسته از اعداد طراحی شده است.
▪️ اما یک پیشرفت انقلابیتر، مسیری کاملاً جدید را برای درک این اعداد باز کرده است. تیمی از ریاضیدانان به رهبری کن اونو از دانشگاه ویرجینیا، روشی نوآورانه برای تعریف اعداد اول توسعه دادهاند که دیگر به آزمون و خطا برای تجزیهی اعداد متکی نیست. به گفتهی اونو:
ما به اعداد اول علاقهمندیم، چون بینهایت هستند، اما شناسایی الگوهای مشخص در آنها یکی از دشوارترین چالشهای ریاضی است.
▪️ قلب این رویکرد جدید، مفهومی به نام افراز عدد طبیعی است؛ ایدهای که ریشههای آن به قرن هجدهم و ریاضیدان بزرگ، لئونارد اویلر، بازمیگردد. افراز یعنی نوشتن یک عدد بهصورت مجموع اعداد کوچکتر. این تیم پژوهشی نشان داده است که الگوهای پنهان در این ساختار به ظاهر ساده، میتواند بهعنوان معیاری دقیق برای تمایز میان اعداد اول و مرکب عمل کند.
▪️ این روش، یک خانوادهی بینهایت از معادلات دقیق را معرفی میکند. اگر یک عدد صحیح در این معادلات صدق کند، آن عدد قطعاً اول است. برای نمونه، یکی از این معادلات که از ترکیب توابع افرازی ساخته شده، به این شکل است:
(3n³ − 13n² + 18n − 8)M₁(n) + (12n² − 120n + 212)M₂(n) − 960M₃(n) = 0
▪️ جورج اندروز، ویراستار مقاله و ریاضیدان دانشگاه ایالتی پنسیلوانیا، این کشف را پدیدهای کاملاً جدید و دور از انتظار توصیف کرده که تأثیرات آیندهی آن هنوز قابل پیشبینی نیست. این دستاورد، افقی تازه در درک ساختار پنهان اعداد میگشاید و میتواند الهامبخش مسیرهای پژوهشی جدیدی در شاخههای مختلف ریاضیات شود.
▪️ با وجود این پیشرفت بزرگ، رازهای بزرگی مانند حدس دوقلوهای اول و حدس گلدباخ همچنان حلنشده باقی ماندهاند. اما این یافتهی جدید نشان میدهد که چگونه رویکردهای خلاقانه میتوانند مرزهای دانش را برای درک رفتار اسرارآمیز اعداد اول گسترش دهند.
❤1
افتتاح باغ ریاضی در شیراز. برای دیدن خبر به لینک زیر مراجعه نمایید
https://www.isna.ir/news/1404051911356/%D8%A8%D8%A7%D8%BA-%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA-%D8%AF%D8%B1-%D8%B4%DB%8C%D8%B1%D8%A7%D8%B2-%D8%B1%D8%A7%D9%87-%D8%A7%D9%86%D8%AF%D8%A7%D8%B2%DB%8C-%D9%85%DB%8C-%D8%B4%D9%88%D8%AF
https://www.isna.ir/news/1404051911356/%D8%A8%D8%A7%D8%BA-%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA-%D8%AF%D8%B1-%D8%B4%DB%8C%D8%B1%D8%A7%D8%B2-%D8%B1%D8%A7%D9%87-%D8%A7%D9%86%D8%AF%D8%A7%D8%B2%DB%8C-%D9%85%DB%8C-%D8%B4%D9%88%D8%AF
❤1
🔹رقابت بین المللی نخبگان فناوری در شش حوزه تخصصی
ثبت نام المپیک فناوری ۲۰۲۵ آغاز شد
📌محورهای تخصصی المپیک فناوری ۲۰۲۵:
🔐 امنیت سایبری
🌐 اینترنت اشیا (IoT)
👨💻 برنامهنویسی
🧠 هوش مصنوعی
👾 رباتهای جنگجو
🚁 پهپاد
⏱️ مهلت ثبتنام: ۳۱ شهریور ماه ۱۴۰۴
🏆امتیازات و جوائز:
◽کسب امتیاز نخبگی
◽گواهی حضور و معرفی به نهادهای حمایتی
◽جوائز نقدی
◽امکان جذب سرمایه و تعامل با ذینفعان زیستبوم نوآوری کشور
🗓️تاریخ برگزاری مرحله مقدماتی (به صورت مجازی): مهرماه ۱۴۰۴
⏱️تاریخ برگزاری مرحله نهایی(به صورت حضوری در منطقه بینالمللی نوآوری ایران): ۶ تا ۹ آبان ماه ۱۴۰۴
🌐 کسب اطلاعات بیشتر و ثبتنام:
https://olympics.tech
ثبت نام المپیک فناوری ۲۰۲۵ آغاز شد
📌محورهای تخصصی المپیک فناوری ۲۰۲۵:
🔐 امنیت سایبری
🌐 اینترنت اشیا (IoT)
👨💻 برنامهنویسی
🧠 هوش مصنوعی
👾 رباتهای جنگجو
🚁 پهپاد
⏱️ مهلت ثبتنام: ۳۱ شهریور ماه ۱۴۰۴
🏆امتیازات و جوائز:
◽کسب امتیاز نخبگی
◽گواهی حضور و معرفی به نهادهای حمایتی
◽جوائز نقدی
◽امکان جذب سرمایه و تعامل با ذینفعان زیستبوم نوآوری کشور
🗓️تاریخ برگزاری مرحله مقدماتی (به صورت مجازی): مهرماه ۱۴۰۴
⏱️تاریخ برگزاری مرحله نهایی(به صورت حضوری در منطقه بینالمللی نوآوری ایران): ۶ تا ۹ آبان ماه ۱۴۰۴
🌐 کسب اطلاعات بیشتر و ثبتنام:
https://olympics.tech
❤1
Forwarded from Darsman | درسمن
🎓 وبینار: آموزش کار با ابزارهای کاربردی هوش مصنوعی
✅ آموزش ساختارمند برای استفاده هوشمندانه از ChatGPT
🟢 آشنایی با ابزارهای تصویری، تحلیلی و ارائه هوشمند:
DeepSeek
Google Lens
Microsoft Designer،
Leonardo AI، Fotor
Piclumen
NotebookLM
Gamma
SpeechNotes
🟢 ساخت اکانت و استفاده رایگان
🟢 نکات طلایی «درست سوال پرسیدن»
🟢 کاربردهای واقعی: نوشتن، ترجمه، خلاصهسازی، ایدهپردازی و کدنویسی
🟢 و...
❌ظرفیت ثبتنام رایگان بسیار محدود است⚠️
📝 ثبتنام از طریق لینک زیر:
https://B2n.ir/tm9352
🆔️ @darsmancom
🌐 www.darsman.com
✅ آموزش ساختارمند برای استفاده هوشمندانه از ChatGPT
🟢 آشنایی با ابزارهای تصویری، تحلیلی و ارائه هوشمند:
DeepSeek
Google Lens
Microsoft Designer،
Leonardo AI، Fotor
Piclumen
NotebookLM
Gamma
SpeechNotes
🟢 ساخت اکانت و استفاده رایگان
🟢 نکات طلایی «درست سوال پرسیدن»
🟢 کاربردهای واقعی: نوشتن، ترجمه، خلاصهسازی، ایدهپردازی و کدنویسی
🟢 و...
❌ظرفیت ثبتنام رایگان بسیار محدود است⚠️
📝 ثبتنام از طریق لینک زیر:
https://B2n.ir/tm9352
🆔️ @darsmancom
🌐 www.darsman.com
❤1
گوگل ترنسلیت به دو حالت جدید برای ترجمه مجهز میشود: Fast و Advanced
🔹کاربران گوگل ترنسلیت بهزودی میتوانند مدل هوش مصنوعی مورد استفاده برای ترجمه را از طریق انتخابگر مدل AI مشخص کنند.
🔹مدل Fast ترجمهها را با سرعت بالا و بهشکل کارآمد ارائه میدهد، درحالیکه مدل Advanced با کمک جمینای ترجمههای دقیقتر و پیشرفتهتری فراهم میکند. درحالحاضر مدل Advanced تنها از جفت زبانهای انگلیسی-اسپانیایی و انگلیسی-فرانسوی پشتیبانی میکند.
🔹گوگل روی چند ویژگی بزرگ دیگر نیز کار میکند که شامل بازطراحی حالت Conversation و معرفی حالت Practice است که میتواند رقیبی برای اپلیکیشنهایی مانند دولینگو باشد. تمام این قابلیتها محوریت هوش مصنوعی دارند.
🔹کاربران گوگل ترنسلیت بهزودی میتوانند مدل هوش مصنوعی مورد استفاده برای ترجمه را از طریق انتخابگر مدل AI مشخص کنند.
🔹مدل Fast ترجمهها را با سرعت بالا و بهشکل کارآمد ارائه میدهد، درحالیکه مدل Advanced با کمک جمینای ترجمههای دقیقتر و پیشرفتهتری فراهم میکند. درحالحاضر مدل Advanced تنها از جفت زبانهای انگلیسی-اسپانیایی و انگلیسی-فرانسوی پشتیبانی میکند.
🔹گوگل روی چند ویژگی بزرگ دیگر نیز کار میکند که شامل بازطراحی حالت Conversation و معرفی حالت Practice است که میتواند رقیبی برای اپلیکیشنهایی مانند دولینگو باشد. تمام این قابلیتها محوریت هوش مصنوعی دارند.
❤1