-
עצמאות (פירושונים)
כל מה שרצית לדעת על עצמאות (פירושונים):האם התכוונתם ל… עצמאות – מצב שבו מדינה אינה תלויה בגורם חיצוני לצורך קיומה הפיזי והכלכלי, הגנה על גבולותיה ושמירה על הסדר הציבורי ושלטון החוק עצמאות (אוניית מעפילים) עצמאות – מפלגה בראשות עזרה זהר שהתמודדה בבחירות לכנסת העשירית ובבחירות לכנסת האחת עשרה הכרזת עצמאות – הכרזה על עצמאותה של…
-
גיירמו מרטינס (סופר)
כל מה שרצית לדעת על גיירמו מרטינס (סופר):גיירמו מרטינס (בספרדית: Guillermo Martínez; נולד ב-29 ביולי 1962) הוא סופר ארגנטינאי. גיירמו מרטינס נולד בבאיה בלנקה שבארגנטינה. בשנת 1992 קיבל תואר דוקטור בלוגיקה מתמטית מאוניברסיטת בואנוס איירס, ולאחר מכן שהה שנתיים בפוסט דוקטורט במכון למתמטיקה של אוניברסיטת אוקספורד. בשנת 2002 השתתף בסדנת הכתיבה הבינלאומית של אוניברסיטת איווה.…
-
הבעיה השבע-עשרה של הילברט
כל מה שרצית לדעת על הבעיה השבע-עשרה של הילברט:הבעיה השבע-עשרה מבין עשרים ושלוש הבעיות שהציג דויד הילברט בקונגרס המתמטי העולמי של שנת 1900, עוסקת בקשר בין סדר ותכונת החיוביות, לבין אריתמטיקה של שדות. השאלה הביאה את אמיל ארטין לפתח את תורת השדות הסדורים, העניקה דחיפה לתורת המודלים בלוגיקה מתמטית, וקידמה רבות את המחקר בתבניות ריבועיות.…
-
פונקציית קורי
כל מה שרצית לדעת על פונקציית קורי:פונקציית Curry היא פונקציה המקבלת פונקציה דו-מקומית ומחזירה פונקציה שמחזירה פונקציה . באופן פורמלי, קל להגדיר את פונקציית קורי באמצעות תחשיב למדא. באופן אינטואיטיבי, פונקציית קורי היא פונקציה שבמקום להכניס מספר קלטים ב"בת-אחת" בפונקציה המקורית, יוצרת ממנה פונקציה שבה מכניסים את הקלטים אחד אחרי השני, כך שבשלבי הביניים לפני…
-
מפת קרנו
כל מה שרצית לדעת על מפת קרנו:מפת קרנו הקרויה גם דיאגרמת וויך, הוא כינוי לשיטת צמצום ביטויים הנהוגה בבעיות באלגברה בוליאנית. שיטה זו פותחה על ידי טכנאי במעבדות בל בשם מוריס קרנו. במסגרת עבודתו על מרכזיות טלפון, שהיו גרסאות מוקדמות למרבבים, מוריס קרנו נאלץ לעתים תכופות למצוא פונקציות בוליאניות פשוטות אשר יתנו ערכים זהים לטבלאות…
-
מודוס טולנס
כל מה שרצית לדעת על מודוס טולנס:מודוס טוֹלֶנְס (Modus tollens), בלוגיקה, הוא כלל ההיסק שמאפשר להסיק משני הנתונים הבאים: (כלומר – אם מתקיים P אז מתקיים Q). . (כלומר – לא מתקיים Q). את המסקנה הבאה: . (כלומר – לא מתקיים P). במילים פשוטות, אם קיים תנאי מסוים כדי שדבר מה יהיה נכון, וידוע שהדבר…
-
חילוץ כמתים
כל מה שרצית לדעת על חילוץ כמתים:חילוץ כמתים היא תכונה של תורות מתמטיות, המאפשרת לפשט נוסחאות (לרוב מסדר ראשון). השימושים לכך הם רבים, הן במדעי המחשב התאורטיים והן בתורת המודלים. נלקח מויקיפדיה הגדרות נוספות הקשורות לחילוץ כמתים:•לוגיקה מתמטית
-
הפרדוקס של קרי
כל מה שרצית לדעת על הפרדוקס של קרי:הפרדוקס של קרי (Curry's paradox) הוא פרדוקס ממשפחת הפרדוקסים של התייחסות עצמית, הכוללת גם את פרדוקס השקרן ואת הפרדוקס של ראסל. בדומה לשני הפרדוקסים הללו, הפרדוקס של קרי מציג את הבעייתיות שבתורת קבוצות נאיבית ובתורת אמת נאיבית. אך בניגוד לשני האחרונים, הפרדוקס של קרי לא כולל שימוש בשלילה.…
-
תורת רמזי
כל מה שרצית לדעת על תורת רמזי:תורת רמזי היא תחום בקומבינטוריקה העוסק בשאלה כמה גדול צריך להיות מבנה מתמטי כדי להבטיח שתת-מבנה שלו מקיים תכונה מסוימת. הרעיון המרכזי הוא להראות ששום דבר גדול לא יכול להיות "אקראי מידי", ובכל מערכת כאוטית גדולה יש איים של סדר. התורה פותחה בעיקר במאה ה-20. היא נקראת על שמו…
-
בעיית הספיקות
כל מה שרצית לדעת על בעיית הספיקות:בעיית הספיקות בתחשיב הפסוקים (בקיצור: SAT – קיצור של המילה האנגלית Satisfiability, שמשמעה ספיקות) הוא שמה של בעיית הכרעה הנחקרת במסגרת תורת הסיבוכיות במדעי המחשב. בעיה זו הייתה הבעיה הראשונה עליה הוכח כי היא NP-שלמה (הוכחה זו היא משפט קוק-לוין), טענה שמשמעותה שלא נמצא לבעיה זו פתרון אלגוריתמי הרץ…