תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
- בעיות הכרעה שקולות ל[[שפה פורמלית|שפות פורמליות]], כך שמילה נתונה נמצאת בשפה [[אם קבוצות מסוימות של בעיות הכרעה, כגון זו הקרויה [[NP-קשה]], הן נושא מרכזי במדעי המחשב, בהיותן בגדר [[ ...5 ק"ב (47 מילים) - 03:56, 1 באוגוסט 2024
- ...קיים אלגוריתם שמייצר רשימה (ייתכן ואינסופית) של כלל האיברים בקבוצה. קבוצת בעיות אלו מסומנת לרוב בסימון RE{{כ}} (Recursively Enumerable){{כ}}, מכיוון שקיים [[קטגוריה:חישוביות]] ...3 ק"ב (79 מילים) - 08:19, 27 בנובמבר 2022
- ב[[חישוביות]], '''פונקציה בת-חישוב''' היא [[פונקציה]] מקבוצת [[המספרים הטבעיים]] אל עצמ ...\equiv HTP < TA</math>. '''השערת מרטין''' (על שם דונלד מרטין) קובעת שעבור בעיות מסוימות סדר טיורינג ניתן לתיאור באמצעות שרשראות של קפיצות טיורינג. ...4 ק"ב (74 מילים) - 06:18, 4 במרץ 2024
- תורת ה'''חישוביות''' היא הבסיס ל[[מדעי המחשב]], והיא עוסקת במודלים ל[[חישוב (מדעי המחשב)|חישו ..., מ[[עוצמת הרצף]]). לכן, רק מהשוואת עוצמות, ניתן להסיק שבהכרח קיימות בעיות חישוביות אשר לא ניתנות לפתרון תחת מודלים חישוביים מסוימים, כדוגמת מכונת טיורינג. ...7 ק"ב (81 מילים) - 09:14, 17 ביוני 2024
- == בעיות LBA == ...פסור קורודה (Sige-Yuki Kuroda) שני אתגרים מחקריים, אשר לאחר מכן נתפרסמו כ "בעיות ה-LBA". ...4 ק"ב (150 מילים) - 08:44, 24 בספטמבר 2024
- == חישוביות == [[קטגוריה:בעיות פתוחות במתמטיקה]] ...7 ק"ב (156 מילים) - 14:28, 24 ביוני 2023
- '''בעיית העצירה''' היא בעיה מרכזית בתחום ה[[חישוביות]], שהוא אחד מעמודי התווך של [[מדעי המחשב]] התאורטיים. ...ה גרם לכך שמשפטי אי-כריעות רבים אחרים יתבססו על [[רדוקציה חישובית|רדוקציות חישוביות]] ממנה. ...9 ק"ב (213 מילים) - 04:40, 9 בספטמבר 2024
- ...רית גם '''פונקציית אוב''') היא מכונה מופשטת שבאמצעותה נחקרות [[בעיית הכרעה|בעיות הכרעה]]. ניתן לדמות אותה ל[[קופסה שחורה (הנדסה)|קופסה שחורה]], שמחוברת ל[[מ ...אורקלים הוא יצירת קשר בין שאלות פתוחות שונות, העוסקות בהיותן של פונקציות [[חישוביות|ניתנות לחישוב]] או ניתנות לחישוב ב[[זמן ריצה פולינומי]]. זאת כיוון שמושג הא ...6 ק"ב (279 מילים) - 05:47, 29 בינואר 2025
- == פתרון בעיות אופטימיזציה == == שיטות חישוביות == ...9 ק"ב (400 מילים) - 05:08, 17 בפברואר 2024
- '''שיטת מונטה קרלו''' היא שיטה לפתרון בעיות חישוביות באמצעות [[מספרים אקראיים]] (בניגוד ל[[אלגוריתם דטרמיניסטי|אלגוריתמים דטרמינ ...ות על מערכות פיזיקליות או מתמטיות מורכבות. השימוש העיקרי בהם הוא כדי לפתור בעיות שאינן ניתנות לפתרון מתמטי מדויק, או כדי לחסוך בכוח [[חישוב (מדעי המחשב)|חיש ...7 ק"ב (41 מילים) - 08:25, 18 במרץ 2025
- ...''' (מ[[אנגלית]]: '''Recursive''') היא מחלקה אשר מכילה את כל [[בעיית הכרעה|בעיות ההכרעה]] אשר ניתנות לפתירה על ידי [[מכונת טיורינג]] ואשר מהווה [[קבוצה (מתמ ...3 ק"ב (79 מילים) - 22:39, 7 בפברואר 2024
- ...Enumerable''') היא [[מחלקת סיבוכיות|מחלקה]] אשר מכילה את כל [[בעיית הכרעה|בעיות ההכרעה]] שעל התשובה "כן" קיימת [[מכונת טיורינג]] היכולה לוודא זאת בזמן סופי באופן שקול, ניתן להגדיר את המחלקה '''RE''' בתור מחלקת כלל בעיות ההכרעה כך שקיימת מכונת טיורינג היכולה למנות את כל מופעי ה-"כן", זו אחר זו ( ...7 ק"ב (108 מילים) - 23:40, 7 בפברואר 2024
- ...חום [[קומבינטוריקה]]. בארבעת העשורים האחרונים היא שימשה כנקודת מפתח בפתרון בעיות קומבינטורית השואפות למציאת פתרון יציב. נקראת ע"ש [[הרברט סקרף]]. הלמה משמשת הוכחה למספר בעיות "fractional stability type" להלן רשימה חלקית: ...4 ק"ב (374 מילים) - 14:37, 17 באפריל 2019
- ...נגלית]]: '''Rice's theorem'''), הוא [[משפט (מתמטיקה)|משפט]] מרכזי בתחום ה[[חישוביות]], שעוסק ביכולת של [[אלגוריתם|אלגוריתמים]] לחקור אלגוריתמים אחרים. המשפט או [[קטגוריה:חישוביות]] ...7 ק"ב (221 מילים) - 09:06, 26 ביולי 2024
- ...]] נקראת כריעה אם ניתן להחליט האם כל [[טיעון]] הוא [[תקפות (לוגיקה)|תקף]]. בעיות חשובות רבות אינן כריעות, כלומר, ניתן להוכיח שלא קיים אלגוריתם אשר עונה נכונ קל להוכיח כי קיימות בעיות שלא ניתן לכתוב אלגוריתם לפתרונן, וכך למעשה, השפות המתאימות אינן כריעות. עוב ...6 ק"ב (153 מילים) - 06:18, 4 באפריל 2024
- .../webcourse.cs.technion.ac.il/236343/Spring2016/ho/WCFiles/t04.pdf רדוקציות חישוביות], [[טכניון]]}}. ...לינומית מוכיחים על בעיות כי פתרון יעיל שלהן יגרור פתרון יעיל של כל המחלקה. בעיות אלו נקראות [[בעיה NP-קשה|NP-קשות]]. ...8 ק"ב (83 מילים) - 04:55, 1 בינואר 2025
- ...מספר|שורש]] של מספר ממשי נתון היא בעיה בסיסית ב[[אנליזה נומרית]]. כמו הרבה בעיות אחרות, הפתרון כולל שני מרכיבים: מציאת קירוב, ושיפורו ההדרגתי. את הקירוב הרא ...37 \pmod{3^2}</math>. למעשה, היכולת להוציא שורשים מודולו n שקולה, מבחינה [[חישוביות|חישובית]], ליכולת לפרק את n לגורמים ראשוניים (ראו [[הצפנת רבין|שיטת רבין]]) ...10 ק"ב (397 מילים) - 01:25, 8 ביולי 2024
- הניסיונות לפתור את הבעיה הביאו להולדתה של [[חישוביות|תורת החישוביות]], ובסופו של דבר, ב-[[1970]], הוכיח [[יורי מאטיאשביץ']] שהתש ...נות מתוך העובדה ש[[בעיית העצירה]] ל[[מכונת טיורינג|מכונות טיורינג]] אינה [[חישוביות|ניתנת לחישוב]]. (ב-[[1944]] העיר פוסט שלבעיה העשירית צריך להיות פתרון שלילי ...16 ק"ב (263 מילים) - 21:48, 30 בינואר 2024
- בהסתמך על [[חישוביות|תורת החישוביות]], מבטאים תיאורים כרצפים סופיים של 0 ו-1. בטכנולוגיית [[תקשו [[קטגוריה:חישוביות]] ...11 ק"ב (200 מילים) - 16:14, 9 ביוני 2024
- [[קטגוריה:בעיות שאינן ניתנות לחישוב]] [[קטגוריה:חישוביות]] ...7 ק"ב (50 מילים) - 11:24, 1 ביולי 2024