نتایج جستجو

تطبیق عنوان صفحه

• اجتماع (نظریه مجموعه‌ها)
  ...2009-02-07}}</ref> این عمل یکی از عملیات بنیادین است که از طریق آن می‌توان مجموعه‌ها را ترکیب کرد و با هم مرتبط نمود. یک '''{{visible anchor|اجتماع پوچ|اجتماع پ اگر ''S'' [[مجموعه (ریاضی)|مجموعه‌ای]] از مجموعه‌ها باشد (یعنی ''S'' یک [[رده (مجموعه)|رده]] باشد)، مجموعه‌ای مانند ''C'' یافت ...
  ۴ کیلوبایت (۳۱۲ واژه) - ۲۸ دسامبر ۲۰۲۴، ساعت ۱۹:۱۳
• اشتراک (نظریه مجموعه‌ها)
  | field = [[مجموعه (ریاضیات)|نظریه مجموعه‌ها]] اگر S [[مجموعه (ریاضی)|مجموعه‌ای]] ناتهی از مجموعه‌ها باشد و <math>X\in S</math> عضو دلخواهی از S، اشتراک همه اعضای S که آن‌را با ...
  ۴ کیلوبایت (۲۵۶ واژه) - ۲۶ دسامبر ۲۰۲۴، ساعت ۱۵:۲۶
• نظریه طبیعی مجموعه‌ها
  '''نظریه طبیعی مجموعه‌ها'''، یکی از چندین تئوری مجموعه هاست که در بحث [[بنیان‌های ریاضیات]] مطرح می‌ ...[نظریه مجموعه‌ها]] است، که بعدها به صورت دقیق‌تر در قالب نظریهٔ اصل موضوعی مجموعه‌ها بیان شد. ...
  ۳۲ کیلوبایت (۷۷۸ واژه) - ۱۷ ژانویهٔ ۲۰۲۴، ساعت ۰۷:۵۵
• متمم (نظریه مجموعه‌ها)
  متمم مجموعه (به انگلیسی: Complement of a set) در نظریه مجموعه‌ها به معنای مجموعه‌ای از عناصری است که در یک مجموعه معین حضور ندارند، اما در م ...ث احتمال، [[جبر مجموعه‌ها]] و همچنین در تحلیل الگوریتم‌ها، استفاده از متمم مجموعه‌ها به‌صورت گسترده‌ای دیده می‌شود. به عنوان مثال، در محاسبه احتمال وقوع یک روید ...
  ۶ کیلوبایت (۲۷۳ واژه) - ۵ ژانویهٔ ۲۰۲۵، ساعت ۲۱:۰۰
• مجموعه متعدی (نظریه مجموعه‌ها)
  در [[نظریه مجموعه‌ها|نظریه مجموعه]]<nowiki/>ها یک [[مجموعه (ریاضی)|مجموعه]] ''A'' را '''گذرا''' (به [[ == مدل‌های گذرا نظریه مجموعه‌ها == ...
  ۱۱ کیلوبایت (۵۲۵ واژه) - ۱۲ ژوئن ۲۰۲۴، ساعت ۰۰:۱۸

تطبیق متن مقاله

• مجموعه توانی
  ...ود مجموعهٔ S نیز می‌شود. در [[نظریه اصل موضوعی مجموعه‌ها|نظریهٔ اصل موضوعی مجموعه‌ها]] (آنچنان که برای مثال در اصل موضوع ZFC توسعه پیدا کرده) وجود مجموعهٔ توانی ...مجموعه‌ای از <math>\mathcal{P}(S)</math> [[خانواده مجموعه‌ها|خانواده‌ای از مجموعه‌ها]] بر s نامیده می‌شود. ...
  ۲ کیلوبایت (۹۵ واژه) - ۱۵ ژانویهٔ ۲۰۲۵، ساعت ۰۹:۴۴
• مجموعه جهانی
  ...9640500550</ref> {{به انگلیسی|Universal Set}} در [[نظریه مجموعه‌ها|نظریهٔ مجموعه‌ها]] (و البته در ریاضیات)، یک [[مجموعه (ریاضی)|مجموعه]] است که تمام مجموعه‌های {{نظریه مجموعه‌ها}} ...
  ۳ کیلوبایت (۶۰ واژه) - ۲۸ مهٔ ۲۰۲۰، ساعت ۲۳:۵۴
• اصل موضوع بی‌نهایت
  ...نظریه اصل موضوعی مجموعه‌ها]]، '''اصل موضوع بی‌نهایت''' یکی از اصول موضوع [[نظریه مجموعه‌های تسرملو-فرنکل]] است. این اصل موضوع وجود حداقل یک [[مجموعه نامتناه ...ن نیز یک مجموعه یگانه است. تالی‌ها معمولاً برای تعریف اعداد طبیعی در نظریه مجموعه‌ها به کار می‌روند؛ به این [[نحو]] که صفر، مجموعه تهی و n حاصل nبار اعمال عمل ت ...
  ۳ کیلوبایت (۶۰ واژه) - ۹ ژوئن ۲۰۲۴، ساعت ۱۹:۳۲
• مجموعه‌های مجزا
  در [[نظریه مجموعه‌ها]] دو مجموعهٔ <math>A</math> و <math>B</math> '''مجموعه‌های مجزا''' {{به ا یک خانواده <math>(M_i)_{i\in I}</math> (مجموعه‌ای از مجموعه‌ها) زمانی مجزا است که تمامی اعضای آن جفت-جفت مجزا باشند، در این صورت داریم: ...
  ۳ کیلوبایت (۱۲۴ واژه) - ۹ اکتبر ۲۰۲۳، ساعت ۲۳:۱۶
• تابع انتخاب
  در [[نظریه اصل موضوعی مجموعه‌ها]] اصلی موضوعی موسوم به [[اصل موضوع انتخاب]] بیان می‌کند برای هر دسته ناتهی ...ب‌های نامتناهی را هم می‌دهد که این امر برای اثبات بسیاری از قضایای [[نظریه مجموعه‌ها]]، خصوصاً [[قضیه خوشترتیبی]] و [[لم زرن]] لازم است.<ref>"Here, moreover, we ...
  ۲ کیلوبایت (۱۴۲ واژه) - ۱۹ فوریهٔ ۲۰۲۵، ساعت ۱۰:۱۱
• عنصر نخستین
  یک '''عنصر نخستین''' {{به انگلیسی|urelement یا ur-element}} در [[نظریه مجموعه‌ها]]، نوعی شیء است که [[مجموعه (ریاضیات)|مجموعه]] نیست، ولی می‌تواند [[عنصر (ر == نظریه == ...
  ۳ کیلوبایت (۴۱ واژه) - ۱۴ ژوئن ۲۰۲۲، ساعت ۱۰:۵۴
• اصل موضوع مجموعه تهی
  از جمله اصول موضوع [[نظریه مجموعه‌های تسرملو-فرانکیل]] '''اصل موضوع مجموعه تهی''' است. * [[نظریه مجموعه ها]] ...
  ۳ کیلوبایت (۵۳ واژه) - ۱۸ مارس ۲۰۲۰، ساعت ۰۶:۲۱
• اشتراک (نظریه مجموعه‌ها)
  | field = [[مجموعه (ریاضیات)|نظریه مجموعه‌ها]] اگر S [[مجموعه (ریاضی)|مجموعه‌ای]] ناتهی از مجموعه‌ها باشد و <math>X\in S</math> عضو دلخواهی از S، اشتراک همه اعضای S که آن‌را با ...
  ۴ کیلوبایت (۲۵۶ واژه) - ۲۶ دسامبر ۲۰۲۴، ساعت ۱۵:۲۶
• فرضیه پیوستار
  ...ال [[۱۹۶۲ (میلادی)|۱۹۶۲]] [[پل کوهن]] اثبات کرد که این مسئله با اصول نظریه مجموعه‌ها (ZFC) قابل اثبات نیست. {{نظریه مجموعه‌ها}} ...
  ۳ کیلوبایت (۳۷ واژه) - ۱۰ اوت ۲۰۲۳، ساعت ۱۵:۵۸
• اصل موضوع هم‌مصداقی
  ...''زرملو-فرنکل'' است، که به [[نظریه اصل موضوعی مجموعه‌ها|نظریهٔ اصل موضوعی مجموعه‌ها]] تعلق داشته، و در شاخه‌هایی از [[منطق]]، [[ریاضیات]]، و [[علوم کامپیوتر]] اصطلاح اصل موضوع هم‌مصداقی یک اصل از نظریه مجموعه است که توسط ریچارد ددکیند در سال ۱۸۸۸ فرموله شده‌است، و تنها بیان می ...
  ۶ کیلوبایت (۹۶ واژه) - ۲ مارس ۲۰۲۴، ساعت ۰۶:۳۰
• اجتماع (نظریه مجموعه‌ها)
  ...2009-02-07}}</ref> این عمل یکی از عملیات بنیادین است که از طریق آن می‌توان مجموعه‌ها را ترکیب کرد و با هم مرتبط نمود. یک '''{{visible anchor|اجتماع پوچ|اجتماع پ اگر ''S'' [[مجموعه (ریاضی)|مجموعه‌ای]] از مجموعه‌ها باشد (یعنی ''S'' یک [[رده (مجموعه)|رده]] باشد)، مجموعه‌ای مانند ''C'' یافت ...
  ۴ کیلوبایت (۳۱۲ واژه) - ۲۸ دسامبر ۲۰۲۴، ساعت ۱۹:۱۳
• مجموعه ناچیز
  ...را تشکیل دهند؛ یعنی [[مجموعه تهی|مجموعهٔ تهی]] ناچیز باشد، [[اجتماع (نظریه مجموعه‌ها)|اجتماع]] دو مجموعه ناچیز ناچیز باشد و هر [[زیرمجموعه]] از مجموعهٔ ناچیز نا [[رده:نظریه مجموعه‌ها]] ...
  ۳ کیلوبایت (۶۷ واژه) - ۱۲ ژوئیهٔ ۲۰۲۳، ساعت ۰۴:۲۶
• افراز مجموعه
  [[پرونده:Set partition.svg|بندانگشتی|200px|افراز بر روی دایره]]در [[نظریه مجموعه‌ها]] '''اِفراز یک مجموعه''' ('''پارتیشن‌بندی یک مجموعه''')<ref>{{یادکرد فرهنگس ...ath>X</math>» به قطعه‌هایی مجزا و ناتهی است.<ref>{{یادکرد کتاب|عنوان=نظریه مجموعه‌ها و کاربردها|نویسندگان=شووینگ تی. لین و یو-فنگ. لین|ترجمه=عمید رسولیان|صفحه=ص ...
  ۴ کیلوبایت (۱۸۳ واژه) - ۵ فوریهٔ ۲۰۲۵، ساعت ۰۷:۰۵
• هم‌متناهی بودن
  ...ه چون <math>X</math>، زیرمجموعه‌ای چون <math>A</math> است که [[متمم (نظریه مجموعه‌ها)|متمم]] آن در <math>X</math> مجموعه‌ای [[متناهی]] باشد. به بیان دیگر، <math {{نظریه مجموعه‌ها-خرد}} ...
  ۲ کیلوبایت (۸۳ واژه) - ۴ دسامبر ۲۰۲۳، ساعت ۰۷:۵۲
• نمودار ون
  ...نمودار ون با سه مجموعۀ <math>A</math>، <math>B</math> و <math>C</math>.]]{{نظریه احتمالات}} ...این نمودار تمام روابط ممکن ریاضی یا [[منطق|منطقی]] مابین [[مجموعه (ریاضی)|مجموعه‌ها]] را نشان می‌دهد. این نمودار معمولاً از [[دایره|دایره‌]]<nowiki/>های [[همپو ...
  ۴ کیلوبایت (۲۷۰ واژه) - ۱۴ نوامبر ۲۰۲۴، ساعت ۰۶:۵۵
• قوانین بنیادی جبر مجموعه‌ها
  {{اصلی|جبر مجموعه‌ها}} ...تمام جبر مجموعه‌ها را در بر می‌گیرد، به این معنا که هر گزاره معتبر در جبر مجموعه‌ها می‌تواند از آن‌ها استنتاج شود. ...
  ۳ کیلوبایت (۱۲۶ واژه) - ۲۸ فوریهٔ ۲۰۲۳، ساعت ۲۰:۲۱
• تابع همانی
  === نظریّهٔ مجموعه‌ها === این تابع در [[نظریه مجموعه‌ها|نظریّهٔ مجموعه‌ها]] نیز با [[رابطه دوتایی|رابطهٔ دوتایی]] <math>f = \{(x, x)| x\in M\}</math> ...
  ۴ کیلوبایت (۱۴۱ واژه) - ۷ اوت ۲۰۲۴، ساعت ۰۹:۴۶
• اجتماع مجزا
  ...ته‌ها]]، اجتماع مجزا برابر [[:en:Coproduct|هم‌ضرب یا coproduct]] از [[رسته مجموعه‌ها]] است. از این رو اجتماع مجزا [[در حد|تاحدودی]] به صورت برابر با یک تناظر‌دو یک مجموعه <math>X</math> اجتماع مجزای سیستم مجموعه‌ها می‌شود، <math>(X_i)_{i\in I}</math> از [[زیرمجموعه|زیرمجموعه‌های]] <math>X_ ...
  ۵ کیلوبایت (۲۸۶ واژه) - ۱۶ ژانویهٔ ۲۰۲۳، ساعت ۱۹:۳۹
• اصول موضوع جایگزینی
  در [[نظریه مجموعه‌ها]]، '''اصول موضوع جایگزینی''' اصول موضوعی در [[نظریه مجموعه‌های تسرملو-فرنکل]] (ZF) هستندکه وجود تصویر هر مجموعه تحت هر نگاشت قا ...می‌گوید رده دیگر نیز مجموعه است. با این حال از آن جا که ZFC تنها درباره‌ی مجموعه‌ها صحبت می‌کند و نه رده‌های سره، این اصول موضوع برای نگاشت‌های پوشای قابل تعری ...
  ۴ کیلوبایت (۲۰۹ واژه) - ۲۵ دسامبر ۲۰۲۲، ساعت ۱۲:۴۰
• مجموعه بازگشتی
  در [[نظریه شمارش پذیری]] یک مجموعه از اعداد طبیعی '''بازگشتی'''،'''شمارش پذیر''' یا '' ...کلی تر از مجموعه‌ها شامل [[مجموعه‌های شمارش پذیر بازگشتی]] می شود.برای این مجموعه‌ها تنها لازم است که الگوریتمی وجود داشته باشد که وقتی که عدد داده شده در مجموع ...
  ۳ کیلوبایت (۱۳۲ واژه) - ۱۱ نوامبر ۲۰۲۲، ساعت ۰۶:۱۳