MathBridge

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

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

#برگی_از_تاریخ_علم #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…

#برگی_از_تاریخ_علم #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

جایزه چرتکه برای راه حل های خلاقانه ریاضیدان ایرانی شاهین اویس قرن مصاحبه ای را با ایشان در لینک زیر ببینید: 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 چه‌قدر از هوشواره (هوش مصنوعی) استفاده می‌کنید؟

از 10 مرداد تا 20 مرداد قسمت اداری دانشگاه به دلیل تعطیلات تابستانی پرسنل، تعطیل خواهد بود اما کلاس های ترم تابستان همچنان برقراره

تقویم آموزشی دانشگاه آزاد اسلامی نیمسال اول 1405.1406 ✅ گروه ریاضی و آمار دانشگاه آزاد اسلامی واحد پرند @ParandMathematics

#شنیدنی_هفته بعضی موسیقی‌ها برای رقصیدن‌اند، بعضی برای زمزمه کردن، و بعضی فقط برای سکوت... Barcelona Nights (Ottmar Liebert) از همان دسته‌ی سوم است؛ قطعه‌ای که نه داستانی تعریف می‌کند و نه حرفی می‌زند، اما اگر با حوصله به آن گوش بدهی، شاید هر کسی داستان خودش را در میان نت‌هایش پیدا کند. پیشنهاد می‌کنم امشب، چند دقیقه از هیاهوی دنیا فاصله بگیرید و فقط گوش کنید. @MathBridge

اینم چند تا از کاربردهای حساب دیفرانسیل واسه اونهایی که دنبالش هستند. همونطور که بارها در کلاس گفتم، کاربردهای ریاضیات دانشگاهی اغلب تخصصی هستند و نه عمومی... @MathBridge

فرم سطری پلکانی یک ماتریس چه اطلاعاتی در اختیار ما می گذارد؟ خانه ریاضیات راشا @RashaEdu

مدرسه عالی مهارتی ریاضیات و علوم نظری (علوم و فنون) پیش ثبت نام دوره های تابستان و سال تحصیلی آینده در وبسایت https://scitechhome.ir تخفیفات و شرایط ویژه برای خانواده پرسنل ادارات شهر پرند و همکاران دانشگاه آزاد اسلامی

همه سر یک چیز بحث دارند: اون C² مرموز! مدرسه عالی مهارتی علوم و فنون @scitechhome

#فرصت_شغلی سلام. من این آگهی رو از اینستاگرام برداشتم. به نظرم برای اطلاعات بیشتر به سایت بانک سامان مراجعه کنید. @MathBridge

👈 تمدید شد. دوره فشرده و حضوری آموزش انتگرال برای دانشجویان رشته حسابداری. لینک ثبت نام و اطلاعات بیشتر: https://meshkat.iau.ir/courses/26073 این دوره توسط مدرسه علوم و فنون (زیر نظر دانشگاه) برگزار می شود. مهلت ثبت نام: جمعه 15 خرداد روزهای برگزاری: شنبه 16 خرداد و چهارشنبه 20 خرداد 405. (از 08:30 صبح الی 14:00) محل برگزاری: دانشکده علوم پایه @scitechhome

دوره فشرده و حضوری آموزش انتگرال برای دانشجویان رشته حسابداری. لینک ثبت نام و اطلاعات بیشتر: https://meshkat.iau.ir/courses/26073 این دوره توسط مدرسه علوم و فنون (زیر نظر دانشگاه) برگزار می شود. مهلت ثبت نام: پنجشنبه 7 خرداد روزهای برگزاری: شنبه 9 خرداد و چهارشنبه 13 خرداد 405. (از 08:30 صبح الی 14:00) محل برگزاری: دانشکده علوم پایه @Pouhassani