برنامۀ نهمین مدرسۀ تابستانی فلسفۀ تحلیلی

مباحثی در فلسفۀ منطق و فلسفۀ ریاضیات

برگزاری به صورت مجازی

محبوب‌ترین اساتید دانشکده علوم ریاضی رو تو انتخاب کن 🏅

@asatid_beheshti | اساتید بهشتی

فلسفهء زمان: ترکیب نحوی بی‌محتوا؟
✍️رضا منصوری
۱۰ مرداد ۱۳۹۹
rmansouri.ir

زمان واژه‌ای است با کاربرد در همهء بخش‌های معرفتی انسان: فلسفه، حکمت، عرفان، روانشناسی، دین، سیاست، جامعه‌شناسی، اقتصاد، و فیزیک. در ترکیب «فلسفهء زمان» معمولاً آن مفهومی منظور است که در علوم فیزیکی به‌کار می‌رود. اما بیش از یک قرن است که زمان در فیزیک همهء پیرایه‌های فلسفی در تعریف را برکنده است. زمان همان اندازه اعتباری- بخوانید عملیاتی- تعریف می‌شود که سرعت و تکانه یا هر مفهومی دیگر در علم. بنابراین، هر تحولی در تعریف کنونی زمان باید از مسیر «عملیات» و در چارچوب مدل باشد. از این جهت جایی برای تفلسف نمی‌ماند مگر در حدّ همان تخیلی که در علوم فیزیکی راهگشا است.

جلسهٔ مجازی در تاریخ چهارشنبه ۲۱ خردادماه ۱۳۹۸: https://zharfa90.ir/1611-2

🧑🏻‍💻 کارگاه جبر خطی برای یادگیری ماشین

📅 تاریخ برگزاری: ۲۳، ۲۴، ۳۰ و ۳۱ مرداد ۹۹ (ساعت ۱۱ الی ۱۷:۳۰)

🖥 این دوره به صورت آنلاین برگزار خواهد شد.

🔖 برای مشاهده جزئیات و ثبت نام از این لینک استفاده نمایید

❌ دوره دارای ظرفیت محدود است.

🕙 مدت این دوره: ۱۸ ساعت

📢 برای کسب اطلاعات بیشتر به کانال تلگرامی زیر مراجعه فرمایید:
@LoopAcademy


☎️ 021-2591 7391

🌐 www.loopacademy.ir

پنجمین مدرسهٔ تابستانی ریاضیات

Online
Register at: https://forms.gle/3AbXZeCucKWCuumR7

Fall 2020 Online Learning Opportunity – Budapest Semesters in Mathematics
https://www.budapestsemesters.com/fall-2020-distance-learning-opportunity/

همراه‌نامه ریاضی پرینستون یک مرجع کم نظیر در ریاضیات است که زمینه‌های مختلف ریاضیات را از دیدگاه بزرگترین ریاضی‌دانان معاصر پوشش داده است. ویراستار ارشد این مجموعه ریاضیدان انگلیسی برنده مدال فیلدز، تیموتی گاورز است. در یکی از پیوست‌های این کتاب، ریاضی‌دانان نام‌آور مایکل اتیا، الن کُن، دوسا مک‌داف و پیتر سرنک توصیه‌هایی به ریاضی‌دانان جوان کرده‌اند. ترجمه این پیوست که در شماره ۱۸ مجله نشر ریاضی چاپ شده‌است را در اینجا بازنشر کرده‌ایم.

#تقویم_آموزشی
#آموزشی


✳️ تقویم تفصیلی آموزشی سال تحصیلی 1400-1399 دانشگاه شهید بهشتی


🆔@SBU_Official

🌱 انجمن علمی دانشکده صنایع برگزار می‌کند:
🎬 اولین #اپیزود از دومین #فصل وبینار #استارتاک تحت عنوان چالش‌ها و مسائل علم داده در کسب و کار.

🎙 سخنران: جناب آقای مهندس امیررضا تجلی
- کارشناسی ارشد مهندسی صنایع دانشگاه تهران.
- سابقه ۶ سال فعالیت علم داده در بیش از ۲۰ سازمان داخلی

📆 پنجشنبه ۱۳ شهریور ماه ساعت ۱۸ الی ۲۰

🌐 جهت ثبت‌نام کلیک کنید.

⚠️ ثبت‌نام در این وبینار #رایگان و #الزامی می‌باشد.
⚠️ دانشجویان دانشگاه امیرکبیر حتما با ایمیل دانشگاهی خود در سایت ثبت‌نام کنند.

❌ ظرفیت محدود

جهت کسب اطلاعات بیشتر با آیدی @masaaf1 در ارتباط باشید.

@masaafaut

💡 دانشمند ایرانی(دانش‌آموخته شریف) با همکاری پژوهشگرانی از دانشگاه‌ صنعتی شریف مساله توپولوژی پروتئین‌ها را پس از نیم قرن حل کرد !

🔻پروفسور علیرضا مشاقی، که درحال حاضر استاد دانشگاه و مدیرگروه بیوفیزیک پزشکی و مهندسی زیستی دانشگاه لایدن هلند است و تحصیلات کارشناسی ارشد خود را در رشته فیزیک دانشگاه صنعتی شریف گذرانده، با رهبری یک تیم پژوهشی بین‌المللی موفق به حل مساله توپولوژی پروتئین­‌ها پس از گذشت نیم قرن شده‌ ؛ وی درخصوص این دستاورد که به لطف ابداع تکنیک توپولوژی مداری بعنوان یکی از دستاوردهای این‌تیم در حوزه ریاضی و فیزیک نظری،میسر شده، گفته‌:

🔹تکنیک توپولوژی مداری تحول‌بزرگی درحوزه توپولوژی مولکولی ایجاد کرده است. با این تکنیک می‌توان چیدمان ساختار داخلی پروتئین‌ها را طبقه‌بندی و شمارش کرد و کاربردهایی نیز در حوزه‌های غیر پزشکی و صنعت دارد. از جمله می‌توان از توپولوژی مداری در مهندسی شیمی، هوش مصنوعی یا زبان‌شناسی استفاده کرد.
🔹 پروتئین­‌ها مولکول­‌هایی هستند که بسیاری از کارهای بدن انسان از جمله تولید انرژی، انقباض عضلات، مبارزه با عفونت‌­های باکتریایی و ویروسی و اعمال مغز همچون خواب و بیداری را کنترل می­‌کنند. به عبارت دیگر، پروتئین­‌ها، زنجیره‌­های مولکولی تاخورده‌­ای هستند که برای انجام کارهای مختلف در بدن، باید اشکال خاصی را به خود بگیرند. اما پرسش اساسی که مطرح می‌شود، این است که شکل یک‌پروتئین چیست وچطور تعریف‌می­شود؟ 
🔹 همه ما با مفهوم شکل آشنا هستیم. به عنوان مثال مغز ما چندین لیوان با رنگ و اندازه و جنس مختلف را از یک توپ تمایز می­‌دهد. هر چند لیوان­‌ها از بسیاری لحاظ متفاوت باشند در یک چیز مشترکند: “شکل”، که ریاضی­دان‌ها به آن توپولوژی می­‌گویند.
🔹 در طول یک قرن گذشته، پیشرفت‌­های مهمی از جمله ابداع روش­‌های کریستالوگرافی و طیف‌سنجی امکان شناسایی جنس، اندازه و هندسه پروتئین­‌ها را فراهم کرده است. اما توپولوژی پروتئین­‌ها همچنان ناشناخته مانده است. هر چند ریاضی­دان‌ها با نظریه گره­‌ها توانستند تاخوردگی زنجیره‌­های همچون طناب را مطالعه و طبقه­‌بندی کنند، ولی این نظریه نتوانست توپولوژی پروتئین­‌ها را توضیح دهد.
🔹دو دلیل عمده مانع موفقیت نظریه گره‌­ها شد؛ یکی اینکه پروتئین­‌ها برخلاف طناب چسبنده‌هستند و اتصالاتی درون زنجیره پروتئینی بین برخی نقاط وجود دارد. دوم اینکه اگر دو انتهای پروتئین­‌ها را همچون یک طناب در هم تنیده در دست بگیریم و بکشیم، پروتئین­‌ها از هم بازمی‌­شوند و در۹۷درصد مواقع هیچ‌گرهی نمی­ماند.
🔹 نظریه جدید که توپولوژی مداری (Circuit topology) نامیده می­شود، اجازه می­‌دهد که همزمان اتصالات و درهم تنیدگی­‌های زنجیره پروتئینی را طبقه‌بندی و مقایسه کنیم. نظریه جدید مسیرهای پژوهشی تازه­ای در حوزه فیزیک پروتئین‌ها، مهندسی پروتئین و مطالعات تکاملی باز خواهد کرد. بد تاخوردگی پروتئین­‌ها به‌ویژه در ایجاد بیماری­‌های تحلیل عصبی و عضلانی و نیز برخی سرطان‌­ها از جمله سرطان پستان و پروستات دیده می‌­شود. از این رو، مطالعات توپولوژیک می­‌تواند تحولی در فهم مکانیسم و یافتن درمان­‌های جدید ایجاد کند.
🔸 این پژوهش حاصل حدود ۱۰ سال تلاش دانشمندان بوده است و مراکز متعددی از جمله دانشگاه لایدن هلند، دانشگاه هاروارد آمریکا، موسسه ماکس پلانک، ESPCI پاریس و دانشگاه استنفورد در این پروژه همکاری داشته‌اند؛ همچنین پژوهشگرانی از دانشگاه‌های ایران همچون دانشگاه صنعتی شریف، دانشگاه شیراز و دانشگاه کاشان همکاران این پروژه بوده‌اند.
🔸 نتایج این پروژه در مقالات متعددی به چاپ رسیده و بخش‌نهایی آن در مجله iScience منتشر شده‌./ایسنا
🔗 بیشتر بخوانید
--
💥 باشگاه شریف @sharifclub

سلسله درسهاي جبر عملگرها و كاربردهاي آن از شهريور ٩٩ با نظريه بُعد و ردهبندي سياستار جبرها در پژوهشكده رياضيات پژوهشگاه دانشهاي بنيـادي بطـور مجـازي دنبـال
مي شود.
در اين دوره بخشهايي از كتاب زير به طور فشرده تدريس ميشود.
شركت در كلاسهاي مجازي آزاد است و نيازي به ثبت نام ندارد. براي اطلاعات بيشـتر مـيتوانيـد با
mamini@modares.ac.ir
تماس بگیرید.

Aidan Sims, Gábor Szabó, Dana Williams, Operator Algebras and Dynamics: Groupoids, Crossed
Products, and Rokhlin Dimension, Advanced Courses in Mathematics, CRM Barcelona, Birkhäuser,
2020

سخنرانی دکتر امیر اصغری در پنجمین دوره مدرسه تابستانی ریاضیات دانشگاه تحصیلات تکمیلی زنجان با موضوع اثبات

دکتر امیر اصغری (دانشگاه جان مورس لیورپول، انگلستان)

عنوان سخنرانی:
اثبات، قسمت بیکار مغز

چکیده:
تعریف، قضیه، اثبات. تعریف، قضیه، اثبات. تعریف، قضیه، اثبات. این خلاصه ای بود از سه کتاب ریاضی دانشگاهی که من اخیراً خواندم. همه چیز در حد اعلای شستگی و تر و تمیزی. تعریف ها به گونه ای تعریف شده بودند که بعداً به کار بیان قضیه ها بیایند و قضیه ها به گونهای بیان شده بودند که قضیه باشند و بتوان آنها را اثبات کرد. اما چگونه یک قضیه، قضیه است حتی قبل از اینکه اثبات شود؟ آیا همین که نوشته فلان ریاضیدان معروف است و در فلان کتاب معتبر دانشگاهی و توسط فلان انتشارات شناخته شده با عنوان «قضیه» به چاپ رسیده دلیلی کافی یا حداقل بسیار نزدیک به کافی برای درستی آن نیست؟ راستش برای خیلی از ریاضیدانها هست! (من ریاضیدان نیستم، ولی برای من هم هست!) اما چرا خیلی از همین خیلی از ریاضیدانها همچنان قلم به دست میگیرند و تلاش میکنند که قضیه ای را که به درستی آن باور دارند اثبات کنند. عجیب تر این که این حرکت با ماهیت تنبل و بیکار مغز نمیخورد و من از این لحظه که این را مینویسم، دو هفته فرصت دارم تا این ادعا را در گفتگویی که در مدرسه تابستانی خواهم داشت برای شما ثابت کنم.