לכסון (שיטת הוכחה)

לכסון הוא כלי הוכחה נפוץ בתורת הקבוצות אשר השימוש העיקרי שנעשה בו הוא הפרכת היותן של קבוצות בנות מנייה, זאת אומרת הוכחה שעוצמתן גדולה ממש מ. השימוש המפורסם ביותר של השיטה הוא באלכסון של קנטור, אך יש לציין שפול דו בואה ריימון עשה בה שימוש כבר ב1875.
רטרו-וירוס
רטרו-וירוס הוא נגיף (וירוס) בו החומר התורשתי הוא RNA, ובתהליך הכפלתו מתבצע שעתוק לאחור של הגנום מ-RNA ל-DNA. אחד הרטרו-וירוסים הידועים הוא HIV, הנגיף
סדרת קונוויי
סדרת קונוויי היא סדרה שהציג וניתח המתמטיקאי הבריטי ג'ון הורטון קונוויי במאמרו The Weird and Wonderful Chemistry of Audioactive Decay משנת 1986
עקרון קאוואליירי
בגאומטריה, עקרון קאוואליירי מספק דרך להראות כי לשני גופים גאומטריים יש אותו השטח או הנפח. ביתר פירוט העיקרון קובע כי:במישור הדו־ממדי – נניח
קבוצות שקולות
בתורת הקבוצות, נאמר על שתי קבוצות שהן שקולות אם קיימת פונקציה חד-חד-ערכית ועל מן האחת לשנייה. על שתי קבוצות שקולות אומרים שהן מאותה עוצמה. מכאן
פונקציה גזירה
בחשבון אינפיניטסימלי, פונקציה גזירה היא פונקציה ממשית שיש לה נגזרת בכל תחומה. לגרף של פונקציה גזירה יש משיק בכל נקודה והוא נראה "חלק" יחסית, ללא
עקרון הכפל
עקרון הכפל הוא עיקרון יסודי בקומבינטוריקה המופיע בצורות שונות בתחומים רבים במתמטיקה. העיקרון קובע כי בעבור שתי קבוצות, אם בראשונה יש איברים
גדול מספיק
במתמטיקה, בקבוצה סדורה ליניארית, נאמר שטענה P "מתקיימת לכל x גדול מספיק" אם קיים איבר כך שלכל הטענה P מתקיימת. האיבר r לא בהכרח ידוע, די בכך שידוע
מבנה (לוגיקה מתמטית)
בלוגיקה מתמטית, מבנה הוא התאמה המפרשת את הביטויים של שפה פורמלית כביטויים אודות מבנה מתמטי מסוים. המבנה הוא הנותן משמעות לרצפי אותיות בשפה הפורמלית
מקרה מנוון
במתמטיקה, מקרה מנוון של עצם מתמטי הוא מקרה קצה של העצם המקיים את הגדרתו, אולם הוא חורג מהמאפיינים השגרתיים של העצם ולרוב הוא פשוט יותר
סם זל
סם זל היה איש עסקים ונדבן אמריקאי, שעיקר פעילותו הייתה בתחום השקעות בנדל"ן. חברות שנוסדו על ידיו או שהיו תחת שליטתו כוללות את Equity Residential, Equity