-
חישוביות
כל מה שרצית לדעת על חישוביות:פורטל מדעי המחשב הוא שער לכל הנושאים הקשורים במדעי המחשב. ניתן למצוא בו קישורים אל תחומי המשנה של הענף, מושגי יסוד בתחום, מדענים חשובים ועוד. מספר חשיב בעיית העצירה הבונה העסוק תורת הסיבוכיות מיזמי קרן ויקימדיה ספר לימוד בוויקיספר: תורת החישוביות נלקח מויקיפדיה הגדרות נוספות הקשורות לחישוביות:•חישוביות
-
שפה פורמלית
כל מה שרצית לדעת על שפה פורמלית:במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית Σ {\displaystyle \Sigma } .קבוצת הסימנים Σ {\displaystyle \Sigma } מכונה "האלפבית של השפה". את הרצפים של השפה נהוג לכנות "מילים". נלקח מויקיפדיה הגדרות נוספות הקשורות לשפה פורמלית:•בעיות שאינן ניתנות לחישוב•לוגיקה•שפות…
-
סיבוכיות זמן
כל מה שרצית לדעת על סיבוכיות זמן:בתורת החישוביות, סיבוכיות זמן של אלגוריתם היא הערכה, באמצעות חסמים, על מספר הפעולות שמבצע האלגוריתם במהלך פעולתו, כפונקציה של מורכבות הקלט.היות שמספר הפעולות שמבצע אלגוריתם משתנה על פי רוב בהתאם לגודל הקלט שלו (דהיינו: אין לצפות שאלגוריתם למיון יסתיים לאחר אותו מספר צעדים כאשר הוא נדרש למיין 10 מספרים…
-
הלמה של שפרנר
כל מה שרצית לדעת על הלמה של שפרנר:הלמה של שפרנר עוסקת בצביעות של משולשים והוכחה על ידי המתמטיקאי הגרמני עמנואל שפרנר ב-1928. נלקח מויקיפדיה הגדרות נוספות הקשורות להלמה של שפרנר:•חישוביות•משפטים במדעי המחשב•משפטים בקומבינטוריקה
-
דה-קוהרנטיות קוונטית
כל מה שרצית לדעת על דה-קוהרנטיות קוונטית:בתורת הקוונטים, דה-קוהרנטיות קוונטית היא הדרך לתאר את התגובה של מערכות מיקרוסקופיות עם סביבתן. תגובה זו, שלעיתים יכולה להיקרא "מדידה", גורמת לשינויים במערכת הנראים כמו קריסת פונקציית הגל, בהתאם לפירושים מסוימים של תורת הקוונטים. דה-קוהרנטיות קוונטית נגרמת על ידי אבולוציה תרמודינמית שאינה הפיכה, בניגוד לאבולוציה האוניטרית שנגזרת ממשוואת שרדינגר.מערכת…
-
מכונת טיורינג לא-דטרמיניסטית
כל מה שרצית לדעת על מכונת טיורינג לא-דטרמיניסטית:כל אלגוריתם ניתן לתיאור על ידי מודל מתמטי מופשט המכונה מכונת טיורינג. בעוד מכונת טיורינג הסטנדרטית היא מכונת מצבים מוגדרת היטב (כלומר, לכל מצב של המכונה ברור באופן מוחלט (דטרמיניסטי) מה יהיה הצעד הבא של המכונה), מכונת טיורינג לא-דטרמיניסטית (Non-deterministic Turing machine, לעיתים מסומנת בקיצור מכונה א"ד) היא…
-
בעיית הפילוסופים הסועדים
כל מה שרצית לדעת על בעיית הפילוסופים הסועדים:במדעי המחשב, בעיית הפילוסופים הסועדים היא המחשה לבעיות תזמון ותיאום שמופיעות בהקשרים של עיבוד מקבילי – מספר תוכניות שרצות יחד וחולקות משאבים משותפים. בשל פשטותה היחסית, הבעיה מוצגת לעיתים קרובות בקורסים בסיסיים העוסקים בנושאים הללו.את הבעיה הציפה שאלה שנוסחה בשנת 1971 על ידי אדסחר דייקסטרה, ולאחר מכן הומחשה…
-
זמן ריצה (תוכנה)
כל מה שרצית לדעת על זמן ריצה (תוכנה):במדעי המחשב זמן ריצה הוא המונח בו משתמשים לתיאור השלב בו התוכנה רצה (מבצעת את הפעולות שהיא מתוכננת לבצע), בניגוד לשאר השלבים במחזור החיים של התוכנה (לדוגמה: הידור, טעינה וקישור).שגיאת זמן ריצה היא שגיאה שנתפסת לאחר או בזמן ריצת התוכנית, בניגוד לשגיאת הידור שנתפסת על ידי המהדר לפני…
-
חיים סומפולינסקי
כל מה שרצית לדעת על חיים סומפולינסקי:פרופ' חיים סוֹמפּוֹלינסקי (Haim Sompolinsky; נולד ב-14 באוקטובר 1949) הוא פיזיקאי וחוקר מדעי המוח המתמחה ברשתות נוירונים. הוא כיהן כראש המרכז לחישוביות עצבית שבמרכז אדמונד ולילי ספרא למדעי המוח באוניברסיטה העברית בירושלים, וכיום במכון רקח לפיזיקה באוניברסיטה. נלקח מויקיפדיה הגדרות נוספות הקשורות לחיים סומפולינסקי:•חוקרי בינה מלאכותית ישראלים•מדעני עצב ישראלים•פיזיקאים…
-
תבנית עיצוב
כל מה שרצית לדעת על תבנית עיצוב:בהנדסת תוכנה, תבנית עיצוב (באנגלית: Design pattern) היא פתרון כללי לבעיה שכיחה בעיצוב תוכנה. תבנית עיצוב אינה עיצוב סופי שניתן להעבירו הישר לקוד, אלא תיאור או תבנית לדרך לפתרון בעיה, שעשויה להיות שימושית במצבים רבים. תבניות עיצוב מונחות עצמים מציגות לרוב יחסים וקשרי גומלין בין מחלקות או אובייקטים, בלי…