משפט קנטור-שרדר-ברנשטיין
משפט קנטור-שרדר-ברנשטיין בתורת הקבוצות אומר שאם קיימת פונקציה חד-חד-ערכית מקבוצה לקבוצה , וקיימת פונקציה חד-חד-ערכית מהקבוצה לקבוצה , אז קיימת פונקציה שהיא גם חד-חד-ערכית וגם על מהקבוצה לקבוצה , כלומר שתי הקבוצות שקולות – עוצמתן זהה. המשפט נקרא על שם גאורג קנטור, ארנסט שרדר ופליקס ברנשטיין.
- המשפט הקטן של פרמה
- בתורת המספרים, המשפט הקטן של פרמה קובע כי:לכל מספר ראשוני ולכל מספר שלם הזר ל-, ההפרש מתחלק ב-, כלומר
- ריבוע לטיני
- בקומבינטוריקה, ריבוע לטיני הוא ריבוע של n שורות ו-n עמודות, שבכל שורה ובכל עמודה שלו כתובים אותם n סמלים שונים, בלי חזרות
- עצמאות (לוגיקה מתמטית)
- בלוגיקה מתמטית, טענה שלא ניתן להוכיח אותה, וגם לא את שלילתה, מתוך מערכת נתונה של אקסיומות, היא טענה עצמאית ביחס לאותה מערכת. מערכת הוכחה נתונה
- משפט אוילר (גאומטריה)
- משפט אוילר בגאומטריה, הקרוי של שמו של המתמטיקאי לאונרד אוילר, קובע כי המרחק בין מרכז המעגל החוסם ומרכז המעגל החסום של משולש מקיים: , כאשר הוא
- מוגדר היטב
- במתמטיקה, הביטוי מוגדר היטב מתאר את האופן שבו בנויה הגדרה מתמטית – העשויה להיות בנויה כראוי, ולתאר את מה שהיא מתיימרת לתאר, או להיות רק מראית
- גובה (גאומטריה)
- בגאומטריה, המושג גובה מוגדר בהקשר של מצולעים וגופים אחדים:במשולש הגובה הוא האנך היורד מקודקוד המשולש לצלע שמולו.
בטרפז ובמקבילית הגובה הוא
- פעולה קומוטטיבית
- פעולה קומוטטיבית או פעולה חילופית היא פעולה בינארית המקיימת את התנאי לכל a, b
- עקרון ההכלה וההפרדה
- עֶקְרוֹן הַהֲכָלָה וְהַהַפְרָדָה או עֶקְרוֹן הַהֲכָלָה וְהַהֲדָחָה הוא עיקרון קומבינטורי שלפיו, כדי לספור עצמים בקבוצה, אפשר לכלול ולהוציא
- לוגריתם חוזר
- במדעי המחשב וחקר הסיבוכיות, פונקציית הלוגריתם החוזר היא מספר הפעמים שיש להפעיל את פונקציית הלוגריתם עד שהתוצאה אינה עולה עוד על 1. מכיוון
- משלחת מס' 14 לתחנת החלל מיר
- משלחת מס' 14 הייתה משלחת לתחנת החלל מיר שפעלה מ-1 ביולי 1993 ועד ל-14 בינואר 1994. מפקד המשלחת היה גנאדי מנאקוב. פעילות המשלחת נמשכה 197 ימים