תוכן עניינים
113 יחסים: HRU (אבטחה), ממד VC, מאורע, מנייה, מסנן (תורת הקבוצות), מספר טרנספיניטי, מספר טבעי, מספרים גדולים, מערכות מספרים, מרחב קמור מקומית, מרחב שרפינסקי, משפט פון נוימן-מורגנשטרן, משפט קנטור, משפט גרונוולד-ואנג, משפט המיון לחבורות פשוטות סופיות, משפט הקומפקטיות, משחק סטוכסטי, משוואת המחלקות, מבחן טיורינג, מונואיד (מבנה אלגברי), מכפלה ריקה, מידת המניה, מידה סיגמא-סופית, אנליזה לא סטנדרטית, אקסיומת הקבוצה האינסופית, אריתמטיקה, אלפבית (שפה פורמלית), אלגברה (מבנה אלגברי), אלגברה בוליאנית (מבנה אלגברי), אלגוריתמים לחיפוש מחרוזות, אלגוריתם רו של פולרד ללוגריתם הדיסקרטי, אוטומט מחסנית, אוטומט סופי, אוטומט סופי דטרמיניסטי, אי-שוויון קראפט, אינסוף, אינטגרל לבג, אינוולוציה (מתמטיקה), איבר (מתמטיקה), נוצר סופית, סריג (מבנה סדור), סופיות, סיווג בייסיאני נאיבי, עצמאות (לוגיקה מתמטית), עקרון החיבור, עקרון הכפל, ערך מוחלט, פעולה (מתמטיקה), פרדוקס הסוסים, פונקציה, ... להרחיב מדד (63 יותר) »
HRU (אבטחה)
מודל HRU (מודל Harrison, Ruzzo, Ullman) הוא מודל אבטחת מידע ברמת מערכת ההפעלה אשר מטפל בשלמות זכויות הגישה במערכת.
לִרְאוֹת קבוצה סופית וHRU (אבטחה)
ממד VC
ממד VC (באנגלית: VC Dimension או Vapnik–Chervonenkis dimension; קרוי על שם הוגיו ולדימיר ופניק ואלכסיי צ'רבוננקיס) הוא מדד בתחום הלמידה החישובית המתאר את רמת כושר ההפרדה (הקיבולת, הסיבוכיות או העושר) של קבוצת מסווגים שניתנת ללמידה באמצעות אלגוריתם למידה סטטיסטית.
לִרְאוֹת קבוצה סופית וממד VC
מאורע
בתורת ההסתברות, מאורע הוא מצב שניתן לייחס לו הסתברות.
לִרְאוֹת קבוצה סופית ומאורע
מנייה
ספירה באמצעות קווים בקבוצות של חמישה קווים מְנִיָּה היא הפעילות של מציאת מספר העצמים הנכללים בקבוצה סופית נתונה, או הפרדת מספר נתון של עצמים מתוך קבוצה נתונה.
לִרְאוֹת קבוצה סופית ומנייה
מסנן (תורת הקבוצות)
בתורת הקבוצות, מסנן מעל קבוצה X הוא: משפחה לא ריקה של תת-קבוצות של X, הסגורה להגדלה ולחיתוך סופי, ואינה כוללת את הקבוצה הריקה.
לִרְאוֹת קבוצה סופית ומסנן (תורת הקבוצות)
מספר טרנספיניטי
מספר טרנספיניטי הוא מספר הגדול מאשר כל מספר סופי.
לִרְאוֹת קבוצה סופית ומספר טרנספיניטי
מספר טבעי
במתמטיקה מספר טבעי הוא מספר שלם חיובי, המתאר מספר איברים בקבוצה סופית, כמו 1,2,3 או כמו 72.
לִרְאוֹת קבוצה סופית ומספר טבעי
מספרים גדולים
המונח מספר גדול מתייחס לרוב למספר טבעי הגדול משמעותית ממספרים בהם נתקלים לרוב בחיי היום-יום, ולרוב הכוונה למספרים עם עשרות ספרות ויותר.
לִרְאוֹת קבוצה סופית ומספרים גדולים
מערכות מספרים
דיאגרמת ון של מערכות מספרים במתמטיקה, מערכת מספרים היא קבוצה של מספרים, או עצמים הדומים למספרים, שמוגדרות בה פעולות אריתמטיות כגון חיבור וכפל.
לִרְאוֹת קבוצה סופית ומערכות מספרים
מרחב קמור מקומית
במתמטיקה, ובפרט באנליזה פונקציונלית, מרחב קמור מקומית הוא מרחב וקטורי טופולוגי בעל בסיס סביבות מקומי הבנוי מקבוצות פתוחות קמורות לחלוטין.
לִרְאוֹת קבוצה סופית ומרחב קמור מקומית
מרחב שרפינסקי
בטופולוגיה, מרחב שרפינסקי הוא מרחב טופולוגי בעל שני איברים.
לִרְאוֹת קבוצה סופית ומרחב שרפינסקי
משפט פון נוימן-מורגנשטרן
משפט פון נוימן-מורגנשטרן בתורת ההחלטות הוא משפט האפיון של פונקציית התועלת, והוא קובע שאם לשחקן יחס ההעדפות שלם וטרנזיטיבי, ואם יחס ההעדפות מקיים ארבע אקסיומות מסוימות, אז ניתן לתאר את יחס ההעדפות של השחקן באמצעות פונקציית תועלת ליניארית.
לִרְאוֹת קבוצה סופית ומשפט פון נוימן-מורגנשטרן
משפט קנטור
גאורג קנטור משפט קנטור הוא משפט מתמטי בתורת הקבוצות, הקובע שהעוצמה של כל קבוצה קטנה מהעוצמה של קבוצת החזקה שלה.
לִרְאוֹת קבוצה סופית ומשפט קנטור
משפט גרונוולד-ואנג
בתורת המספרים האלגברית, משפט גרונוולד-ואנג קובע שפרט ליוצאי דופן ידועים, איבר של שדה מספרים \ K הוא חזקת-n של מספר אחר, אם ורק אם הוא חזקת-n כמעט בכל השלמה \ K_.
לִרְאוֹת קבוצה סופית ומשפט גרונוולד-ואנג
משפט המיון לחבורות פשוטות סופיות
משפט המיון של החבורות הפשוטות הסופיות הוא משפט מתמטי הקובע כי כל חבורה פשוטה סופית נמצאת באחת מ-4 הקטגוריות המתוארות למטה.
לִרְאוֹת קבוצה סופית ומשפט המיון לחבורות פשוטות סופיות
משפט הקומפקטיות
משפט הקומפקטיות הוא משפט מרכזי בלוגיקה המתמטית, המאפשר לטפל במערכות אינסופיות של אקסיומות על ידי הבנת חלקים סופיים שלהן.
לִרְאוֹת קבוצה סופית ומשפט הקומפקטיות
משחק סטוכסטי
משחק סטוכסטי הוא מושג בתורת המשחקים המשמש לתיאור משחק דינמי עם מעברים הסתברותיים, בו משחק אדם אחד או יותר.
לִרְאוֹת קבוצה סופית ומשחק סטוכסטי
משוואת המחלקות
בתורת החבורות, משוואת המחלקות של חבורה סופית G היא השוויון: כאשר Z(G) הוא המרכז של G, C(g) הוא המְרַכֵּז של g (תת-חבורת האיברים שמתחלפים עם g) ו-I היא קבוצת נציגים של מחלקות הצמידות ב-G של איברים שאינם ב-Z(G).
לִרְאוֹת קבוצה סופית ומשוואת המחלקות
מבחן טיורינג
איור המתאר את מבחן טיורינג מבחן טיורינג הוא כינוי למבחן שהציע אלן טיורינג בשנת 1950, במאמר שפרסם בכתב העת Mind, כמדד אפשרי למידה שבה יש למכונה כלשהי אינטליגנציה.
לִרְאוֹת קבוצה סופית ומבחן טיורינג
מונואיד (מבנה אלגברי)
מונואיד (או: יחידון) הוא מבנה אלגברי הכולל קבוצה, פעולה בינארית אסוציאטיבית, ואיבר יחידה.
לִרְאוֹת קבוצה סופית ומונואיד (מבנה אלגברי)
מכפלה ריקה
במתמטיקה, מכפלה ריקה היא מכפלה ללא גורמים, והיא שווה ליחידה הכפלית, 1.
לִרְאוֹת קבוצה סופית ומכפלה ריקה
מידת המניה
במתמטיקה בתחום תורת המידה מידת המניה היא דרך אינטואיטיבית להגדיר פונקציית מידה על כל קבוצה: ה"גודל" של תת-קבוצה הוא מספר האיברים בה כאשר היא קבוצה סופית ואינסוף כאשר היא קבוצה אינסופית.
לִרְאוֹת קבוצה סופית ומידת המניה
מידה סיגמא-סופית
בתורת המידה, ניתן לייחס למידה \mu על מרחב מדיד \left(X,\mathcal\right) מספר תכונות של "סופיות", אשר במובן מסוים מגבילות את גודל המרחב והופכות את הטיפול בו לנוח ומעשי יותר.
לִרְאוֹת קבוצה סופית ומידה סיגמא-סופית
אנליזה לא סטנדרטית
אנליזה לא סטנדרטית היא ענף במתמטיקה המבוסס על מודלים לא סטנדרטיים של הישר הממשי, שבהם יש מובן מדויק למושג האינפיניטסימל ולמושגים הנגזרים ממנו כגון נגזרת ואינטגרל.
לִרְאוֹת קבוצה סופית ואנליזה לא סטנדרטית
אקסיומת הקבוצה האינסופית
אקסיומת הקבוצה האינסופית (או אקסיומת האינסוף) היא אחת האקסיומות של תורת הקבוצות האקסיומטית.
לִרְאוֹת קבוצה סופית ואקסיומת הקבוצה האינסופית
אריתמטיקה
האריתמטיקה והרטוריקה - שתיים מבין שבע האמנויות החופשיות. פסלם של ניקולא פיזאנו וג'ובאני פיזאנו, פונטנה מאג'ורה, פרוג'ה. אָריתמֶטיקה (מהמילה היוונית αριθμός, אריתמוֹס, שפירושה מספר), הידועה גם בשם חשבון, היא הענף העתיק והבסיסי ביותר במתמטיקה.
לִרְאוֹת קבוצה סופית ואריתמטיקה
אלפבית (שפה פורמלית)
בשפות פורמליות, אלפבית היא קבוצה לא ריקה של סמלים, הנחשבת בדרך כלל כמייצגת אותיות, תווים, או סְפָּרות אך ייתכן גם שה"סמלים" הללו יהיו קבוצת פונמות (צליל בודד).
לִרְאוֹת קבוצה סופית ואלפבית (שפה פורמלית)
אלגברה (מבנה אלגברי)
במתמטיקה, אלגברה מעל חוג היא מודול מעל חוג חילופי ופעולה בינארית ("כפל") ביליניארית בין שני איברים שהופכת את המודול לחוג.
לִרְאוֹת קבוצה סופית ואלגברה (מבנה אלגברי)
אלגברה בוליאנית (מבנה אלגברי)
במתמטיקה, ובמיוחד בתורת הקבוצות, אלגברה בּוּליאנית הוא סוג של מבנה אלגברי, הקרוי על-שמו של המתמטיקאי האנגלי ג'ורג' בול (1815-1864).
לִרְאוֹת קבוצה סופית ואלגברה בוליאנית (מבנה אלגברי)
אלגוריתמים לחיפוש מחרוזות
במדעי המחשב, אלגוריתמים לחיפוש מחרוזות , לעיתים נקראים גם אלגוריתמים להתאמת מחרוזות, הם מחלקה חשובה של אלגוריתמים על מחרוזות המנסים למצוא היכן מחרוזת אחת או יותר (נקראות גם תבניות) מופיעות בתוך מחרוזת או טקסט גדולים יותר.
לִרְאוֹת קבוצה סופית ואלגוריתמים לחיפוש מחרוזות
אלגוריתם רו של פולרד ללוגריתם הדיסקרטי
בתורת המספרים ובקריפטוגרפיה, אלגוריתם רו של פולרד ללוגריתם הדיסקרטי (באנגלית: Pollard’s rho algorithm for discrete logarithms) הוא אלגוריתם הסתברותי לחישוב לוגריתם בדיד בחבורה ציקלית סופית מסדר ראשוני עם זמן ריצה דומה לשיטת כוח גס גנרית הנקראת אלגוריתם צעד-קטן צעד-גדול אך עם צריכת זיכרון שולית ביחס אליה.
לִרְאוֹת קבוצה סופית ואלגוריתם רו של פולרד ללוגריתם הדיסקרטי
אוטומט מחסנית
מצבים: שני מצבים מקבלים (מסומנים בעיגול כפול) ושני מצבים שאינם מקבלים (מסומנים בעיגול בודד). במדעי המחשב, אוטומט מחסנית (באנגלית: Pushdown automaton, ובראשי תיבות: PDA) הוא מודל חישובי, שמהווה הרחבה של מודל האוטומט הסופי (הדטרמיניסטי), על ידי הוספת מחסנית, שבה האוטומט מסוגל לאחסן מידע (משמע, לאוטומט יש יכולת זיכרון).
לִרְאוֹת קבוצה סופית ואוטומט מחסנית
אוטומט סופי
נורה מתואר כאוטומט סופי (בייצוגו כגרף מכוון). בתורת החישוביות במדעי המחשב, אוטומט סופי (או מכונת מצבים) הוא מכונה מופשטת בעלת זיכרון מוגבל בגודלו, המגדירה שפה פורמלית רגולרית.
לִרְאוֹת קבוצה סופית ואוטומט סופי
אוטומט סופי דטרמיניסטי
בתורת החישוביות, אוטומט סופי דטרמיניסטי (להלן: אס"ד) הוא מודל מתמטי, המגדיר שפה פורמלית.
לִרְאוֹת קבוצה סופית ואוטומט סופי דטרמיניסטי
אי-שוויון קראפט
בתורת האינפורמציה, אי-שוויון קראפט (Kraft's Inequality) מתאר תנאי מספיק והכרחי לשיוך קבוצת מילים לצמתי עץ, כך שלא תשויך יותר ממילה אחת לאורך כל מסלול היוצא מהראש.
לִרְאוֹת קבוצה סופית ואי-שוויון קראפט
אינסוף
אינסוף (תו: ∞) הוא מונח עם משמעויות שונות במתמטיקה, בפילוסופיה, בתאולוגיה ובשפת היומיום, המתייחס להיעדר גבול כמותי, מרחבי, זמני, או רעיוני.
לִרְאוֹת קבוצה סופית ואינסוף
אינטגרל לבג
אינטגרל לבג הוא הכללה של אינטגרל רימן לפונקציות מדידות שפותחה על ידי המתמטיקאי אנרי לבג במסגרת מחקרו בתורת המידה.
לִרְאוֹת קבוצה סופית ואינטגרל לבג
אינוולוציה (מתמטיקה)
הפעלת אינוולוציה פעמיים מחזירה את האיבר המקורי במתמטיקה, אינוולוציה היא פונקציה שהיא ההופכית של עצמה.
לִרְאוֹת קבוצה סופית ואינוולוציה (מתמטיקה)
איבר (מתמטיקה)
בתורת הקבוצות, איבר הוא פריט מתוך קבוצה.
לִרְאוֹת קבוצה סופית ואיבר (מתמטיקה)
נוצר סופית
באלגברה מופשטת, מבנה אלגברי נוצר סופית אם אפשר לקבל כל איבר שלו מתוך קבוצה סופית של איברים.
לִרְאוֹת קבוצה סופית ונוצר סופית
סריג (מבנה סדור)
בתורת הקבוצות, סריג הוא קבוצה עם יחס סדר חלקי, שבו לכל שני איברים a,b יש אינפימום וסופרמום.
לִרְאוֹת קבוצה סופית וסריג (מבנה סדור)
סופיות
הסוּפיות או סוּפיזם (בערבית: صوفية; בתעתיק מדויק: צופיה) היא זרם מיסטי באסלאם, השם את הדגש על האהבה והכוונה שבעשייה, יותר מאשר על ההלכה עצמה.
לִרְאוֹת קבוצה סופית וסופיות
סיווג בייסיאני נאיבי
סיווג בייסיאני נאיבי (באנגלית: Naive Bayes classifier) בלמידת מכונה הוא אוסף שיטות סיווג, המבוססות על חוק בייס ועל ההנחה ה"נאיבית" שאין תלות בין תכונות האובייקטים המסווגים כאשר כבר ידוע סיווגם.
לִרְאוֹת קבוצה סופית וסיווג בייסיאני נאיבי
עצמאות (לוגיקה מתמטית)
בלוגיקה מתמטית, טענה שלא ניתן להוכיח אותה, וגם לא את שלילתה, מתוך מערכת נתונה של אקסיומות, היא טענה עצמאית ביחס לאותה מערכת.
לִרְאוֹת קבוצה סופית ועצמאות (לוגיקה מתמטית)
עקרון החיבור
עֶקְרוֹן הַחִיבּוּר הוא עיקרון יסודי בקומבינטוריקה המופיע בצורות שונות בתחומים רבים במתמטיקה.
לִרְאוֹת קבוצה סופית ועקרון החיבור
עקרון הכפל
עקרון הכפל הוא עיקרון יסודי בקומבינטוריקה המופיע בצורות שונות בתחומים רבים במתמטיקה.
לִרְאוֹת קבוצה סופית ועקרון הכפל
ערך מוחלט
במתמטיקה, ערך מוחלט הוא פונקציה המודדת את גודלם של איברים בשדה.
לִרְאוֹת קבוצה סופית וערך מוחלט
פעולה (מתמטיקה)
סימני ארבע פעולות החשבון האלמנטריות.במתמטיקה, פעולה היא פונקציה שנותנת ערך פלט מוגדר היטב בעבור אפס או יותר ערכי קלט הנקראים ארגומנטים.
לִרְאוֹת קבוצה סופית ופעולה (מתמטיקה)
פרדוקס הסוסים
פרדוקס הסוסים הוא טיעון מפורסם ה"מוכיח", תוך שימוש שגוי בעקרון האינדוקציה המתמטית, את התוצאה האבסורדית כי לכל הסוסים בעולם אותו צבע.
לִרְאוֹת קבוצה סופית ופרדוקס הסוסים
פונקציה
פונקציה המתאימה לכל צורה את הצבע שלה פונקציה היא התאמה המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה. במתמטיקה, פוּנְקְצִיָּה (נקראת גם העתקה) היא התאמה, המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה.
לִרְאוֹת קבוצה סופית ופונקציה
פונקציה על
במתמטיקה, פונקציה מקבוצה A לקבוצה B היא על אם כל איבר בקבוצה B מתקבל כערך של הפונקציה.
לִרְאוֹת קבוצה סופית ופונקציה על
פונקציית מדרגות
דוגמה לפונקציית מדרגות (הגרף האדום) פונקציית מדרגות היא פונקציה על המספרים הממשיים שניתן להציגה כצירוף ליניארי סופי של פונקציות מציינות של קטעים.
לִרְאוֹת קבוצה סופית ופונקציית מדרגות
פולינום
במתמטיקה, פולינום במשתנה \ x הוא ביטוי מהצורה \ a_0 + a_1 x + \cdots + a_n x^n כאשר \ a_0,a_1,\dots,a_n הם קבועים; למשל, 3x^2+7x-5.
לִרְאוֹת קבוצה סופית ופולינום
פיניטיזם
בפילוסופיה של המתמטיקה, פיניטיזם הוא גישה שמקבלת את הקיום של עצמים מתמטיים סופיים בלבד.
לִרְאוֹת קבוצה סופית ופיניטיזם
צמצום (תורת החוגים)
בתורת החוגים, צמצום הוא התכונה המאפשרת לצמצם מודול, כלומר להסיק מאיזומורפיזם A \oplus B \cong A \oplus B' את האיזומורפיזם B \cong B'.
לִרְאוֹת קבוצה סופית וצמצום (תורת החוגים)
צפיפות (תורת המספרים)
תורת המספרים עוסקת בין השאר בקבוצות אינסופיות של מספרים טבעיים, ובהשוואה ביניהן.
לִרְאוֹת קבוצה סופית וצפיפות (תורת המספרים)
צפיפות שנירלמן
בתורת המספרים, צפיפות שנירלמן היא מדד לצפיפות של קבוצת מספרים בתוך קבוצת המספרים הטבעיים.
לִרְאוֹת קבוצה סופית וצפיפות שנירלמן
צירוף אפיני
במתמטיקה, צירוף אפיני של וקטורים x1,..., xn הוא צירוף ליניארי שבו סכום המקדמים הוא 1, כלומר: הווקטורים משוכנים במרחב וקטורי V מעל שדה K; והמקדמים \alpha _ הם סקלרים ב-K. מושג זה חשוב בגאומטריה אוקלידית.
לִרְאוֹת קבוצה סופית וצירוף אפיני
קבוצת קנטור
במתמטיקה, קבוצת קנטור היא קבוצה של מספרים, שמקיימת את התנאי הבא: מתחילים מקטע ישר; מסירים מהקטע את השליש המרכזי שלו, ומקבלים שני קטעים קטנים יותר; על כל אחד מהם, מבצעים את אותה פעולה (הסרת השליש האמצעי); מבצעים את אותה פעולה על ארבעת הקטעים שנותרו, וכך הלאה עד אינסוף.
לִרְאוֹת קבוצה סופית וקבוצת קנטור
קבוצת החזקה
בתורת הקבוצות, קבוצת החזקה של קבוצה נתונה A היא קבוצת כל תת הקבוצות של A, ומסמנים אותה ב־ \mathcal(A).
לִרְאוֹת קבוצה סופית וקבוצת החזקה
קבוצה (מתמטיקה)
קבוצה היא מושג יסודי במתמטיקה.
לִרְאוֹת קבוצה סופית וקבוצה (מתמטיקה)
קבוצה אינסופית
קבוצה אינסופית היא קבוצה שמספר איבריה אינו סופי, כלומר קבוצה שאינה קבוצה סופית.
לִרְאוֹת קבוצה סופית וקבוצה אינסופית
קבוצה קומפקטית
בטופולוגיה, קבוצה קומפקטית היא תת-קבוצה של מרחב טופולוגי, המקיימת את התכונה הבאה: מכל כיסוי פתוח של הקבוצה, אפשר לשלוף תת-כיסוי סופי (ראו ההגדרות להלן).
לִרְאוֹת קבוצה סופית וקבוצה קומפקטית
קבוצה חסומה
בטופולוגיה, תת-קבוצה של מרחב מטרי היא קבוצה חסומה אם היא מוכלת בכדור.
לִרְאוֹת קבוצה סופית וקבוצה חסומה
קבוצה בת מנייה
בתורת הקבוצות, קבוצה בַּת מְנִיָּה היא קבוצה שקיימת פונקציה חד־חד ערכית ממנה לקבוצת המספרים הטבעיים.
לִרְאוֹת קבוצה סופית וקבוצה בת מנייה
קבוצות שקולות
בתורת הקבוצות, נאמר על שתי קבוצות שהן שקולות אם קיימת פונקציה חד-חד-ערכית ועל מן האחת לשנייה.
לִרְאוֹת קבוצה סופית וקבוצות שקולות
קדם-מידה
בתורת המידה, קדם-מידה (באנגלית: Pre-measure) היא פונקציה שהיא "כמעט" פונקציית מידה, במובן זה שמשפחת הקבוצות שהיא מודדת אינה מהווה סיגמא-אלגברה.
לִרְאוֹת קבוצה סופית וקדם-מידה
קומבינטוריקה
קוֹמְבִּינָטוֹרִיקָה היא ענף במתמטיקה בדידה, העוסק במנייה, גם בתור דרך וגם בתור תוצאה להשגת תוצאות, ובתכונות מסוימות של מבנים סופיים שונים.
לִרְאוֹת קבוצה סופית וקומבינטוריקה
קול
יצירתו של האמן וינסנצו סוקו (Vincenzo Succo) המציגה מכשירים היכולים להשמיע קולות זמרת המכוונת את קולה למיקרופון, אשר משמש להגברה של הקול. קול במובן צליל הוא תופעה פיזית ומתפשטת בחומר, אשר יכולה להיקלט על ידי איבר או מכשיר שמיעה ולהיות מתורגמת לחוויה חושית שמיעתית.
לִרְאוֹת קבוצה סופית וקול
קוטר עלסופי
באנליזה מתמטית של מרחבים מטריים, הקוטר העלסופי של קבוצה קומפקטית הוא מספר המודד את גודל הקבוצה באופן שמדמה פיזור של מטען חשמלי, בדומה לקיבול אלקטרוסטטי.
לִרְאוֹת קבוצה סופית וקוטר עלסופי
קירוב דיופנטי
בתורת המספרים, קירוב דיופנטי של מספר ממשי נתון הוא מספר רציונלי קרוב אל המספר המבוקש.
לִרְאוֹת קבוצה סופית וקירוב דיופנטי
קיומם של אינסוף מספרים ראשוניים
עובדת קיומם של אינסוף מספרים ראשוניים הוכחה לראשונה על ידי המתמטיקאי היווני אוקלידס (יסודות, ספר IX).
לִרְאוֹת קבוצה סופית וקיומם של אינסוף מספרים ראשוניים
רשת פטרי
רשת פטרי היא גרף דו-צדדי המשמש למידול מתמטי של מערכות מבוזרות.
לִרְאוֹת קבוצה סופית ורשת פטרי
שפה פורמלית
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית \Sigma.
לִרְאוֹת קבוצה סופית ושפה פורמלית
שרשרת מרקוב
שרשרת מרקוב לתיאור מזג האוויר שרשרת מרקוב (באנגלית: Markov Chain) היא מודל הסתברותי המשמש בדרך-כלל לתיאור התפתחות של תהליכים כסדרה של מצבים.
לִרְאוֹת קבוצה סופית ושרשרת מרקוב
שלמות
שלמות (באנגלית: Completeness) בלוגיקה ובלוגיקה מתמטית היא תכונה של מערכת אקסיומטית.
לִרְאוֹת קבוצה סופית ושלמות
שיטת בורדה
שיטת בורדה (borda's method) היא שיטת בחירות שבה נבחר המועמד שסך מספר המועמדים המדורגים תחתיו מכל אחד מהבוחרים - הוא הגבוה ביותר.
לִרְאוֹת קבוצה סופית ושיטת בורדה
תמורה (מתמטיקה)
6 התמורות האפשריות של שלושה עצמים (כל שורה מייצגת תמורה) תְּמוּרָה או פֶּרְמוּטַצְיָה היא פונקציה חד-חד-ערכית ועל מקבוצה לעצמה.
לִרְאוֹת קבוצה סופית ותמורה (מתמטיקה)
תורת המודלים
תורת המודלים היא תחום במתמטיקה העוסק בחקר מודלים של תורות מתמטיות, תוך שימוש בכלים מלוגיקה מתמטית.
לִרְאוֹת קבוצה סופית ותורת המודלים
תורת האוטומטים
נורה כאוטומט סופי אוטומט סופי הוא מכונה מופשטת בתורת החישוביות במדעי המחשב, שהיא בעלת זיכרון מוגבל ומגדירה שפה פורמלית רגולרית.
לִרְאוֹת קבוצה סופית ותורת האוטומטים
תורת האוטומטים - מונחים
תורת האוטומטים היא ענף בחישוביות העוסק בחקר מודלים מתמטיים כדוגמת האוטומט הסופי ואוטומט המחסנית.
לִרְאוֹת קבוצה סופית ותורת האוטומטים - מונחים
תורת ההוכחות
תורת ההוכחות היא ענף בלוגיקה מתמטית החוקר את מושג ההוכחה הפורמלית, באופן שאינו תלוי בתוכנו של הטיעון, אלא במבנה שלו ושל ההוכחה בלבד.
לִרְאוֹת קבוצה סופית ותורת ההוכחות
תורה אפקטיבית
בלוגיקה מתמטית, תורה אפקטיבית היא תורה שקיימת מכונת טיורינג שמכריעה את קבוצת האקסיומות וצעדי ההיקש שלה.
לִרְאוֹת קבוצה סופית ותורה אפקטיבית
תכנון ליניארי
בעיית תכנון ליניארי היא בעיית אופטימיזציה של ביטוי ליניארי תחת אילוצים ליניאריים.
לִרְאוֹת קבוצה סופית ותכנון ליניארי
תכנון בלוקים
תכנון בלוקים מאוזן הוא מבנה קומבינטורי שבו מאורגנים באופן סימטרי בלוקים של נקודות בקבוצה סופית.
לִרְאוֹת קבוצה סופית ותכנון בלוקים
תכונת החיתוך הסופי
אוסף קבוצות מקיים את תכונת החיתוך הסופי אם לכל תת-אוסף סופי שלו חיתוך לא ריק.
לִרְאוֹת קבוצה סופית ותכונת החיתוך הסופי
למת המקומיות של לובאס
למת המקומיות של לובאס (באנגלית: Lovász Local Lemma) היא למה בתורת ההסתברות אשר פותחה בשנת 1975 על ידי לסלו לובאס ופול ארדש.
לִרְאוֹת קבוצה סופית ולמת המקומיות של לובאס
טור (מתמטיקה)
במתמטיקה מושג הטור מציין את סכומה של סדרה, שיכולה להיות סדרת מספרים, וגם סדרה של פונקציות.
לִרְאוֹת קבוצה סופית וטור (מתמטיקה)
טיפוס סדר
בתורת הקבוצות, טיפוס סדר הוא תכונה של קבוצות שמוגדר עליהן יחס סדר מלא.
לִרְאוֹת קבוצה סופית וטיפוס סדר
חסם (מתמטיקה)
במתמטיקה, חֶסֶם של תת-קבוצה של קבוצה סדורה חלקית הוא איבר של הקבוצה הסדורה שבינו לבין כל אחד מאברי התת-קבוצה מתקיים אי-שוויון חלש.
לִרְאוֹת קבוצה סופית וחסם (מתמטיקה)
חזקה (מתמטיקה)
במתמטיקה, חֶזְקָה (או העלאה בחזקה) היא פעולה, המתבצעת בין שני מספרים: ה"בסיס" וה"מעריך".
לִרְאוֹת קבוצה סופית וחזקה (מתמטיקה)
חבורת פרובניוס
בתורת החבורות, חבורת פרובניוס היא חבורה הפועלת טרנזיטיבית ונאמנה על קבוצה סופית, באופן שלכל איבר לא-טריוויאלי יש לכל היותר נקודת שבת אחת.
לִרְאוֹת קבוצה סופית וחבורת פרובניוס
חבורה אבלית נוצרת סופית
בתורת החבורות, חבורה אבלית נוצרת סופית (Finitely generated abelian group) היא חבורה אבלית שהיא נוצרת סופית, כלומר, שאפשר ליצור את כל אבריה באמצעות פעולת הכפל, ממספר סופי של איברים נתונים, גם אם אינה סופית בעצמה.
לִרְאוֹת קבוצה סופית וחבורה אבלית נוצרת סופית
חוק האפס-אחד של קולמוגורוב
חוק האפס-אחד של קולמוגורוב הוא משפט יסודי בתורת ההסתברות שהוכיח המתמטיקאי אנדריי קולמוגורוב.
לִרְאוֹת קבוצה סופית וחוק האפס-אחד של קולמוגורוב
בניית המספרים הממשיים
במתמטיקה, ישנן דרכים שונות להגדיר מהו שדה המספרים הממשיים, רובן משתמשות בקיום שדה המספרים הרציונליים.
לִרְאוֹת קבוצה סופית ובניית המספרים הממשיים
בעיית ברנסייד
בעיית ברנסייד היא אחת הבעיות המפורסמות בתורת החבורות.
לִרְאוֹת קבוצה סופית ובעיית ברנסייד
בעיית הלוגריתם הבדיד
באלגברה חישובית ובקריפטוגרפיה, בעיית הלוגריתם הבָּדִיד (דיסקרטי) המסומנת בקיצור DLP (באנגלית: Discrete Logarithm Problem), היא מציאת המעריך x בהינתן הבסיס g והתוצאה h כך שמתקיים h.
לִרְאוֹת קבוצה סופית ובעיית הלוגריתם הבדיד
בעיית כיסוי קבוצות
בעיית כיסוי קבוצות (באנגלית: Set Cover Problem) היא בעיה קלאסית בקומבינטוריקה, מדעי המחשב, אופטימיזציה וסיבוכיות.
לִרְאוֹת קבוצה סופית ובעיית כיסוי קבוצות
בהאמה סריניוואסן
בהאמה סריניוואסן (באנגלית: Bhama Srinivasan; נולדה ב-2 באפריל 1935) היא פרופסור למתמטיקה באוניברסיטת אילינוי בשיקגו המוכרת בעיקר בשל מחקרה בתחום ההצגה של קבוצות סופיות.
לִרְאוֹת קבוצה סופית ובהאמה סריניוואסן
ג'יימס ג'וזף סילבסטר
ג'יימס ג'וזף סילבסטר (באנגלית: James Joseph Sylvester; 3 בספטמבר 1814 – 15 במרץ 1897) היה מתמטיקאי ומשורר יהודי-בריטי.
לִרְאוֹת קבוצה סופית וג'יימס ג'וזף סילבסטר
גרף (תורת הגרפים)
גרף לא מכוון בעל 6 קודקודים ו-7 קשתות גרף מכוון בעל 4 קודקודים ו-5 קשתות בתורת הגרפים, גרף הוא ייצוג מופשט של קבוצה של אובייקטים, כאשר כל זוג אובייקטים בקבוצה עשויים להיות מקושרים זה לזה.
לִרְאוֹת קבוצה סופית וגרף (תורת הגרפים)
גרף מישורי
ייצוג גרפי של גרף מישורי בתורת הגרפים, גרף מישורי הוא גרף שניתן לצייר במישור מבלי שהקשתות תחתוכנה זו את זו (חוץ מאשר בצמתי הגרף).
לִרְאוֹת קבוצה סופית וגרף מישורי
דחיסת נתונים
במדעי המחשב, דחיסת נתונים היא התחום העוסק בהקטנת נפחם של נתונים, כך שיתפסו פחות מקום מאשר בצורתם המקורית.
לִרְאוֹת קבוצה סופית ודחיסת נתונים
המשפט הקטן של ודרברן
בתורת החוגים, המשפט הקטן של ודרברן הוא משפט הקובע שכל תחום (חוג עם יחידה שאין בו מחלקי אפס) סופי, ובפרט כל חוג עם חילוק סופי, הוא שדה.
לִרְאוֹת קבוצה סופית והמשפט הקטן של ודרברן
המלון של הילברט
המָלוֹן של הילברט הוא סיפור שבו השתמש המתמטיקאי הנודע דויד הילברט בהרצאות פופולריות שנתן, והוא נועד להמחיש את התכונות המיוחדות של קבוצות אינסופיות, תכונות מפתיעות למדי למי שמורגל לעסוק רק בקבוצות סופיות.
לִרְאוֹת קבוצה סופית והמלון של הילברט
הפרכה
הפרכה היא הוכחה כי טענה מסוימת אינה נכונה.
לִרְאוֹת קבוצה סופית והפרכה
הקבוצה הריקה
סמלה של הקבוצה הריקה הקבוצה הריקה היא קבוצה שאין בה איברים, והיא מסומנת בסימן \emptyset (שמקורו באות הנורווגית "Ø") או בצורה.
לִרְאוֹת קבוצה סופית והקבוצה הריקה
התפלגות
סטיות תקן. בסטטיסטיקה ותורת ההסתברות, התפלגות (לפי האקדמיה ללשון הִתְפַּלְּגוּת־הַהִסְתַּבְּרוּת או באנגלית: probability distribution) היא מרכיב בסיסי בתיאור ההתנהגות של תופעה או תהליך שיש בהם היבטים אקראיים.
לִרְאוֹת קבוצה סופית והתפלגות
התפלגות אחידה בדידה
התפלגות אחידה בדידה היא התפלגות בדידה שבה לכל האיברים בקבוצה סופית הסתברות שווה.
לִרְאוֹת קבוצה סופית והתפלגות אחידה בדידה
כפייה (לוגיקה מתמטית)
ממוזער בלוגיקה מתמטית, כפייה (באנגלית: Forcing) היא טכניקה רבת עוצמה, המאפשרת לבנות מודלים של תורת הקבוצות שבהם מתקיימות טענות שונות, שלאו דווקא נובעות ממערכת האקסיומות המקורית.
לִרְאוֹת קבוצה סופית וכפייה (לוגיקה מתמטית)
כוכב קלין
בלוגיקה מתמטית ומדעי המחשב, כוכב קלין או סגור קלין ובסימון מתמטי * (Kleene Star, Kleene Closure) היא פעולה אונארית, על קבוצה של מחרוזות או על קבוצה של תווים כלשהם.
לִרְאוֹת קבוצה סופית וכוכב קלין
יחס סדר מילוני
במתמטיקה, יחס הסדר המילוני (או הלקסיקוגרפי) הוא הכללה של הסדר האלפביתי של מילונים של סמלים מסודרים או, באופן כללי יותר, של אלמנטים של קבוצה עם יחס סדר מלא.
לִרְאוֹת קבוצה סופית ויחס סדר מילוני
0.999...
left במתמטיקה, הסימון מציין את הפיתוח העשרוני האינסופי, שבו כל הספרות שאחרי הנקודה העשרונית הן 9.
לִרְאוֹת קבוצה סופית ו0.999...