#عصرانه_ریاضی

از منطق و نظریه‌ی انواع تا درستی‌یابی صوری

جلسه اول
تایپ تئوری و حساب لامبدا
علیرضا محمودیان


⏰ شنبه ۵ خرداد، ساعت ۱۸

این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۲۱ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

#عصرانه_ریاضی

از منطق و نظریه‌ی انواع تا درستی‌یابی صوری

جلسه دوم
دنیای برهان‌ها و نرم‌افزار‌های بدون باگ
محسن لیاقت


⏰ دوشنبه ۷ خرداد، ساعت ۱۸:۳۰

این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۲۱ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

#سخنرانی_عمومی
همایش روز ملی ریاضیات و بزرگداشت خیام

چهارشنبه ۹ خرداد از ساعت ۱۳ الی ۱۵

سالن هشترودی دانشکده ریاضی، دانشگاه تهران

شرکت کردن در این همایش برای عموم آزاد است.

#عصرانه_ریاضی

Circle method
جلسه دوم

حامد موسوی
دانشگاه بریستول

⏰ چهارشنبه ۹ خرداد، ساعت ۱۹

این عصرانه به صورت مجازی و در بستر گوگل میت برگزار خواهد شد.

مرور قسمت لاپلاس یا فوریه از درس معادلات دیفرانسیل( یا هر جایی که دیدین )برای این سخنرانی واجبه.

#عصرانه_ریاضی

از منطق و نظریه‌ی انواع تا درستی‌یابی صوری

جلسه سوم
آشنایی با نظریه زبان‌های برنامه‌نویسی
اشا سروش‌پور


⏰ شنبه ۱۲ خرداد، ساعت ۱۸

این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۰۷ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

#عصرانه_ریاضی

از منطق و نظریه‌ی انواع تا درستی‌یابی صوری

جلسه چهارم
Towards a Big-step Higher-Order Mathematical Operational Semantics

پویا پرتو


⏰ یکشنبه ۱۳ خرداد، ساعت ۱۸

این عصرانه به صورت هیبرید برگزار می‌شود، مکان برگزاری کلاس ۲۰۷ دانشکده ریاضی و لینک از طریق کانال اطلاع رسانی خواهد شد.

از افرادی که علاقه‌مند هستند در برنامه‌های حضوری انجمن علمی ریاضی دانشکده ریاضی، آمار و علوم کامپیوتر دانشگاه تهران شرکت نمایند، دعوت می شود فرم ذیل را پر نموده و مشخصات خود را وارد کنند.
https://forms.gle/T2RxxoF1Gvun7mALA

#عصرانه_ریاضی

برگ‌بندی و گروه‌های هم‌ریختی

دکتر سام نریمان
دانشگاه پردو


⏰ چهارشنبه ۱۶ خرداد، ساعت ۱۷:۳۰

این عصرانه به صورت مجازی و در بستر گوگل میت برگزار خواهد شد.
https://meet.google.com/ixe-qzqr-cwq

📣 اطلاعیه شرکت در حلقه مطالعاتی آنالیز فوریه در میدان‌های عددی

⭕️ انجمن علمی-دانشجویی ریاضی دانشگاه تهران برگزار می‌کند.

⭕️ در صورت تمایل به شرکت در این حلقه مطالعاتی، لطفا تا روز شنبه ۱۹ خرداد، نسبت به تکمیل فرم زیر اقدام نمایید.

https://docs.google.com/forms/d/e/1FAIpQLSeoI9_71WpKZ0CHnb3kPeLa6QifhYHV06_IjytfmoULNpaZjA/viewform?usp=sf_link

🔔یادآوری:
این جلسه امروز به صورت مجازی برگزار می‌شود.

#عصرانه_ریاضی

An Excursion in Chemical Space

Sadra Aghajani
M.Sc. in Physical Chemistry

⏰ دوشنبه ۲۱ خرداد، ساعت ۱۸

این عصرانه به صورت حضوری و در کلاس ۲۲۱ برگزار خواهد شد.

‼️جلسه معارفه حلقه مطالعاتی آنالیز فوریه در میدان های عددی


📍محل برگزاری:
دانشکده ریاضی، آمار و علوم کامپیوتر دانشگاه تهران - کلاس ۲۰۷

📆 سه‌شنبه  ۲۲ خرداد

⏰ ساعت ۱۵

انجمن علمی-دانشجویی ریاضی دانشگاه تهران

يادآوری:
این جلسه امروز ساعت ۱۵، در کلاس ۲۰۷ برگزار خواهد شد.

انجمن علمی-دانشجویی آمار دانشگاه تهران، با همکاری انجمن علمی دانشجویی آمار دانشگاه بوعلی‌سینا برگزار می کند ...

🔵 گردهمایی اساتید و دانشجویان آمار

🔶با سخنرانی:
🔹 دکتر حمید پزشک،
استاد بازنشسته آمار دانشگاه تهران

🔹 دکتر رحیم محمودوند،
عضو هیات علمی آمار دانشگاه بوعلی سینا

⏰ زمان: چهارشنبه، ۲۳ خرداد، ساعت ۱۰:۳۰ الی ۱۲:۳۰
🏫 محل برگزاری: دانشگاه تهران، دانشکده ریاضی، آمار و علوم کامپیوتر، سالن هشترودی


🆔 @TUSSChannel | انجمن علمی آمار دانشگاه تهران

*با فرصت پیش آمده از وجود دو تن از اساتید حاضر در کشور در رابطه با زمینه‌های فوق:
Low-Dimensional Topology,
Teichmüller Theory
(که در کنار ریاضیدان‌های شهیر بسیاری منجمله مک‌مولن، دونالدسون و میرزاخانی، پوانکاره و ترستن تاثیر بسیار پررنگی در پیش برد آن داشتتد) و تعداد اندک افراد دنبال کننده این موضوع (در کشور) و همینطور حجم زیاد و سنگین بودن مطالب فوق در این زمینه و در کنارش نبود آشنا و راهنمای کافی در این مسیر، تصمیم به عمل آمد که تلاش کنیم زیر نظر این اساتید با یکدیگر شروع و یا ادامه به یادگیری هر چه عمیق‌تر این موضوع کرده و در کنار آشنایی با افراد علاقه‌مند، با یکدیگر و کمک اساتید مربوطه به یادگیری و دانشی عمیق‌تر و جلوتری، بیش از پیش برسیم.

* افراد علاقه‌مند به یادگیری هرچه عمیق‌تر این بخش از ریاضیات و کارها و یا دوستانی که تمایل به فعالیت در این حوزه دارند، در صورت تمایل به شرکت در این long term فرم زیر را پر کنند تا به زودی برنامه ریزی‌ها انجام شود (در صورتی که به ندرت ایمیل چک میکنید شماره همراه خود را در فرم ذکر کنید تا در روند هماهنگی‌ها خللی وارد نشود) :

https://forms.gle/6xtXY7zJyM9JYmxw5

*مکان و زمان دقیق برگزاری کلاس‌ها و جلسات متعاقبا به افراد ثبت‌نام کننده و پذیرش شده اعلام میشود و در حال حاضر مکان احتمالی IPM خواهد بود.

*در صورت داشتن هرگونه سوال و ابهام یا کسب اطلاعات به آیدی فوق مراجعه کنید:
@MPTGRH
با تشکر و موفقیت برای همه.

📣 اطلاعیه شرکت در حلقه‌ی مطالعاتی مباحثی در نظریه‌ی گالوا

⭕️ انجمن علمی-دانشجویی ریاضی دانشگاه تهران برگزار می‌کند.

⭕️ در صورت تمایل به شرکت در این حلقه‌ی مطالعاتی، لطفا تا روز چهارشنبه ۳۰ خرداد، نسبت به تکمیل فرم زیر اقدام نمایید.

https://docs.google.com/forms/d/e/1FAIpQLScDqxQAWmRNOlR21Gk_PDbwo19VV21pKQVnAG5NlI0fopB6lQ/viewform?usp=sf_link