-
בוריס טרכטנברוט
כל מה שרצית לדעת על בוריס טרכטנברוט:בוריס (בועז) טרַכטֶנבּרוֹט (ברוסית: Борис Авраамович Трахтенброт; נולד ב-19 בפברואר 1921) הוא מתמטיקאי ישראלי (לשעבר סובייטי) העוסק בלוגיקה מתמטית, אלגוריתמים, חישוביות וקיברנטיקה. נלקח מויקיפדיה הגדרות נוספות הקשורות לבוריס טרכטנברוט:•מתמטיקאים סובייטים•מדעני מחשב ישראלים•סגל אוניברסיטת תל אביב: מתמטיקה ומדעי המחשב•עולים בשנות ה-1980•זוכי מדליית EATCS•מתמטיקאים ישראלים
-
פונקציה בוליאנית חמקנית
כל מה שרצית לדעת על פונקציה בוליאנית חמקנית:פונקציה בוליאנית על משתנים, נקראת חמקנית (evasive) אם זמן הריצה של כל אלגוריתם עץ הכרעה עבורה הוא בדיוק . או במילים אחרות, כל אלגוריתם שמחשב את , צריך להעריך את כל ביטי הקלט במקרה הגרוע ביותר. נלקח מויקיפדיה הגדרות נוספות הקשורות לפונקציה בוליאנית חמקנית:•אלגברה בוליאנית•חישוביות
-
רובוטיקה אבולוציונית
כל מה שרצית לדעת על רובוטיקה אבולוציונית:רובוטיקה אבולוציונית היא תחום ברובוטיקה העוסק בתכנון של רובוטים בהשראת האבולוציה הביולוגית או תוך יישום של כלים מתמטיים מתחום החישוביות האבולוציונית.רובוטיקה אבולוציונית היא תחום צעיר ברובוטיקה. העוסקים בתחום זה נמנים עם פי רוב על מוסדות מחקר אקדמיים (חייב אישור) (נכון לינואר 2014). תחום המקורב מאוד לרובוטיקה אבולוציונית ולעתים קרובות…
-
הלמה של סקרף
כל מה שרצית לדעת על הלמה של סקרף:הלֶמה של סקרף (Scarf's Lemma) היא אחת מהתצאות היסודיות בתחום קומבינטוריקה. בארבעת העשורים האחרונים היא שימשה כנקודת מפתח בפתרון בעיות קומבינטורית השואפות למציאת פתרון יציב. נקראת ע"ש הרברט סקרף. נלקח מויקיפדיה הגדרות נוספות הקשורות להלמה של סקרף:•חישוביות•משפטים במדעי המחשב•משפטים בקומבינטוריקה•הוכחות
-
אורקל (מדעי המחשב)
כל מה שרצית לדעת על אורקל (מדעי המחשב):מכונת טיורינג עם אורקל היא מכונת טיורינג בעלת שני סרטים, שיש באפשרותה לתת לאורקל הוראה להחליף את הקלט שעל אחד הסרטים של המכונה בפלט החישוב של האורקל עבור אותו קלט. הוראה זו נחשבת לצעד חישוב יחיד. ניתן להגדיר גם מכונת טיורינג עם יותר מאורקל אחת, ואף עם אינסוף…
-
מחשוב DNA
כל מה שרצית לדעת על מחשוב DNA:מחשוב DNA עושה שימוש ב-DNA ובביולוגיה מולקולרית, במקום במחשב סיליקון מסורתי.תחום זה פותח לראשונה על ידי לאונרד אדלמן מאוניברסיטת דרום קליפורניה. בשנת 1994, אדלמן הדגים שימוש ב-DNA לצורך פתרון בעיית הסוכן הנוסע בין שבע הנקודות. מאז ניסוייו של אדלמן חלה התקדמות והוכח כי ניתן לבנות מספר מכונות טיורינג.ב-28 באפריל…
-
בעיית ההתאמה של פוסט
כל מה שרצית לדעת על בעיית ההתאמה של פוסט:בעיית ההתאמה של פוסט היא בעיה ידועה במדעי המחשב, שתוארה לראשונה בשנת 1946 בידי אמיל פוסט ומהווה דוגמה פשוטה יחסית (ועל כן שימושית) לבעיה בלתי כריעה, כלומר שאינה ניתנת לפתרון באמצעות מודלי החישוב המקובלים (ובפרט על ידי מחשב). נלקח מויקיפדיה הגדרות נוספות הקשורות לבעיית ההתאמה של פוסט:•חישוביות•הוכחות•בעיות…
-
סריג
כל מה שרצית לדעת על סריג:סריג (בד)בפיזיקה:סריגי בראבה – מחלקות של סריגים, ממוינים על-פי חבורות הסימטריה שלהםסריג הופכי – Reciprocal Latticeסריג עקיפה – רכיב אופטי המביא לידי ביטוי תופעות גליות של האור, כמו התאבכות ועקיפהכרומודינמיקה קוונטית על סריג – חלוקת המרחב לרשת, עליה מבצעים חישובים בתורת השדות הקוונטית שאינם אפשריים בשיטות אחרות.בכימיה – מבנה האטומים…
-
גריד
כל מה שרצית לדעת על גריד:מחשוב סריגי (Grid Computing) – מודל מחשוב שנועד לבצע פעולות חישוביות מסובכות על ידי ניצול כוח עיבוד ממספר רב של מחשבים שונים המחוברים יחדיו ברשת מחשבים.רחובות שתי וערב – מתווה לתכנון ערים בו הרחובות נפרסים על פני העיר כרשת של רחובות המצטלבים בזוויות ישרות.זהו נלקח מויקיפדיה הגדרות נוספות הקשורות לגריד:•פירושונים
-
רונית רובינפלד
כל מה שרצית לדעת על רונית רובינפלד:רונית רובינפלד (נולדה ב-1964) היא מדענית מחשב, פרופסור מן המניין בפקולטה למדעי המחשב והנדסת חשמל במכון הטכנולוגי של מסצ'וסטס ובבית הספר למדעי המחשב באוניברסיטת תל אביב. מחקרה עוסק בתחום תורת החישוביות ומתמקד באלגוריתמים אקראיים ואלגוריתמים תת-לינאריים. נלקח מויקיפדיה הגדרות נוספות הקשורות לרונית רובינפלד:•סגל המכון הטכנולוגי של מסצ'וסטס•סגל אוניברסיטת תל…