نتایج جستجو
پرش به ناوبری
پرش به جستجو
- ...ی از [[فضاهای توپولوژیکی]] که در متون توپولوژی و شاخههای مرتبط با آن در [[ریاضیات]] ظاهر میگردند، آورده شدهاست. این فهرست، خواص فضاهای توپولوژیکی را فهرست * {{آرخانگلسکی پونومارف، بنیانهای توپولوژی عمومی، مسائل و تمرینها|edition=2}} <!-- {{Sfn| Arkhangelʹskiĭ | P ...۴ کیلوبایت (۱۲۵ واژه) - ۲۴ آوریل ۲۰۲۴، ساعت ۱۶:۰۶
- [[رده:قضایای بنیانهای ریاضیات]] ...۲ کیلوبایت (۱۰۰ واژه) - ۳۰ ژانویهٔ ۲۰۲۴، ساعت ۱۰:۱۳
- [[رده:قضایای بنیانهای ریاضیات]] ...۲ کیلوبایت (۱۱۰ واژه) - ۲ ژانویهٔ ۲۰۲۳، ساعت ۰۷:۳۲
- |fields=[[ریاضیات]] زمینه پژوهشی هسنبرگ [[هندسه دیفرانسیل]] و بنیانهای هندسه بود. او دستگاه اصل موضوعی برای [[هندسه بیضوی]] پروراند. همچنین کارهای ...۳ کیلوبایت (۱۰۷ واژه) - ۲۱ نوامبر ۲۰۲۰، ساعت ۰۹:۴۶
- ...و [[منطق|منطق دان]] هلندی بود که اساساً کارش به [[بنیانهای ریاضیات|مبانی ریاضیات مربوط]] میشد. او عضو گروه سیگنیفیکیس (Significs) بود. بث در [[آلملو]]، شهر کوچکی در شرق [[هلند]] به دنیا آمد. پدرش [[ریاضیات]] و [[فیزیک]] را در [[دانشگاه آمستردام]] خوانده بود و در آنجا [[پیاچدی|دک ...۸ کیلوبایت (۱۳۹ واژه) - ۹ ژوئیهٔ ۲۰۲۴، ساعت ۰۶:۵۱
- در [[بنیانهای ریاضیات|بنیانهای رایش]] '''پارادوکس راسل''' یا '''ناسازنمای راسل''' از برجستهترین [[پارادوک ...صورت مقالهای در ماهنامهٔ ''اینترنشنال'' با عنوان «جدیدترین کار در [[فلسفه ریاضیات]]» مطرح کرد. ...۱۶ کیلوبایت (۲۰۸ واژه) - ۱۰ سپتامبر ۲۰۲۴، ساعت ۲۲:۴۱
- ...]] ارائه شد. این اصول تقریباً بدون هیچ تغییری در تعدادی از پژوهشهای [[فرا ریاضیات|فرا ریاضیاتی]] استفاده شدهاست که از جملۀ آنها میتوان به پرسشهای اساسی د ...دریج نامحبوب از آب درآمدند؛ اگرچه این سرآغاز پیدایش نماد مدرن برای [[عنصر (ریاضیات)|عضویت مجموعهای]] (∈، که از ε پئانو میآید) و [[استلزام]] (⊃، که از معکوس ...۸ کیلوبایت (۲۱۶ واژه) - ۱۲ ژوئیهٔ ۲۰۲۴، ساعت ۱۲:۳۹
- در [[منطق]]، [[ریاضیات]]، [[علوم رایانه|علوم کامپیوتر]] و [[زبانشناسی]]، '''نظریهٔ زبانها''' به ...زیهکننده|تجزیهگر]] تجزیه شوند. در [[منطق]]، فرمالیسم ریاضی و [[بنیانهای ریاضیات|مبانی ریاضی]]، از زبانهای قراردادی برای تعریف دقیق نحو [[ماشین مجازی|ماشین ...۱۱ کیلوبایت (۳۵۹ واژه) - ۲ ژوئیهٔ ۲۰۲۴، ساعت ۰۷:۰۳
- [[رده:قضایای بنیانهای ریاضیات]] ...۱۰ کیلوبایت (۵۹۲ واژه) - ۲۲ فوریهٔ ۲۰۲۵، ساعت ۱۳:۵۱
- ...ا چون [[مجموعه (ریاضیات)|مجموعهها]]، [[حلقه (ریاضیات)|حلقهها]] و [[گروه (ریاضیات)|گروهها]] مورد استفاده قرار گرفتهاست. به زبان معمولی، نظریه رستهها نظریه ...شدهاند، مثل «مورفیسم» (یا ریخت)، در نظریهٔ رستهها معنای متفاوتی با بقیهٔ ریاضیات دارند. در نظریهٔ رستهها ریختها از شرایط خاص نظریهٔ رستهها تبعیت میکنند. ...۲۲ کیلوبایت (۱٬۴۹۴ واژه) - ۲۷ اکتبر ۲۰۲۴، ساعت ۱۶:۲۶
- ...وزدهم میلادی بیان و اثبات کرد. قضیه کانتور پیامدهای فوری و مهمی در [[فلسفه ریاضیات]] داشت. به عنوان مثال، با تکرار عمل ساخت [[مجموعه توانی]] از یک [[مجموعه نا [[رده:قضایای بنیانهای ریاضیات]] ...۱۲ کیلوبایت (۳۸۰ واژه) - ۱۸ نوامبر ۲۰۲۲، ساعت ۲۳:۲۴
- '''رابطهٔ دوتایی''' در ریاضیات روی مجموعهٔ A است که با A2 نمایش داده میشود. مفهوم کلیتر: رابطهٔ دوتایی ب رابطهٔ دوتایی برای بیشتر شاخهها در ریاضیات کاربرد دارد برای مثال برای مدلسازی مفاهیمی چون: "بزرگتر" و"تساوی" و "تقسیم ...۱۷ کیلوبایت (۲۵۶ واژه) - ۱۱ فوریهٔ ۲۰۲۳، ساعت ۱۶:۵۹
- ...cs?}}</ref> در حقیقت، تعریفی جهانی که همه بر سر آن توافق داشته باشند، برای ریاضیات وجود ندارد. ...ی]] از مجموعهٔ منتخبی از اصول موضوعی و تعاریف به دست میآورند. روند پیشرفت ریاضیات تا زمان [[رنسانس]] سرعت نسبتاً آرامی داشت، تا زمانی که نوآوریهای ریاضیاتی ...۵۰ کیلوبایت (۱٬۶۰۴ واژه) - ۱۷ فوریهٔ ۲۰۲۵، ساعت ۲۰:۱۳
- ...ه طبیعی مجموعهها'''، یکی از چندین تئوری مجموعه هاست که در بحث [[بنیانهای ریاضیات]] مطرح میشود. ...مورد استفاده قرار میگرفت و در سال ۱۹۵۰ رسماً مورد استفاده قرار گرفت. در [[ریاضیات محض]]، نظریهٔ طبیعی مجموعهها اولین پیشرفت و گسترش در [[نظریه مجموعهها]] ا ...۳۲ کیلوبایت (۷۷۸ واژه) - ۱۷ ژانویهٔ ۲۰۲۴، ساعت ۰۷:۵۵
- ...= منتخب همایش چهرههای ماندگار و تألیف و ترجمه چندین عنوان کتاب در زمینه ریاضیات، فیلم مستند فانوس گلستان ...هنگ و سیاست تاریخ معاصر [[ایران]]، بیش از چهارصد جلد [[کتاب]] در زمینههای ریاضیات، [[تاریخ]]، [[فلسفه]] و [[ادبیات]] تألیف و ترجمه کرده و نیز بیش از هزار عنو ...۶۲ کیلوبایت (۴۸۸ واژه) - ۲ مارس ۲۰۲۵، ساعت ۱۳:۱۳
- ...na]]|date=2002|accessdate=17 September 2016}}</ref> او از سن ۵ سالگی شیفته ریاضیات و بازی با اعداد بود.<ref>گفتگو با Betty Blair با عنوان: Scientist Who Made ...زرگترین تحقیق لیزری در دهههای شصت و هفتاد میلادی شد و پس از آن بسیاری از بنیانهای اولیه در استفاده از لیزر به وقوع پیوست. این بنیانها شامل ابداعات زیادی در ...۲۸ کیلوبایت (۷۹۰ واژه) - ۲۳ ژانویهٔ ۲۰۲۵، ساعت ۰۸:۱۸
- در [[ریاضیات]]، '''گروه لی''' {{انگلیسی|Lie Group}}، [[گروه (ریاضیات)|گروهی]] است که همزمان [[منیفلد دیفرانسیلپذیر]] نیز باشد. [[منیفلد (هندسه) ...SO(3)</math> داده میشود). گروههای لی، بهطور گسترده در بخشهای متعددی از ریاضیات و [[فیزیک]] نوین مورد استفاده قرار میگیرند. ...۷۵ کیلوبایت (۲٬۵۳۵ واژه) - ۱۷ مارس ۲۰۲۵، ساعت ۰۷:۰۹
- ...و چرچ]] در دهه ۱۹۳۰ میلادی، به عنوان بخشی از تحقیقات او بر روی [[بنیانهای ریاضیات]] معرفی گشت. حساب لاندا کاربردهای فراوانی در زمینههای مختلف از جمله [[ریاضیات]]، [[فلسفه]]،<ref>[[تیری کوکوآند|Coquand, Thierry]], [http://plato.stanford ...۶۵ کیلوبایت (۱٬۹۷۴ واژه) - ۲۷ سپتامبر ۲۰۲۴، ساعت ۰۹:۰۲