جایزه چرتکه برای راه حل های خلاقانه ریاضیدان ایرانی شاهین اویس قرن

مصاحبه ای را با ایشان در لینک زیر ببینید:

https://youtu.be/O_T_P6o6sRc?si=igF89HAevmf3RZKY

این همه از هوش مصنوعی و الگوریتم‌ها می‌گیم، خود این الگوریتم‌ها رو کی درست می‌کنه؟

در این برنامه با شایان اویس‌قرن، یه دانشمند جوان ایرانی، ملاقات می‌کنیم که جایزه جهانی چرتکه رو بُرده. یکی از معتبرترین جوایز علمی که هر چهار سال یه بار اعطا می‌شه. اتحادیه جهانی ریاضیات مدال چرتکه رو به برترین دانشمندان زیر ۴۰ سال می‌ده که در ریاضیات مربوط به علوم انفورماتیک می‌ده. یکی از بالاترین افتخارات جهانی در حوزه علوم کامپیوتر نظری.
حالا دریافت مدال چرتکه، جایگاه شایان اویس‌قرن رو به‌عنوان یکی از تاثیرگذارترین دانشمندان زنده در مرزهای دانش ریاضی و الگوریتم نشون می‌ده.

00:00 پیش‌پرده
02:00 «از خیلی قبل خبر داشتم»
03:36 «خیلی از هم‌وطنانم تحت فشار اقتصادی و جنگ، در رنج اند»
05:09 درباره راه‌حل‌های خلاقانه ریاضی‌دان
05:42 دنبال پیچ‌گوشتی مناسب برای مساله‌های حل‌نشده
07:30 خانواده شایان
08:17 قضیه فروشنده دوره‌گرد
11:43 توپ‌های تنیس
14:53 از اصفهان تا شریف و استنفورد و دانشگاه واشنگتن
16:07 «از المپیاد با مدال طلا برگشتم، دانشگاهم دیر شد!»
17:01 «خیلی‌ها دنبال مهاجرت بودند، من دوست نداشتم از ایران بروم»
18:00 «اگه دانش الانم را داشتم، نمی‌آمدم آمریکا»
20:01 «ریاضی‌دان‌ها را در موفقیت‌هایشان می‌شناسند؛ ولی شکست‌ها خیلی بیشتر است»
23:06 چه‌قدر از هوشواره (هوش مصنوعی) استفاده می‌کنید؟

#برگی_از_تاریخ_علم

#ARISTOTLE (384 b.c.e. –322 b.c .e .) Aristotle was born in Stagirus (Stagira) in northern Greece. His father was the personal physician of the King of Macedonia. Because his father died when Aristotle was young, Aristotle could not follow the custom of following his father’s profession. Aristotle became an orphan at a young age when his mother also died. His guardian who raised him taught him poetry, rhetoric, and Greek. At the age of 17, his guardian sent him to Athens to further his education. Aristotle joined Plato’s Academy, where for 20 years he attended Plato’s lectures, later presenting his own lectures on rhetoric. When Plato died in 347 B.C .E., Aristotle was not chosen to succeed him because his views differed too much from those of Plato. Instead, Aristotle joined the court of King Hermeas where he remained for three years, and married the niece of the King. When the Persians defeated Hermeas, Aristotle moved to Mytilene and, at the invitation of King Philip of Macedonia, he tutored Alexander, Philip’s son, who later became Alexander the Great. Aristotle tutored Alexander for five years and after the death of King Philip, he returned to Athens and set up his own school, called the Lyceum.
Aristotle’s followers were called the peripatetics, which means “to walk about,” because Aristotle often walked around as he discussed philosophical questions. Aristotle taught at the Lyceum for 13 years where he lectured to his advanced students in the morning and gave popular lectures to a broad audience in the evening. When Alexander the Great died in 323 B.C .E., a backlash against anything related to Alexander led to trumped-up charges of impiety against Aristotle. Aristotle fled to Chalcis to avoid prosecution. He only lived one year in Chalcis, dying of a stomach ailment in 322 B.C .E.
Aristotle wrote three types of works: those written for a popular audience, compilations of scientific facts, and systematic treatises. The systematic treatises included works on logic, philosophy, sychology, physics, and natural history. Aristotle’s writings were preserved by a student and were hidden in a vault where a wealthy book collector discovered them about 200 years later. They were taken to Rome, where they were studied by scholars and issued in new editions, preserving them for posterity.
@MathBridge

ترجمه:
ارسطو (۳۸۴ پیش از میلاد - ۳۲۲ پیش از میلاد) در استاگیروس (استاگیرا) در شمال یونان متولد شد. پدرش پزشک شخصی پادشاه مقدونیه بود. از آنجا که پدرش در جوانی ارسطو درگذشت، ارسطو نتوانست رسم پیروی از حرفه پدرش را دنبال کند. ارسطو در سنین پایین و همزمان با مرگ مادرش یتیم شد. قیم او که او را بزرگ کرده بود، شعر، فن بیان و زبان یونانی را به او آموخت. در سن ۱۷ سالگی، قیم او را برای ادامه تحصیل به آتن فرستاد. ارسطو به آکادمی افلاطون پیوست و در آنجا به مدت ۲۰ سال در سخنرانی‌های افلاطون شرکت کرد و بعدها سخنرانی‌های خود را در مورد فن بیان ارائه داد. هنگامی که افلاطون در سال ۳۴۷ پیش از میلاد درگذشت، ارسطو به دلیل تفاوت زیاد دیدگاه‌هایش با افلاطون، به جانشینی او انتخاب نشد. در عوض، ارسطو به دربار پادشاه هرمیاس پیوست و به مدت سه سال در آنجا ماند و با خواهرزاده پادشاه ازدواج کرد. وقتی ایرانیان هرمئاس را شکست دادند، ارسطو به میتیلین نقل مکان کرد و به دعوت پادشاه فیلیپ مقدونیه، به اسکندر، پسر فیلیپ که بعدها اسکندر کبیر شد، آموزش داد. ارسطو به مدت پنج سال به اسکندر آموزش داد و پس از مرگ پادشاه فیلیپ، به آتن بازگشت و مدرسه خود را به نام لیسئوم تأسیس کرد.

پیروان ارسطو را مشائیان می‌نامیدند، که به معنای "راه رفتن" است، زیرا ارسطو اغلب هنگام بحث در مورد مسائل فلسفی، راه می‌رفت. ارسطو به مدت ۱۳ سال در لیسئوم تدریس کرد، جایی که صبح‌ها برای شاگردان پیشرفته خود سخنرانی می‌کرد و عصرها سخنرانی‌های عمومی برای مخاطبان گسترده ارائه می‌داد. هنگامی که اسکندر کبیر در سال ۳۲۳ پیش از میلاد درگذشت، واکنش شدید علیه هر چیزی که مربوط به اسکندر بود، منجر به اتهامات ساختگی بی‌دینی علیه ارسطو شد. ارسطو برای جلوگیری از پیگرد قانونی به خالکیس گریخت. او تنها یک سال در خالکیس زندگی کرد و در سال ۳۲۲ پیش از میلاد بر اثر بیماری معده درگذشت.

ارسطو سه نوع اثر نوشت: آثاری که برای مخاطبان عام نوشته شده بود، مجموعه‌هایی از حقایق علمی و رساله‌های سیستماتیک. رساله‌های سیستماتیک شامل آثاری در مورد منطق، فلسفه، روانشناسی، فیزیک و تاریخ طبیعی بود. نوشته‌های ارسطو توسط یکی از شاگردانش نگهداری و در گاوصندوقی پنهان شده بود که حدود ۲۰۰ سال بعد، یک مجموعه‌دار ثروتمند کتاب آنها را کشف کرد. این آثار به رم برده شدند، جایی که توسط محققان مورد مطالعه قرار گرفتند و در نسخه‌های جدید منتشر شدند و برای آیندگان حفظ شدند.
@MathBridge

سلام. همونطور که میدونید من کمتر تو این کانال به مطالب و موضوعات اجتماعی می پردازم اما بعضی از مسائل رو نباید از کنارش گذشت.
در این مورد خاص، فعلاً توضیحات داخل ویدئو رو کافی می دونم. از برخی آقایون خواهش میکنم این یکی دو دقیقه رو لطفاً گوش بدید و به انسانیت احترام بذارید.
ممنونم

مشغولیت این روزهای من...

🧠 مبانی منطق در علوم کامپیوتر

وقتی از علوم کامپیوتر صحبت می‌کنیم، معمولاً به برنامه‌نویسی، الگوریتم‌ها و داده‌ها فکر می‌کنیم؛ اما در پشت بسیاری از این مفاهیم، یک ابزار بنیادی قرار دارد: منطق.

در این درس با زبان دقیق‌تری برای بیان و بررسی استدلال‌ها آشنا می‌شویم. از منطق گزاره‌ای و قواعد استنتاج شروع می‌کنیم و به معناشناسی، فرم‌های نرمال و SAT می‌رسیم. سپس منطق محمولات و Prolog را بررسی می‌کنیم و در ادامه سراغ نظریه مجموعه‌ها و نقش آن در ساخت اعداد طبیعی، صحیح، گویا و حقیقی می‌رویم.

در پایان نیز با مجموعه‌های نامتناهی، اعداد اصلی و ترتیبی و خوش‌ترتیبی آشنا خواهیم شد.

هدف این درس فقط یادگیری چند نماد و قاعده نیست؛ می‌خواهیم ببینیم چگونه می‌توان دقیق‌تر فکر کرد، استدلال‌ها را به زبان صوری بیان کرد و اعتبار آنها را بررسی کرد.

🎓 امیدوارم در پایان، منطق را نه فقط یک درس دانشگاهی، بلکه یکی از ابزارهای بنیادی تفکر در علوم کامپیوتر ببینیم.
@MathBridge

آمار نشریه تلگراف ( X: @telegraph ) در خصوص درصد دانشجویان دختر و پسر رشته های مختلف دانشگاهی در سه کشور بریتانیایی انگلیس، ولز و ایرلند شمالی در 2026.
@MathBridge

مرتب کردن به روش #حبابی
یکی از مباحث درس ریاضی گسسته در فصل روابط بازگشتی، تکنیک های مختلف مرتب سازی و مقایسه سرعت انجام آن ها است. در این ویدئوی کوتاه، نحوه عملکرد مرتب سازی حبابی رو می تونید ببینید.
🍂
برای مرتب کردن این 8 عدد چند حرکت انجام شد؟ به نظر شما حداکثر تعداد حرکت لازم برای مرتب سازی ۸ عدد درهم، چند تا است؟

@MathBridge

#مرتب_سازی #درجی
یکی دیگر از الگوریتم‌های مرتب سازی محسوب می‌شود. نحوه عملکرد اون رو در ویدئو ببینید و با مرتب سازی حبابی مقایسه کنید.
سؤال پست قبل رو در این مورد هم پاسخ بدید.
@MathBridge

#مرتب_سازی #سریع
این از هر دوتای قبلی سریعتره. تعداد حرکت ها رو بشمرید...
@MathBridge

مقایسه سرعت چند #الگوریتم_مرتب_سازی
@MathBridge

#مرتب_سازی #لانه_کبوتری
@MathBridge

#مرتب_سازی #ادغامی
@MathBridge

۱۳ مدل از معروفترین ساختارهای داده ها
(برای استفاده در کدنویسی)
🍂
@MathBridge