Forwarded from انجمن علمی علوم کامپیوتر
🎓 آغاز ثبتنام کارشناسی ارشد علوم کامپیوتر (ویژه استعدادهای درخشان)
به اطلاع میرساند ثبتنام بدون آزمون کارشناسی ارشد علوم کامپیوتر از تاریخ ۲۰ اردیبهشت تا ۲۷ اردیبهشت ماه آغاز شده است.
📌 پذیرش در گرایش «محاسبات نرم و هوش مصنوعی»
👈 ویژه دانشجویان دارای شرایط استعداد درخشان
📲 برای دریافت اطلاعات بیشتر و ثبتنام، وارد این لینک شوید.
🌐 همچنین جهت دریافت اطلاعات بیشتر در مورد رشته علوم کامپیوتر دانشگاه فردوسی به این لینک مراجعه کنید.
------------
#انجمن_علمی_علوم_کامپیوتر
@CS_FUM
به اطلاع میرساند ثبتنام بدون آزمون کارشناسی ارشد علوم کامپیوتر از تاریخ ۲۰ اردیبهشت تا ۲۷ اردیبهشت ماه آغاز شده است.
📌 پذیرش در گرایش «محاسبات نرم و هوش مصنوعی»
👈 ویژه دانشجویان دارای شرایط استعداد درخشان
📲 برای دریافت اطلاعات بیشتر و ثبتنام، وارد این لینک شوید.
🌐 همچنین جهت دریافت اطلاعات بیشتر در مورد رشته علوم کامپیوتر دانشگاه فردوسی به این لینک مراجعه کنید.
------------
#انجمن_علمی_علوم_کامپیوتر
@CS_FUM
❤5
🔢 پیشرفت ریاضی در شبیهسازی مولکولی 🔬
یک معادله جدید دقت مدلهای محاسباتی را در شبیهسازی مولکولهای بزرگ بهبود میبخشد، تقویتکننده مدلسازی ریاضی در زیستشیمی و فیزیک! این پیشرفت، ابزارهای شبیهسازی پیچیده را به سطحی جدید میبرد. 🚀
#ریاضیات #علوم_محاسباتی #مدلسازی_ریاضی #فیزیک #زیستشیمی
Source: Phys.org
یک معادله جدید دقت مدلهای محاسباتی را در شبیهسازی مولکولهای بزرگ بهبود میبخشد، تقویتکننده مدلسازی ریاضی در زیستشیمی و فیزیک! این پیشرفت، ابزارهای شبیهسازی پیچیده را به سطحی جدید میبرد. 🚀
#ریاضیات #علوم_محاسباتی #مدلسازی_ریاضی #فیزیک #زیستشیمی
Source: Phys.org
🔥3
DeepSeek-Prover-V2:
انقلاب هوش مصنوعی در اثبات قضایا
اثبات قضایای ریاضی وارد عصر جدیدی شده است! DeepSeek-Prover-V2، یک مدل پیشرفته هوش مصنوعی، پلی میان استدلال ریاضی غیررسمی و بررسی رسمی اثباتها ایجاد میکند. با بهرهگیری از یادگیری عمیق و چارچوبهای منطقی پیشرفته، این سیستم قادر به تولید اثباتهای دقیق و قابل بررسی است و مرزهای اثبات قضایای خودکار را جابهجا میکند.
این دستاورد کارایی در بررسی اثباتها را افزایش داده و راه را برای پژوهشهای ریاضی مبتنی بر هوش مصنوعی و بررسی عمیقتر استدلال منطقی، سیستمهای اصولی و ریاضیات محاسباتی هموار میکند. با پیشرفت هوش مصنوعی در روشهای رسمی، ریاضیدانان اکنون ابزاری قدرتمند برای حل قضایا پیچیده با دقت و سرعت بیشتر در اختیار دارند.
🚀 پیشرفتی چشمگیر در اثبات قضایا، بررسی صحت اثبات، منطق و ریاضیات مبتنی بر هوش مصنوعی!
#ریاضیات #اثبات_قضایا #منطق_ریاضی #هوش_مصنوعی #بررسی_اثبات
Source: unite.ai
انقلاب هوش مصنوعی در اثبات قضایا
اثبات قضایای ریاضی وارد عصر جدیدی شده است! DeepSeek-Prover-V2، یک مدل پیشرفته هوش مصنوعی، پلی میان استدلال ریاضی غیررسمی و بررسی رسمی اثباتها ایجاد میکند. با بهرهگیری از یادگیری عمیق و چارچوبهای منطقی پیشرفته، این سیستم قادر به تولید اثباتهای دقیق و قابل بررسی است و مرزهای اثبات قضایای خودکار را جابهجا میکند.
این دستاورد کارایی در بررسی اثباتها را افزایش داده و راه را برای پژوهشهای ریاضی مبتنی بر هوش مصنوعی و بررسی عمیقتر استدلال منطقی، سیستمهای اصولی و ریاضیات محاسباتی هموار میکند. با پیشرفت هوش مصنوعی در روشهای رسمی، ریاضیدانان اکنون ابزاری قدرتمند برای حل قضایا پیچیده با دقت و سرعت بیشتر در اختیار دارند.
🚀 پیشرفتی چشمگیر در اثبات قضایا، بررسی صحت اثبات، منطق و ریاضیات مبتنی بر هوش مصنوعی!
#ریاضیات #اثبات_قضایا #منطق_ریاضی #هوش_مصنوعی #بررسی_اثبات
Source: unite.ai
👍8
نشست تخصصی هیأت علمی جوان دانشکده با حضور معاونین برگزار شد
🔸 در این نشست که روز شنبه ۲۰ اردیبهشت برگزار شد، آقای دکتر شهروزی معاون پژوهشی بر ضرورت توسعه پژوهشهای کاربردی و ارتباط مؤثر با صنعت تأکید کردند. ایشان از بازنگری آییننامههای پژوهشی و دعوت از چهرههای علمی بینالمللی خبر دادند.
🔸 آقای دکتر رزمخواه معاون آموزشی نیز بر ارتقای کیفیت آموزش، بهرهگیری از روشهای نوین تدریس و توجه به بازخوردهای دانشجویان تأکید کردند. در پایان، پیشنهادات اعضای هیأت علمی جوان مورد بحث و بررسی قرار گرفت.
#نشست_تخصصی #پژوهش_کاربردی #تحول_آموزشی #هیأت_علمی #دانشکده
🌐 جهت مشاهده جزئیات بیشتر به سایت دانشکده مراجعه فرمایید.
🔸 در این نشست که روز شنبه ۲۰ اردیبهشت برگزار شد، آقای دکتر شهروزی معاون پژوهشی بر ضرورت توسعه پژوهشهای کاربردی و ارتباط مؤثر با صنعت تأکید کردند. ایشان از بازنگری آییننامههای پژوهشی و دعوت از چهرههای علمی بینالمللی خبر دادند.
🔸 آقای دکتر رزمخواه معاون آموزشی نیز بر ارتقای کیفیت آموزش، بهرهگیری از روشهای نوین تدریس و توجه به بازخوردهای دانشجویان تأکید کردند. در پایان، پیشنهادات اعضای هیأت علمی جوان مورد بحث و بررسی قرار گرفت.
#نشست_تخصصی #پژوهش_کاربردی #تحول_آموزشی #هیأت_علمی #دانشکده
🌐 جهت مشاهده جزئیات بیشتر به سایت دانشکده مراجعه فرمایید.
👎2❤1
📢 انجمن علمی ریاضی دانشگاه فردوسی مشهد برگزار میکند
🎓 بزرگداشت دکتر مریم میرزاخانی
به مناسبت روز جهانی زنان در ریاضیات، از تمامی دانشجویان و اساتید محترم دعوت مینماییم تا گرد هم آییم و یاد و خاطرهی مریم میرزاخانی، ریاضیدان برجسته و نخستین بانوی برندهی 🏅 مدال فیلدز، را گرامی داریم.
🗣 سخنران:
سرکار خانم دکتر فاطمه هلن قانع
📅 سهشنبه ۲۳ اردیبهشت ۱۴۰۴
⏰ ساعت ۱۲
📍دانشکده علوم ریاضی، سالن دکتر بزرگنیا
✨ منتظر حضور گرم تمامی اساتید، دانشجویان و علاقهمندان به ریاضیات هستیم!
🔺🔹🔸🔺🔹🔸🔺🔹🔸🔺🔹
#انجمن_علمی_ریاضی
#انجمن_های_علمی_دانشکده_ریاضی
#انجمن_های_علمی_دانشگاه_فردوسی_مشهد
🆔 @fummath
🆔 @ssafum
🎓 بزرگداشت دکتر مریم میرزاخانی
به مناسبت روز جهانی زنان در ریاضیات، از تمامی دانشجویان و اساتید محترم دعوت مینماییم تا گرد هم آییم و یاد و خاطرهی مریم میرزاخانی، ریاضیدان برجسته و نخستین بانوی برندهی 🏅 مدال فیلدز، را گرامی داریم.
🗣 سخنران:
سرکار خانم دکتر فاطمه هلن قانع
📅 سهشنبه ۲۳ اردیبهشت ۱۴۰۴
⏰ ساعت ۱۲
📍دانشکده علوم ریاضی، سالن دکتر بزرگنیا
✨ منتظر حضور گرم تمامی اساتید، دانشجویان و علاقهمندان به ریاضیات هستیم!
🔺🔹🔸🔺🔹🔸🔺🔹🔸🔺🔹
#انجمن_علمی_ریاضی
#انجمن_های_علمی_دانشکده_ریاضی
#انجمن_های_علمی_دانشگاه_فردوسی_مشهد
🆔 @fummath
🆔 @ssafum
👍8❤5👎2
Forwarded from انجمن ریاضی ایران (IMS) (S. Alikhani)
🔴سریعترین راه تا به امروز برای رنگآمیزی گرافها 🔴 دو گروه تحقیقاتی مختلف، الگوریتمهای جدیدی برای رنگ آمیزی یالی گرافها ارائه کردند که به طور قابل توجهی سریعتر از الگوریتم های قبلی هستند. مقالهای که قرار است در ماه ژوئن در سمپوزیوم ۲۰۲۵ نظریه محاسبات ارائه شود، یک الگوریتم تقریباً بهینه را توصیف میکند؛ الگوریتمی که عملاً سرعت زیادی دارد. به طور شگفتانگیزی، این الگوریتم جدید اصلاً به تعداد رئوس موجود در گراف داده شده بستگی ندارد، بلکه فقط به تعداد یالهای گراف بستگی دارد. در شماره اینده خبرنامه در مورد این مطلب بیشتر خواهیم خواند.
❤4🏆1
Media is too big
VIEW IN TELEGRAM
🔸 هوش مصنوعی felo.ai ابزاری نو برای انجام تحقیقات آکادمیک با گردآوری منابع معتبر علمی. این ابزار دارای app هم میباشد.
#هوشمصنوعی #تحقیقات #پژوهش
#felo.ai #perplexity #research
Source: academy_of_research
#هوشمصنوعی #تحقیقات #پژوهش
#felo.ai #perplexity #research
Source: academy_of_research
🔥6👍1
📢قابل توجه دانشجویان علاقهمند به شرکت در دوره کارآموزی بلندمدت
دانشجویان محترمی که تمایل به شرکت در دورههای کارآموزی بلندمدت دارند، میبایست با توجه به ظرفیتهای اعلامشده در وبسایت مدیریت ارتباط با صنعت دانشگاه، نسبت به تکمیل فرم مربوطه اقدام نمایند.
🔗 لینک مشاهده ظرفیتها و اطلاعات کامل:
https://tto.um.ac.ir/amak/internship
📄 فرم کارآموزی زیر را پس از تکمیل، حداکثر تا تاریخ 4 خرداد ۱۴۰۴، به کارشناس ارتباط با صنعت دانشکده، خانم دکتر زهره وثاق، اتاق 210 تحویل دهید.
🔴تأکید میشود که تنها فرمهای کاملشده در مهلت مقرر بررسی خواهند شد.
با تشکر
#ارتباطباصنعت
#کارآموزی_بلند_مدت
دانشجویان محترمی که تمایل به شرکت در دورههای کارآموزی بلندمدت دارند، میبایست با توجه به ظرفیتهای اعلامشده در وبسایت مدیریت ارتباط با صنعت دانشگاه، نسبت به تکمیل فرم مربوطه اقدام نمایند.
🔗 لینک مشاهده ظرفیتها و اطلاعات کامل:
https://tto.um.ac.ir/amak/internship
📄 فرم کارآموزی زیر را پس از تکمیل، حداکثر تا تاریخ 4 خرداد ۱۴۰۴، به کارشناس ارتباط با صنعت دانشکده، خانم دکتر زهره وثاق، اتاق 210 تحویل دهید.
🔴تأکید میشود که تنها فرمهای کاملشده در مهلت مقرر بررسی خواهند شد.
با تشکر
#ارتباطباصنعت
#کارآموزی_بلند_مدت
❤5👍2
Forwarded from Part Research Institute
📆 چهارشنبه ۳۱ اردیبهشت ۱۴۰۴
⏰ ساعت ۰۹:۰۰ صبح
📍 دانشگاه فردوسی مشهد، دانشکده علوم ریاضی، تالار دکتر بزرگنیا
Please open Telegram to view this post
VIEW IN TELEGRAM
👍6❤2
Forwarded from کالج دانشگاه فردوسی مشهد (پشتیبانی کالج دانشگاه فردوسی مشهد)
کالج دانشگاه فردوسی مشهد با همکاری دفتر آموزشهای آزاد دانشکده علوم ریاضی برگزار میکند:
👨💻 دوره آموزش برنامهنویسی الگوریتمی (ویژه علاقهمندان به مسابقات و مصاحبههای فنی)
✍️ همراه با گواهینامه معتبر از کالج دانشگاه فردوسی مشهد، قابل ترجمه و مورد تأیید وزارت علوم، تحقیقات و فناوری
📘 مباحث کلیدی دوره:
آشنایی با زبان ++C و محیطهای کدنویسی
پیادهسازی الگوریتمهای پایه: مرتبسازی، جستوجو، بازگشتی
الگوریتمهای پیشرفته: گراف (DFS, BFS, MST)، دایکسترا، دیاسیو
الگوریتمهای بهینهسازی: برنامهنویسی پویا (DP)، الگوریتمهای حریصانه
تمرین، حل مثال، آموزش مفهومی و مرحلهبهمرحله همراه با سایتهای CSES, Codeforces و ...
📅 شروع دوره: ۳۱ اردیبهشت ۱۴۰۴
🕓 روزهای برگزاری: شنبه و چهارشنبهها، ساعت ۱۲ تا ۱۴
⏳ مدت دوره: ۱۰ جلسه آموزشی
👨🏫 مدرس: نوید شجراوی (دانشجوی علوم کامپیوتر، با تجربه شرکت در مسابقات ملی ICPC)
💰 شهریه ثبتنام:
دانشجویان دانشگاه فردوسی مشهد: ۳۰۰ هزار تومان
سایر دانشجویان: ۴۰۰ هزار تومان
🔗 ثبتنام از طریق مراجعه به سایت college.um.ac.ir
تلفن:۰۵۱۳۸۸۰۶۲۳۴
👨💻 دوره آموزش برنامهنویسی الگوریتمی (ویژه علاقهمندان به مسابقات و مصاحبههای فنی)
✍️ همراه با گواهینامه معتبر از کالج دانشگاه فردوسی مشهد، قابل ترجمه و مورد تأیید وزارت علوم، تحقیقات و فناوری
📘 مباحث کلیدی دوره:
آشنایی با زبان ++C و محیطهای کدنویسی
پیادهسازی الگوریتمهای پایه: مرتبسازی، جستوجو، بازگشتی
الگوریتمهای پیشرفته: گراف (DFS, BFS, MST)، دایکسترا، دیاسیو
الگوریتمهای بهینهسازی: برنامهنویسی پویا (DP)، الگوریتمهای حریصانه
تمرین، حل مثال، آموزش مفهومی و مرحلهبهمرحله همراه با سایتهای CSES, Codeforces و ...
📅 شروع دوره: ۳۱ اردیبهشت ۱۴۰۴
🕓 روزهای برگزاری: شنبه و چهارشنبهها، ساعت ۱۲ تا ۱۴
⏳ مدت دوره: ۱۰ جلسه آموزشی
👨🏫 مدرس: نوید شجراوی (دانشجوی علوم کامپیوتر، با تجربه شرکت در مسابقات ملی ICPC)
💰 شهریه ثبتنام:
دانشجویان دانشگاه فردوسی مشهد: ۳۰۰ هزار تومان
سایر دانشجویان: ۴۰۰ هزار تومان
🔗 ثبتنام از طریق مراجعه به سایت college.um.ac.ir
تلفن:۰۵۱۳۸۸۰۶۲۳۴
👍9🔥1
Forwarded from Part Research Institute
برگزاری مجموعه کارگاههای تخصصی و حضوری رایگان در حاشیه گردهمایی روز پارت، به مدت ۵ روز از تاریخ شنبه ۳ الی چهارشنبه ۷ خرداد ۱۴۰۴ در دانشکده علوم ریاضی دانشگاه فردوسی مشهد؛ بر اساس مسائل و چالشهای دنیای واقعی و فرصت همکاری با گروه نرمافزاری پارت؛
⏰ شنبه ۳ خرداد ۱۴۰۴ - ساعت ۱۲:۰۰ الی ۱۵:۰۰
⏰ یکشنبه ۴ خرداد ۱۴۰۴ - ساعت ۱۲:۰۰ الی ۱۵:۰۰
⏰ دوشنبه ۵ خرداد ۱۴۰۴ - ساعت ۱۲:۰۰ الی ۱۵:۰۰
⏰ سهشنبه ۶ خرداد ۱۴۰۴ - ساعت ۱۲:۰۰ الی ۱۵:۰۰
⏰ چهارشنبه ۷ خرداد ۱۴۰۴ - ساعت ۱۲:۰۰ الی ۱۵:۰۰
Please open Telegram to view this post
VIEW IN TELEGRAM
👍6🆒3