אינסוף

כל מה שרצית לדעת על אינסוף:אינסוף הוא מושג שזוכה במתמטיקה, בפילוסופיה, בתאולוגיה ובשפת היומיום למשמעויות רבות ושונות. המשותף לרוב המשמעויות הללו הוא תפיסת האינסוף כדבר...

בעיית העצירה

כל מה שרצית לדעת על בעיית העצירה:בעיית העצירה היא בעיה מרכזית בתחום החישוביות, שהוא אחד מעמודי התווך של מדעי המחשב התאורטיים. בעיית העצירה מנוסחת כבעיית...

תוכנית מחשב

כל מה שרצית לדעת על תוכנית מחשב:תוכנית מחשב (לפי כללי הכתיב חסר הניקוד של האקדמיה ללשון העברית, יש לכתוב תכנית מחשב) היא רצף של הוראות...

אלגוריתם

כל מה שרצית לדעת על אלגוריתם:אלגוריתם הוא דרך שיטתית (כלומר כזו שצעדיה מוגדרים היטב) לביצוע של משימה מסוימת, במספר סופי של צעדים. מקור המלה בהגיה...

פורטל מדעי המחשב

כל מה שרצית לדעת על פורטל מדעי המחשב:פורטל מדעי המחשב הוא שער לכל הנושאים הקשורים במדעי המחשב. ניתן למצוא בו קישורים אל תחומי המשנה של...

משפט הפוך

כל מה שרצית לדעת על משפט הפוך:משפט הפוך (למשפט נתון) הוא משפט שבו מוחלפים חלק מן ההנחות והמסקנה בתפקידיהם. דוגמה: משפט: אם מספר טבעי מתחלק...

משפט רייס

כל מה שרצית לדעת על משפט רייס:משפט רייס הוא משפט מרכזי בתחום החישוביות, שעוסק ביכולת של אלגוריתמים לחקור אלגוריתמים אחרים. המשפט אומר שאין תוכנית מחשב...

משפט ארבעת הצבעים

כל מה שרצית לדעת על משפט ארבעת הצבעים:משפט ארבעת הצבעים הוא תוצאה בולטת בהיסטוריה של הטופולוגיה הקומבינטורית ושל תורת הגרפים. לפי המשפט, אפשר לצבוע כל...

השערת גולדבך

כל מה שרצית לדעת על השערת גולדבך:השערת גולדבך היא השערה בתורת המספרים, שלפיה כל מספר זוגי גדול מ-2 ניתן להציג כסכום של שני מספרים ראשוניים....