کانال ریاضیات ساختارگرایانه

Description
در این کانال، اخبار مربوط به کلاس ریاضیات ساختارگرایانه و فقط اخبار مربوط به کلاس ریاضیات ساختارگرایانه منتشر خواهد شد.
We recommend to visit

?? ??? ?? ????? ?

We comply with Telegram's guidelines:

- No financial advice or scams
- Ethical and legal content only
- Respectful community

Join us for market updates, airdrops, and crypto education!

Last updated 10 months, 2 weeks ago

[ We are not the first, we try to be the best ]

Last updated 1 year ago

FAST MTPROTO PROXIES FOR TELEGRAM

ads : @IR_proxi_sale

Last updated 8 months, 3 weeks ago

9 months, 2 weeks ago
دوستان عزیز،

دوستان عزیز،

اگر به اثبات استقلال فرض پیوستار از نظریه‌ی مجموعه‌ها و اصل لانه کبوتری از حساب ضعیف به روایت نظریه‌ی توپوس علاقه‌مندید جلسه‌ی هفدهم درس توپوس تئوری را ببینید. به علاوه در جلسه‌ی نوزدهم هم می‌توانید روش ساخت و کاربردهای effective topos یا جهان محاسبه‌پذیر را ببینید که جهانی نظریه مجموعه‌ای است که در آن «همه‌ی» ساختمان‌ها محاسبه‌پذیرند. از این جهان می‌توان برای سازگاری تز چرچ و اصل پیوستگی براوئر با نظریه‌ی ساختی مجموعه‌ها استفاده کرد. مقدمات مورد نیاز برای بخش اول را می‌توان در جلسات چهاردهم٬ پازدهم و شانزدهم و برای بخش دوم در جلسه‌ی هجدهم یافت. کانال درس در یوتیوب و آپارات در آدرس‌های لینک شده قابل مشاهده است.

10 months, 3 weeks ago
دوستان عزیز، متاسفانه درس ریاضیات ساختارگرایانه …

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

1 year, 1 month ago
1 year, 1 month ago

دوستان عزیز،

مقاله‌ای که در ادامه می‌بینید معرفی نه چندان کوتاهی‌ست از کاربردهای نظریه‌ی رسته‌ها در نظریه‌ی برهان! هیچ آشنایی اولیه‌ای با نظریه‌ی رسته‌ها فرض نشده و همه‌ی مقدمات با نگاهی فلسفی به مفهوم عام برهان تشریح شده است. تنها آشنایی مقدماتی با منطق ریاضی، نظریه‌ی محاسبه، توپولوژی و ساختارهای مرتب فرض گرفته شده تا مطلب برای عموم دسترس‌پذیر باشد.

1 year, 1 month ago
1 year, 1 month ago
کانال ریاضیات ساختارگرایانه
1 year, 5 months ago
دوستان عزیز،

دوستان عزیز،

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

در حال حاضر درسی مستقل درباره‌ی نظریه‌ی توپوس در حال برگزاری است که ویدئوهای آن هر هفته دوشنبه‌ها اینجا بارگذاری می‌شود. این درس را می‌توان به شکل غیررسمی به منزله‌ی بخش دوم درس ریاضیات ساختارگرایانه در نظر گرفت.

2 years, 10 months ago

دوستان عزیز، با عرض پوزش، جلسه‌ی این هفته نیز برگزار نمی‌شود.

2 years, 11 months ago

دوستان عزیز، با عرض پوزش، جلسه‌ی این هفته نیز برگزار نمی‌شود.

2 years, 11 months ago

دوستان عزیز، با عرض پوزش، جلسه‌ی این هفته نیز برگزار نمی‌شود.

We recommend to visit

?? ??? ?? ????? ?

We comply with Telegram's guidelines:

- No financial advice or scams
- Ethical and legal content only
- Respectful community

Join us for market updates, airdrops, and crypto education!

Last updated 10 months, 2 weeks ago

[ We are not the first, we try to be the best ]

Last updated 1 year ago

FAST MTPROTO PROXIES FOR TELEGRAM

ads : @IR_proxi_sale

Last updated 8 months, 3 weeks ago