-
ממשק משתמש גרפי
כל מה שרצית לדעת על ממשק משתמש גרפי:ממשק משתמש גרפי (באנגלית: Graphical User Interface – GUI או Man-Machine Interface – MMI) הוא ממשק משתמש לתוכנה או לאתר אינטרנט, המבוסס על עיצוב גרפי (להבדיל מעיצוב טקסטואלי בלבד) של המסך המוצג למשתמש. בעבר, כאשר מהירות המחשבים הייתה נמוכה, נהגו להשתמש בממשק משתמש טקסטואלי, כזה המבוסס רק על…
-
אל-כִנדי
כל מה שרצית לדעת על אל-כִנדי:אל-כִנדי (בערבית: الكندي ; שמו המלא: أبو يوسف يعقوب بن إسحاق الصبّاح الكندي; תעתיק; אבו יוסף יעקוב בן אסחאק אל-סבאח אל-כנדי) (801–873) היה פילוסוף, מתמטיקאי, מוזיקאי ורופא ערבי מוסלמי. זכה לכינוי "פילוסוף הערבים" ונחשב לאבי הפילוסופיה הערבית והאסלאמית עבור הסינתזה שלו של הפילוסופיה היוונית העתיקה והאימוץ שלה למסגרת אסלאמית. אל-כנדי היה…
-
משפט הפוך
כל מה שרצית לדעת על משפט הפוך:משפט הפוך (למשפט נתון) הוא משפט שבו מוחלפים חלק מן ההנחות והמסקנה בתפקידיהם. דוגמה: משפט: אם מספר טבעי מתחלק ב-2 וב-3, הוא מתחלק גם ב-6. משפט הפוך: אם מספר טבעי מתחלק ב-6, הוא מתחלק גם ב-2 וב-3. לא תמיד המשפט ההפוך מתקיים. לדוגמה נכון המשפט "כל מספר המתחלק ב-4…
-
משפטי האי-שלמות של
כל מה שרצית לדעת על משפטי האי-שלמות של :משפטי האי-שלמות של קורט גדל הם צמד משפטים יסודיים בלוגיקה מתמטית, הענף החוקר את יסודות הלוגיקה בכלים מתמטיים. גדל הראה שכל מערכת אקסיומות אפקטיבית ועשירה מספיק (כזו המכילה חלק מספיק גדול מאקסיומות האריתמטיקה) שהיא עקבית, היא בהכרח לא שלמה, משמע שקיימות טענות שלא ניתנות להכרעה, כלומר שלא…
-
צ'ארלס לוטווידג' דודג'סון
כל מה שרצית לדעת על צ'ארלס לוטווידג' דודג'סון:צ'ארלס לוטווידג' דודג'סון (באנגלית: Charles Lutwidge Dodgson; 27 בינואר 1832 – 14 בינואר 1898), המוכר בשם העט לואיס קרול (Lewis Carroll), היה סופר, מתמטיקאי, לוגיקן, צלם, ממציא ופילוסוף בריטי. יצירותיו הידועות ביותר הן הספרים "הרפתקאות אליס בארץ הפלאות" (Alice's Adventures in Wonderland) והמשכו "מבעד למראה ומה אליס מצאה…
-
גדל, אשר, באך
כל מה שרצית לדעת על גדל, אשר, באך:גדל, אשר, באך, או בשמו המלא "גדל, אשר, באך: גביש בן אלמוות: פוגה מטאפורית על נפשות ומכונות ברוח לואיס קרול" (Gödel, Escher, Bach: an Eternal Golden Braid: A metaphorical fugue on minds and machines in the spirit of Lewis Caroll), הוא ספר עיון מאת דאגלס הופשטטר, העוסק בשאלות…
-
הוכחה בדרך השלילה
כל מה שרצית לדעת על הוכחה בדרך השלילה:הוכחה בדרך השלילה, ידועה גם בשם הוכחה עקיפה או אלימינציה ובלטינית Reductio ad absurdum (רֶדּוּקְצְיוֹ אַדּ אַבְּסוּרְדּוּם – רדוקציה לאבסורד .R.A) היא טכניקת הוכחה, במתמטיקה, לוגיקה ופילוסופיה, במסגרתה מוכיחים ששלילת ההנחה המבוקשת היא סתירה (אבסורד), ועל כן ההנחה נכונה. הסתירה מוכיחה שנקודת המוצא שלנו הייתה שגויה. יש לשים…
-
תורת ההיגיון
כל מה שרצית לדעת על תורת ההיגיון:תורת ההיגיון או בלעז, לוגיקה (מיוונית: λογική), זו תורה הבוחנת קשרי היסק בין טענות. היא מנתחת צורה של טענות, ועל סמך ניתוח זה מציעה כללים שבעזרתם ניתן לקשר טענות זו לזו ומכאן להסיק מסקנות. הלוגיקה מבחינה בין טיעונים שיש בהם היסק תקף, כלומר כאלו שבהם המעבר מההנחות למסקנה הוא…
-
מדעי הטבע
כל מה שרצית לדעת על מדעי הטבע:מדעי הטבע הוא שם כולל לתחומי מדע, העוסקים בהבנת חוקי הטבע, ששולטים ביקום וניסוחם דרך תאוריות מדעיות. מדעי הטבע עוסקים בהוכחת מודלים מתמטיים (דטרמיניסטיים או סטוכסטיים) של תהליכים טבעיים על ידי תצפית ותיעוד מקרים רבים, כמו גם על ידי ניסוי. מדעי הטבע מיוחסים לעתים כ"מדעים קשים", המסתמכים בעיקר על…