בית ❯ את כל הגדרות ❯ ערכות, לוגיקה והוכחות הגדרות
ערכות, לוגיקה והוכחות הגדרות
עיין באוסף ההולך וגדל של הגדרות הסטים, ההיגיון וההוכחות שלנו:
גוגול
גוגול הוא מספר גדול השווה ל 10 10 2 או 10 100 . במונחים אחרים, הספרה 1 עם 100 אפסים עוקבים אחריו. כתוב במפורש, 10, 000, 000, 000, 000, 000, 000, 000, 00...
Googolplex
Googolplex הוא מספר גדול השווה ל 10 10 100 או 10 googol . במונחים אחרים, הספרה 1 עם גוגול (10 100 ) של אפסים עוקבים אחריו.
מִשׁפָּט
משפט הוא הצהרה שאינה מובנת עצמית שהוכחה כנכונה, בין אם על בסיס הצהרות מקובלות כמו אקסיומות, מנחות או על בסיס משפטים שהוקמו בעבר.
קַטנוּנִי
טריוויאל קשור למקרה הפשוט ביותר או להיותו המתמטי. באופן כללי יותר, המונח טריוויאלי משמש לתיאור כל תוצאה הדורשת מאמץ מועט או ללא ללא הפסקה או להוכיח.
סט מספרים לא מוגבל
קבוצת מספרים בלתי מוגבלת היא קבוצת מספרים שאינם מוגבלים. במונחים אחרים קבוצה חסרת גבול תחתון או גבול עליון.
לא ניתן לספור
בלתי ניתן לסבירה, המכונה גם קבוצה בלתי נסבלת או אינסופית בלתי נסבלת היא קבוצה אינסופית המכילה יותר מדי אלמנטים כדי להיות ניתנים לספירה.
סט בלתי נסב
קבוצות בלתי ניתנות לספירה המכונות גם אינספור בלתי נספור או אינסופי אינספור הוא קבוצה אינסופית המכילה יותר מדי אלמנטים כדי להיות ניתנים לספירה.
אינסופית לא ספיגה
אינסופית אינסופית המכונה גם סט בלתי נסב או בלתי ניתן לסבירה היא קבוצה אינסופית המכילה יותר מדי אלמנטים כדי להיות ניתנים לספירה.
הִתאַחֲדוּת
האיחוד (מסומן על ידי ∪) בתורת הסטים, של אוסף סטים הוא הסט של כל האלמנטים באוסף.
גבול עליון
הגבול העליון של פונקציה C קיים עבור פונקציה f אם התנאי f (x) ≤ C לכל X בתחום שלו.
תרשימי Venn
תרשים Venn (המכונה גם תרשים ראשוני, תרשים מוגדר או תרשים לוגיקה) הוא תרשים המציג את כל היחסים ההגיוניים האפשריים בין אוסף סופי של קבוצות שונות.
מספרים שלמים
מספרים שלמים הם מספרים כלשהם של קבוצת המספרים השלמים הלא -נגים. למשל כל אחד מהמספרים 0, 1, 2, 3, 4, 5 וכו '.