نتایج جستجو
پرش به ناوبری
پرش به جستجو
- ...تهی از آن داری کوچکترین عضو باشد. مجموعه داری ویژگی خوش ترتیبی، مجموعه خوش ترتیب نامیده میشود. ...ر مؤکد باشد، رابطه کوچکتری (>) یک رابطه خوش ترتیب مؤکد است.تفاوت روابط خوش ترتیب موکد و ناموکد در اغلب موارد نادیده گرفته میشود زیرا این دو به راحتی قابل ت ...۸ کیلوبایت (۷۶ واژه) - ۲۳ سپتامبر ۲۰۲۳، ساعت ۱۳:۳۹
- در [[ریاضیات]]، بخصوص در [[نظریه ترتیب]]، '''جوین''' {{به انگلیسی|Join}}، یک زیر مجموعه <math>S</math> از یک مجموع ...جزئاً مرتبی که هم جوین-نیم-مشبکه باشد و هم میت-نیم-مشبکه باشد را [[مشبکه (ترتیب)|مشبکه]] گویند. مشبکه ای که در آن هر زیرمجموعه، و نه فقط هر جفت از اعضاء در ...۳ کیلوبایت (۱۷۱ واژه) - ۳۰ سپتامبر ۲۰۲۱، ساعت ۱۷:۲۳
- ...اده شده باشد، با عوض کردن مبدأ (منبع) و مقصد (هدف) هر ریخت، به علاوه تغییر ترتیب ترکیب هر دو ریخت آن، یک حکم دوگان متناظر با آن در رسته متضاد <math>C^{op}</ زبان مقدماتی نظریه رستهها را به عنوان یک[[حساب محمولات| زبان مرتبه اول]] دو-رستهای (به انگلی ...۵ کیلوبایت (۱۸۵ واژه) - ۲ فوریهٔ ۲۰۲۳، ساعت ۲۲:۲۵
- ...نظریه اصل موضوعی مجموعهها]]، '''اصل موضوع بینهایت''' یکی از اصول موضوع [[نظریه مجموعههای تسرملو-فرنکل]] است. این اصل موضوع وجود حداقل یک [[مجموعه نامتناه ...تالی آن نیز یک مجموعه یگانه است. تالیها معمولاً برای تعریف اعداد طبیعی در نظریه مجموعهها به کار میروند؛ به این [[نحو]] که صفر، مجموعه تهی و n حاصل nبار ا ...۳ کیلوبایت (۶۰ واژه) - ۹ ژوئن ۲۰۲۴، ساعت ۱۹:۳۲
- ...ی تعریف این ترتیب است. هدف ما تعریف زوج مرتب به گونهای قابل قبول از نظر [[نظریه مجموعهها]] است. ...دی، یک زوج مرتب از دو شی a, b را به صورت زوج (a, b) تعریف میکنیم که در آن ترتیب قرار گرفتن مؤلفهها اهمیت دارد. ...۹ کیلوبایت (۲۷۶ واژه) - ۳۱ اکتبر ۲۰۲۱، ساعت ۱۸:۰۱
- '''مجموع فرکانس ماتسوبارا''' (برگفته از نام [[تاکئو ماتسوبارا]])، در نظریه میدان کوانتومی حرارتی، تکنیکی برای ساده سازی محاسبات انتگرال مسیر است.<ref> ...ومی حرارتی، میدانهای کوانتومی بوزونی و فرمیونی <math>\phi(\tau)</math> به ترتیب در زمان موهومی <math>\tau</math> به صورت دورهای یا پاد دورهای هستند، با د ...۳ کیلوبایت (۲۰۶ واژه) - ۳۱ ژوئیهٔ ۲۰۲۴، ساعت ۲۳:۲۶
- به همین ترتیب '''تعمیم فرض پیوستار''' میگوید: ...ی در سال [[۱۹۶۲ (میلادی)|۱۹۶۲]] [[پل کوهن]] اثبات کرد که این مسئله با اصول نظریه مجموعهها (ZFC) قابل اثبات نیست. ...۳ کیلوبایت (۳۷ واژه) - ۱۰ اوت ۲۰۲۳، ساعت ۱۵:۵۸
- ...y|1990|p=3}} یا مجموعه با ترتیب ساده{{sfn|Birkhoff|1967|p=2}} یا مجموعه با ترتیب خطی{{sfn|Schmidt|Ströhlein|1993|p=32}}{{sfn|Davey|Priestley|1990|p=3}} (یا ...وسیع از رابطه با ترتیب جزئی به رابطه با ترتیب کلی را توسیع خطی از آن رابطه ترتیب جزئی نیز می گویند. ...۶ کیلوبایت (۴۴۱ واژه) - ۸ سپتامبر ۲۰۲۴، ساعت ۱۳:۱۲
- ...[[زیرمجموعه]] چون <math>\mathrm{S}</math> از [[مجموعه جزئیمرتب|مجموعهٔ با ترتیب جزئی]] چون <math>\mathrm{T}</math>، بزرگترین عنصر درون <math>\mathrm{T}</ma ...رمجموعه]] چون <math>\mathrm{S}</math> از یک [[مجموعه جزئیمرتب|مجموعهٔ با ترتیب جزئی]] چون <math>\mathrm{T}</math>، کوچکترین عنصری در <math>\mathrm{T}</mat ...۶ کیلوبایت (۲۳۷ واژه) - ۱۳ دسامبر ۲۰۲۰، ساعت ۲۰:۱۵
- برشهای ددکیند را میتوان از اعداد گویا به هر مجموعهای با [[ترتیب کلی|ترتیب کامل]] تعمیم داد. برای این کار هر برش ددکیند افرازی از آن مجموعه به دو مجمو == ترتیب برشها == ...۵ کیلوبایت (۱۱۰ واژه) - ۲۶ دسامبر ۲۰۲۴، ساعت ۱۳:۳۵
- در هنگام استفاده از [[نظریه احتمال]] برای آنالیز آماره ترتیبی یک [[نمونه تصادفی]] از [[توزیع احتمال|توز که در آن اندیس i در <math>x_i</math>، ترتیبی را نشان میدهد که دادهها به ترتیب مشاهدهشدن، ثبت گشته اند، و اغلب فرض بر این است که این مقدار خیلی بزرگ نیست ...۵ کیلوبایت (۱۰۶ واژه) - ۱۹ اکتبر ۲۰۲۳، ساعت ۱۱:۰۰
- که [[توری (ترتیب)|توری]] نامیده میشود. [[رده:نظریه مشبکه]] ...۱ کیلوبایت (۷۵ واژه) - ۲ سپتامبر ۲۰۲۱، ساعت ۰۳:۲۰
- ...ر [[حساب دیفرانسیل و انتگرال]] مطرح شد و بعدها به نظریه انتزاعیتر [[نظریه ترتیب]] تعمیم یافت. ...<math>f\!\left(x\right) \geq f\!\left(y\right)</math> که در این صورت تابع ترتیب را معکوس میکند (نگاه کنید به شکل ۱) ...۷ کیلوبایت (۴۷۱ واژه) - ۱۳ مارس ۲۰۲۴، ساعت ۰۱:۴۲
- ...ime when no whole number but ''one'' will divide each of them}}</ref> بدین ترتیب اگر <math> {a} </math> و <math> {b} </math> اعدادی صحیح باشند و <math> (a,b بدین ترتیب مشاهده میکنیم که در عوامل تجزیه شده دو عدد '''عامل مشترکی''' به جز <math> ...۵ کیلوبایت (۲۲۵ واژه) - ۶ ژانویهٔ ۲۰۲۳، ساعت ۱۹:۵۲
- ...گویند اگر ترتیبی کلی روی عناصرش چنان موجود باشد که توپولوژی القایی توسط آن ترتیب برابر با توپولوژی خود فضا گردد. توپولوژی ترتیبی، <math>X</math> را تبدیل به [[رده:نظریه ترتیب]] ...۳ کیلوبایت (۱۱۳ واژه) - ۱۷ فوریهٔ ۲۰۲۱، ساعت ۱۳:۱۳
- ...متناهی آن [[میت (ریاضیات)|میت]] (یا بزرگترین کران پایینی) داشته باشد. اگر ترتیب هر جوین-نیم-مشبکه را معکوس کنیم به میت-نیم-مشبکه می رسیم و برعکس. [[رده:نظریه مشبکه]] ...۳ کیلوبایت (۱۵۶ واژه) - ۱۲ فوریهٔ ۲۰۲۱، ساعت ۱۳:۱۳
- ...[مشتق]] معمولی استفاده کنیم و بایستی از مشتق کواریانت استفاده کنیم. برای [[نظریه میدان اسکالر|میدان اسکالر]] <math>\displaystyle \phi\,</math> مشتق هموردا ه ...\lambda^a\,</math> و با شاخص پایین <math>\lambda_a\,</math> مشتق هموردا به ترتیب چنین است: ...۴ کیلوبایت (۲۸۵ واژه) - ۲۱ آوریل ۲۰۲۳، ساعت ۱۲:۴۳
- ...سپس اعداد الف (کاردینالهای نامتناهی از [[مجموعه خوش ترتیب|مجموعههای خوش ترتیب]]) در پی آن میآیند. اعداد الف توسط [[عدد ترتیبی|اعداد ترتیبی]] اندیس گذاری ...ترکیبیات]]، [[جبر مجرد]] و [[آنالیز ریاضی]] مورد استفاده واقع میشود. در [[نظریه رستهها]]، اعداد کاردینال تشکیل اسکلتی برای [[رسته مجموعهها]] میدهند. ...۷ کیلوبایت (۱۷۷ واژه) - ۵ اکتبر ۲۰۲۴، ساعت ۱۵:۳۰
- ...بازی تعریف کرد که [[پروتوندهی]] در آن به صورت ناتمام صورت میگیرد. به این ترتیب این مواد [[پیاچ|pH]] کمی نسبت به بازهای قوی دارند. ...۲ کیلوبایت (۵۱ واژه) - ۲۶ مارس ۲۰۱۸، ساعت ۲۱:۲۹
- در [[زبان صوری|نظریهٔ زبانهای صوری]]، هر [[مجموعه (ریاضیات)|مجموعهٔ]] ناتهی را '''الفبا''' (الف الفبا در [[زبان صوری|نظریه زبانها]] و [[نظریه اتوماتا|نظریه ماشینها]] مهم هستند. برای تعریف اتوماتاهایی مثل [[پذیرنده متناهی معین|DFA] ...۱۰ کیلوبایت (۴۲۰ واژه) - ۹ اوت ۲۰۲۳، ساعت ۲۱:۴۹