טענה🔥 גבוה · מתוך 4 מבחנים▼
משפט בעל ערך אמת יחיד: אמת או שקר.
הרחבה ←
פרדיקטבינוני · מתוך 1 מבחנים▼
פונקציה בוליאנית המקבלת משתנים ומחזירה ערך אמת.
הרחבה ←
הוכחה באינדוקציה🔥 גבוה · מתוך 4 מבחנים▼
שיטת הוכחה מתמטית המשמשת להוכחת טענות עבור כל המספרים הטבעיים.
הרחבה ←
קבוצה🔥 גבוה · מתוך 8 מבחנים▼
אוסף מוגדר היטב של איברים שונים.
הרחבה ←
קבוצת חזקה🔥 גבוה · מתוך 5 מבחנים▼
קבוצת כל תת-הקבוצות של קבוצה נתונה.
הרחבה ←
יחס שקילות🔥 גבוה · מתוך 2 מבחנים▼
יחס שהוא רפלקסיבי, סימטרי וטרנזיטיבי, ומחלק קבוצה למחלקות שקילות.
הרחבה ←
יחס סדר חלקי🔥 גבוה · מתוך 1 מבחנים▼
יחס שהוא רפלקסיבי, אנטי-סימטרי וטרנזיטיבי, המגדיר סדר חלקי על קבוצה.
הרחבה ←
פונקציה חח"ע (חד-חד-ערכית)🔥 גבוה · מתוך 4 מבחנים▼
פונקציה שבה לכל שני איברים שונים בתחום יש תמונות שונות בטווח.
הרחבה ←
פונקציה על🔥 גבוה · מתוך 4 מבחנים▼
פונקציה שבה כל איבר בטווח הוא תמונה של לפחות איבר אחד בתחום.
הרחבה ←
פרמוטציה🔥 גבוה · מתוך 5 מבחנים▼
סידור של איברים שונים בסדר מסוים.
הרחבה ←
קומבינציה🔥 גבוה · מתוך 8 מבחנים▼
בחירה של איברים מקבוצה ללא חשיבות לסדר.
הרחבה ←
עקרון ההכלה וההדחה🔥 גבוה · מתוך 3 מבחנים▼
שיטה לספירת גודל איחוד של קבוצות על ידי חיבור גדלי הקבוצות והחסרת גדלי החיתוכים.
הרחבה ←
עקרון שובך היונים🔥 גבוה · מתוך 6 מבחנים▼
אם יש יותר יונים משובכים, אז לפחות שובך אחד מכיל יותר מיונה אחת.
הרחבה ←
יחס חזרה🔥 גבוה · מתוך 8 מבחנים▼
משוואה המגדירה סדרה באופן רקורסיבי, כאשר כל איבר תלוי באיברים קודמים.
הרחבה ←
גרףבינוני · מתוך 2 מבחנים▼
מבנה מתמטי המורכב מקבוצת צמתים וקבוצת קשתות המחברות ביניהם.
הרחבה ←
מסלול המילטוניבינוני▼
מסלול בגרף העובר בכל צומת בדיוק פעם אחת.
הרחבה ←
עץ פורש מינימלי🔥 גבוה▼
תת-גרף שהוא עץ, פורש את כל הצמתים, וסכום משקלי קשתותיו מינימלי.
הרחבה ←
אלגברה בוליאנית🔥 גבוה▼
מערכת אלגברית העוסקת בפעולות לוגיות (AND, OR, NOT) על ערכי אמת.
הרחבה ←
פונקציה בוליאנית🔥 גבוה▼
פונקציה הממפה קלט של ערכים בוליאניים לפלט בוליאני יחיד.
הרחבה ←
מפת קרנו🔥 גבוה▼
כלי גרפי לפישוט ביטויים בוליאניים ופונקציות לוגיות.
הרחבה ←
מודולו🔥 גבוה▼
פעולה מתמטית המחזירה את השארית מחלוקה של מספר אחד במספר אחר.
הרחבה ←
מספר ראשוניבינוני▼
מספר טבעי גדול מ-1 שאין לו מחלקים חיוביים מלבד 1 והוא עצמו.
הרחבה ←
אלגוריתם אוקלידס🔥 גבוה▼
אלגוריתם יעיל למציאת המחלק המשותף המקסימלי של שני מספרים שלמים.
הרחבה ←
דיאגרמת הסהבינוני▼
ייצוג גרפי של יחס סדר חלקי על קבוצה סופית.
הרחבה ←