גישה מהירה יותר מאשר בדפדפן!
30 יחסים: L (תורת הקבוצות), V=L, ZFC, מספר סודר, משפט (מתמטיקה), משפט רמזי, משפט לוונהיים-סקולם, מונה מדיד, מונה אי נשיג, מונה על-קומפקטי, מונה קומפקטי חלש, מידת לבג, אקסיומת הבחירה, אלף אפס, אינסוף, נוסחה, סדר ליניארי, עקביות (לוגיקה), עוצמת הרצף, עוצמה (מתמטיקה), קליקה (תורת הגרפים), קבוצה בת מנייה, קורט גדל, שפה מסדר ראשון, שהרן שלח, תורת המודלים, תורת הקבוצות, גרף (תורת הגרפים), השערת הרצף, כפייה (לוגיקה מתמטית).
L (תורת הקבוצות)
בתורת הקבוצות, L או אוסף הקבוצות הניתנות לבנייה הוא מחלקה של קבוצות שבנויות באופן אינדוקטיבי בצורה מפורשת יחסית מתוך קבוצות פשוטות יותר.
חָדָשׁ!!: מונה גדול וL (תורת הקבוצות) · ראה עוד »
V=L
#הפניה אקסיומת הבנייה.
חָדָשׁ!!: מונה גדול וV=L · ראה עוד »
ZFC
#הפניה תורת הקבוצות האקסיומטית.
חָדָשׁ!!: מונה גדול וZFC · ראה עוד »
מספר סודר
בתורת הקבוצות, מספר סודר (באנגלית: Ordinal number) הוא טיפוס סדר של קבוצה סדורה היטב.
חָדָשׁ!!: מונה גדול ומספר סודר · ראה עוד »
משפט (מתמטיקה)
במתמטיקה, משפט (בלועזית: תאורמה; באנגלית: Theorem) הוא פסוק שניתן להוכיח אותו במסגרת מערכת אקסיומות מסוימת.
חָדָשׁ!!: מונה גדול ומשפט (מתמטיקה) · ראה עוד »
משפט רמזי
בקומבינטוריקה, משפט רמזי (באנגלית: Ramsey's theorem) עוסק במבנים המוכרחים להופיע בגרף שלם שהקשתות שלו צבועות בשני צבעים, נאמר אדום וכחול.
חָדָשׁ!!: מונה גדול ומשפט רמזי · ראה עוד »
משפט לוונהיים-סקולם
בלוגיקה מתמטית, משפט לוונהיים-סקולם הוא משפט יסודי בתורת המודלים שקובע שאם לתורה בשפה בת מנייה מסדר ראשון יש מודל אינסופי, אז יש לה מודל מכל עוצמה אינסופית.
חָדָשׁ!!: מונה גדול ומשפט לוונהיים-סקולם · ראה עוד »
מונה מדיד
בתורת הקבוצות, מונה מדיד הוא סוג מרכזי של מונה גדול.
חָדָשׁ!!: מונה גדול ומונה מדיד · ראה עוד »
מונה אי נשיג
בתורת הקבוצות, מונה אי-נשיג או מונה בלתי-נגיש הוא סוג של מונה גדול.
חָדָשׁ!!: מונה גדול ומונה אי נשיג · ראה עוד »
מונה על-קומפקטי
בתורת הקבוצות, מונה על-קומפקטי הוא סוג מסוים של מונה גדול.
חָדָשׁ!!: מונה גדול ומונה על-קומפקטי · ראה עוד »
מונה קומפקטי חלש
בתורת הקבוצות, מונה קומפקטי חלש (Weakly Compact Cardinal) הוא סוג של מונה גדול.
חָדָשׁ!!: מונה גדול ומונה קומפקטי חלש · ראה עוד »
מידת לבג
מידת לֵבֵּג היא פונקציית מידה על שדה המספרים הממשיים, שמהווה הכללה של מושג האורך (אפשר להכליל מידת לבג של נפח על המרחב \mathbb^n).
חָדָשׁ!!: מונה גדול ומידת לבג · ראה עוד »
אקסיומת הבחירה
אקסיומת הבחירה היא אחת האקסיומות של תורת הקבוצות האקסיומטית לפיה, בהינתן אוסף של קבוצות לא ריקות, ניתן לבחור איבר אחד מכל קבוצה.
חָדָשׁ!!: מונה גדול ואקסיומת הבחירה · ראה עוד »
אלף אפס
\!\, \aleph_0 (אָלֶף אֶפֶס) הוא הסימון המקובל בתורת הקבוצות לעוצמה של קבוצת המספרים הטבעיים, שהיא העוצמה האינסופית הקטנה ביותר.
חָדָשׁ!!: מונה גדול ואלף אפס · ראה עוד »
אינסוף
אינסוף (תו: ∞) הוא מונח עם משמעויות שונות במתמטיקה, בפילוסופיה, בתאולוגיה ובשפת היומיום, המתייחס להיעדר גבול כמותי, מרחבי, זמני, או רעיוני.
חָדָשׁ!!: מונה גדול ואינסוף · ראה עוד »
נוסחה
נוסחאות, במתמטיקה, בפיזיקה ובכימיה, בבול ישראלי נוסחה, במתמטיקה ובמדע, היא דרך קומפקטית וסימבולית לכתיבת מידע או להצגת קשר כמותי בין גורמים אחדים.
חָדָשׁ!!: מונה גדול ונוסחה · ראה עוד »
סדר ליניארי
#הפניה סדר מלא.
חָדָשׁ!!: מונה גדול וסדר ליניארי · ראה עוד »
עקביות (לוגיקה)
במתמטיקה ובלוגיקה, עקביות (או קונסיסטנטיות, קוהרנטיות) של מערכת מסוימת פירושה שמערכת זו היא נטולת סתירות.
חָדָשׁ!!: מונה גדול ועקביות (לוגיקה) · ראה עוד »
עוצמת הרצף
עוצמת הרצף היא העוצמה של קבוצת המספרים הממשיים, קרי |\mathbb R|.
חָדָשׁ!!: מונה גדול ועוצמת הרצף · ראה עוד »
עוצמה (מתמטיקה)
המונח המתמטי עוצמה, מספר קרדינלי או מספר מונה מתאר גודל של קבוצה שאינו תלוי בתכונות האיברים בקבוצה או בקשרים ביניהם.
חָדָשׁ!!: מונה גדול ועוצמה (מתמטיקה) · ראה עוד »
קליקה (תורת הגרפים)
גרף בעל 2 קליקות בגודל 4 (כחול כהה), 19 קליקות בגודל 3 (כחול בהיר), 42 קליקות מגודל 2 (קשתות) ו-23 קליקות בגודל אחד (קודקודים). מספר הקליקה של הגרף הוא 4. בתורת הגרפים, קליקה היא קבוצת קודקודים בגרף בלתי מכוון, אשר כל זוג קודקודים שונים בה מחובר על ידי קשת; כלומר, תת-הגרף המושרה על ידה מהווה גרף שלם.
חָדָשׁ!!: מונה גדול וקליקה (תורת הגרפים) · ראה עוד »
קבוצה בת מנייה
בתורת הקבוצות, קבוצה בַּת מְנִיָּה היא קבוצה שקיימת פונקציה חד־חד ערכית ממנה לקבוצת המספרים הטבעיים.
חָדָשׁ!!: מונה גדול וקבוצה בת מנייה · ראה עוד »
קורט גדל
קורט גֶדֶל (בגרמנית:; 28 באפריל 1906 – 14 בינואר 1978) היה לוגיקן ומתמטיקאי אוסטרי שהיגר לארצות הברית.
חָדָשׁ!!: מונה גדול וקורט גדל · ראה עוד »
שפה מסדר ראשון
בלוגיקה מתמטית, שפה מסדר ראשון (נקראת גם לוגיקה מסדר ראשון או תחשיב היחסים או תחשיב פרדיקטים מסדר ראשון, בסימון מקובל FOL) היא מנגנון חישוב לניסוח טענות פורמליות כלליות, כל עוד מסתפקים בכימות על אברים במודל.
חָדָשׁ!!: מונה גדול ושפה מסדר ראשון · ראה עוד »
שהרן שלח
שַׂהֲרֹן שֶׁלַח (נולד ב-3 ביולי 1945) הוא מתמטיקאי ישראלי, פרופסור אמריטוס למתמטיקה באוניברסיטה העברית בירושלים ובאוניברסיטת רטגרס בניו ג'רזי, ארצות הברית.
חָדָשׁ!!: מונה גדול ושהרן שלח · ראה עוד »
תורת המודלים
תורת המודלים היא תחום במתמטיקה העוסק בחקר מודלים של תורות מתמטיות, תוך שימוש בכלים מלוגיקה מתמטית.
חָדָשׁ!!: מונה גדול ותורת המודלים · ראה עוד »
תורת הקבוצות
תורת הקבוצות היא תורה מתמטית בסיסית העוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים שונים זה מזה.
חָדָשׁ!!: מונה גדול ותורת הקבוצות · ראה עוד »
גרף (תורת הגרפים)
גרף לא מכוון בעל 6 קודקודים ו-7 קשתות גרף מכוון בעל 4 קודקודים ו-5 קשתות בתורת הגרפים, גרף הוא ייצוג מופשט של קבוצה של אובייקטים, כאשר כל זוג אובייקטים בקבוצה עשויים להיות מקושרים זה לזה.
חָדָשׁ!!: מונה גדול וגרף (תורת הגרפים) · ראה עוד »
השערת הרצף
השערת הרצף היא טענה שהעלה אבי תורת הקבוצות, גאורג קנטור, לפיה עוצמת הרצף (מסומנת: 2^או |\mathbb R|) היא העוצמה הקטנה ביותר האפשרית של קבוצה שאינה בת מנייה (אומגה אחת).
חָדָשׁ!!: מונה גדול והשערת הרצף · ראה עוד »
כפייה (לוגיקה מתמטית)
ממוזער בלוגיקה מתמטית, כפייה (באנגלית: Forcing) היא טכניקה רבת עוצמה, המאפשרת לבנות מודלים של תורת הקבוצות שבהם מתקיימות טענות שונות, שלאו דווקא נובעות ממערכת האקסיומות המקורית.
חָדָשׁ!!: מונה גדול וכפייה (לוגיקה מתמטית) · ראה עוד »
אזכור
[1] https://he.wikipedia.org/wiki/מונה_גדול
