תוצאות החיפוש
קפיצה לניווט
קפיצה לחיפוש
כותרות דפים תואמות
- {{תורת החישוביות}} '''תורת החישוביות''' עוסקת ביכולות החישוב ובמודלי החישוב השונים. בפרט, התורה מתמקדת בשאלות של ...7 ק"ב (116 מילים) - 05:33, 18 בפברואר 2012
- {{תורת החישוביות}} ב[[תורת החישוביות/מבוא#מוטיבציה|חלק המוטיבציה במבוא לספר]], ראינו שאי אפשר לכתוב תוכנית מחשב ...16 ק"ב (582 מילים) - 08:23, 18 ביולי 2017
- {{תורת החישוביות}} ...בים ב[[w:חישוביות|חישוביות]], [[w:לוגיקה מתמטית|לוגיקה]] ו[[w:תורת הקבוצות|תורת הקבוצות]]. פרק זה יהיה מעט פילוסופי, וקצת יסטה מהקו הפורמלי שנקטנו בו עד כה ...25 ק"ב (929 מילים) - 17:02, 21 בספטמבר 2014
- {{תורת החישוביות}} ...ולמוגורוב מקשר בין תחום החישוביות לתחומים אחרים, כגון [[w:תורת האינפורמציה|תורת האינפורמציה]], ויש לו מספר שימושים. ב[[#אי-חישוביות פונקציית הסיבוכיות|אי-ח ...19 ק"ב (908 מילים) - 19:33, 12 בפברואר 2012
- {{תורת החישוביות}} {{תורת החישוביות|מוגבל}} ...13 ק"ב (530 מילים) - 21:51, 16 במאי 2024
- {{תורת החישוביות}} {{תרגיל|שאלה=קודד למחרוזת בינארית את המכונה המתוארת ב[[תורת החישוביות/מכונת טיורינג#דוגמא|דוגמא]] שבפרק מכונות-טיורנג.|יישור=ימין|פתרון=}} ...13 ק"ב (384 מילים) - 14:00, 4 בספטמבר 2018
- [[קטגוריה:תורת החישוביות]] ...2 ק"ב (97 מילים) - 11:01, 25 במרץ 2024
- {{תורת החישוביות}} [[קטגוריה:תורת החישוביות]] ...14 ק"ב (328 מילים) - 12:31, 29 באוגוסט 2020
- {{תורת החישוביות}} {{תורת החישוביות|מוגבל}} ...6 ק"ב (292 מילים) - 09:53, 30 בינואר 2012
- {{תורת החישוביות}} הוכח את [[תורת החישוביות/סיבוכיות קולמוגורוב#אי-דחיסות מחרוזות|משפט: אי-דחיסות משמעותית של רוב המחרו ...3 ק"ב (144 מילים) - 09:51, 1 באוגוסט 2012
- {{תורת החישוביות}} בפרק [[תורת החישוביות/כריעות שפות/קיום שפות שאינן כריעות|קיום שפות לא כריעות]] ראינו שבעיה ספיציפ ...19 ק"ב (1,003 מילים) - 13:49, 7 בספטמבר 2018
- {{תורת החישוביות}} ...h>f(n)</math>. מסמלצים את המכונה ע"י מכונה בעלת סרט יחיד כפי שמוצע ב[[תורת החישוביות/שקילות מודלי חישוב/תרגילים#שקילות מ"ט מרובת סרטים|שקילות מ"ט מרובת סרטים]]. ...965 בתים (19 מילים) - 09:51, 1 באוגוסט 2012
- {{תורת החישוביות}} {{תזכורת|שיטת ההרצה המבוקרת הוצגה בפרק [[תורת החישוביות/מודל לבעיות הכרעה]]}} ...3 ק"ב (146 מילים) - 03:52, 29 בינואר 2012
- {{תורת החישוביות}} בלי הגבלת הכלליות, נניח כי ה[[תורת החישוביות/כריעות שפות|שפה הריקה]] אינה ב־<math>S</math> (כלומר ...19 ק"ב (900 מילים) - 21:12, 24 במרץ 2024
- {{תורת החישוביות}} ב[[תורת החישוביות/מבוא#מוטיבציה|חלק המוטיבציה במבוא לספר]], ראינו שאי אפשר לכתוב תוכנית מחשב ...15 ק"ב (556 מילים) - 11:55, 18 במאי 2019
- {{תורת החישוביות}} ...dovetailing]], תהליך ה"הרצה במקביל" שראינו כבר במהלך הספר (לדוגמה, ב[[תורת החישוביות/מודל לבעיות הכרעה#שקילות למודל הכללי|הוכחת השקילות בין המודל הכללי למודל הה ...21 ק"ב (1,029 מילים) - 09:31, 11 בפברואר 2012
- {{תורת החישוביות}} ...שהבעיה איננה כריעה באופן כללי? אם כן, נמק. אם לא, הסבר היכן קורסת ה[[תורת החישוביות/כריעות שפות/משפט רייס#משפט רייס|הוכחה]]. ...9 ק"ב (497 מילים) - 00:10, 10 בינואר 2016
- {{תורת החישוביות}} <math>L_1</math> באופן דומה ל[[תורת החישוביות/כריעות שפות#דוגמאות לשפות בRE|שפת האלכסון]]: ...4 ק"ב (239 מילים) - 09:00, 8 בספטמבר 2018
- {{תורת החישוביות}} ...יבוכיות הקולמוגורוב של סדרה ספיציפית כלשהי. מצד שני, ראינו בתת-הפרק [[תורת החישוביות/סיבוכיות קולמוגורוב#אי-דחיסות|אי דחיסות]] שתי תכונות מעניינות שלה: ...12 ק"ב (470 מילים) - 18:02, 3 בפברואר 2012
- {{תורת החישוביות}} ...במצב כזה, אין טעם "להוכיח את הגלגל מחדש" ולבנות סתירה כפי שעשינו ב[[תורת החישוביות/כריעות שפות/קיום שפות שאינן כריעות#קיום שפות לא כריעות|הוכחת אי-כריעותה של ...14 ק"ב (673 מילים) - 02:53, 8 בפברואר 2012
דפים עם תוכן תואם
- {{תורת החישוביות}} ...h>f(n)</math>. מסמלצים את המכונה ע"י מכונה בעלת סרט יחיד כפי שמוצע ב[[תורת החישוביות/שקילות מודלי חישוב/תרגילים#שקילות מ"ט מרובת סרטים|שקילות מ"ט מרובת סרטים]]. ...965 בתים (19 מילים) - 09:51, 1 באוגוסט 2012
- {{תורת החישוביות}} {{תזכורת|שיטת ההרצה המבוקרת הוצגה בפרק [[תורת החישוביות/מודל לבעיות הכרעה]]}} ...3 ק"ב (146 מילים) - 03:52, 29 בינואר 2012
- {{תורת החישוביות}} הוכח את [[תורת החישוביות/סיבוכיות קולמוגורוב#אי-דחיסות מחרוזות|משפט: אי-דחיסות משמעותית של רוב המחרו ...3 ק"ב (144 מילים) - 09:51, 1 באוגוסט 2012
- {{תורת החישוביות}} <math>L_1</math> באופן דומה ל[[תורת החישוביות/כריעות שפות#דוגמאות לשפות בRE|שפת האלכסון]]: ...4 ק"ב (239 מילים) - 09:00, 8 בספטמבר 2018
- {{תורת החישוביות}} [[קטגוריה:תורת החישוביות]] ...2 ק"ב (157 מילים) - 09:51, 1 באוגוסט 2012
- {{תורת החישוביות}} '''תורת החישוביות''' עוסקת ביכולות החישוב ובמודלי החישוב השונים. בפרט, התורה מתמקדת בשאלות של ...7 ק"ב (116 מילים) - 05:33, 18 בפברואר 2012
- {{תורת החישוביות}} ...<math>coRE</math>. בחלק זה נראה שאכן יש שפות במחלקות אלו. בחלק הבא, [[תורת החישוביות/כריעות שפות/רדוקציה|רדוקציה]], נראה טכניקה כללית מאד, המראה כיצד אפשר לעתים ...6 ק"ב (241 מילים) - 09:49, 1 באוגוסט 2012
- {{תורת החישוביות}} ...<math>coRE</math>. בחלק זה נראה שאכן יש שפות במחלקות אלו. בחלק הבא, [[תורת החישוביות/כריעות שפות/רדוקציה חישובית|רדוקציה חישובית]], נראה טכניקה כללית מאד, המראה ...8 ק"ב (339 מילים) - 14:35, 31 בינואר 2019
- {{תורת החישוביות}} ב[[תורת החישוביות/כריעות שפות#כריעות: מחלקות של שפות ותכונותיהן|חלקים הקודמים]] ראינו מספר קב ...9 ק"ב (423 מילים) - 09:11, 4 בדצמבר 2018
- {{תורת החישוביות}} ...שהבעיה איננה כריעה באופן כללי? אם כן, נמק. אם לא, הסבר היכן קורסת ה[[תורת החישוביות/כריעות שפות/משפט רייס#משפט רייס|הוכחה]]. ...9 ק"ב (497 מילים) - 00:10, 10 בינואר 2016
- {{תורת החישוביות}} {{תורת החישוביות|מוגבל}} ...6 ק"ב (292 מילים) - 09:53, 30 בינואר 2012
- {{תורת החישוביות}} ב[[תורת החישוביות/מבוא#מוטיבציה|חלק המוטיבציה במבוא לספר]], ראינו שאי אפשר לכתוב תוכנית מחשב ...15 ק"ב (556 מילים) - 11:55, 18 במאי 2019
- [[קטגוריה:תורת החישוביות]] ...2 ק"ב (97 מילים) - 11:01, 25 במרץ 2024
- {{תורת החישוביות}} ב[[תורת החישוביות/מבוא#מוטיבציה|חלק המוטיבציה במבוא לספר]], ראינו שאי אפשר לכתוב תוכנית מחשב ...16 ק"ב (582 מילים) - 08:23, 18 ביולי 2017
- {{תורת החישוביות}} בלי הגבלת הכלליות, נניח כי ה[[תורת החישוביות/כריעות שפות|שפה הריקה]] אינה ב־<math>S</math> (כלומר ...19 ק"ב (900 מילים) - 21:12, 24 במרץ 2024
- {{תורת החישוביות}} ...יבוכיות הקולמוגורוב של סדרה ספיציפית כלשהי. מצד שני, ראינו בתת-הפרק [[תורת החישוביות/סיבוכיות קולמוגורוב#אי-דחיסות|אי דחיסות]] שתי תכונות מעניינות שלה: ...12 ק"ב (470 מילים) - 18:02, 3 בפברואר 2012
- {{תורת החישוביות}} ...במצב כזה, אין טעם "להוכיח את הגלגל מחדש" ולבנות סתירה כפי שעשינו ב[[תורת החישוביות/כריעות שפות/קיום שפות שאינן כריעות#קיום שפות לא כריעות|הוכחת אי-כריעותה של ...14 ק"ב (673 מילים) - 02:53, 8 בפברואר 2012
- {{תורת החישוביות}} ...ולמוגורוב מקשר בין תחום החישוביות לתחומים אחרים, כגון [[w:תורת האינפורמציה|תורת האינפורמציה]], ויש לו מספר שימושים. ב[[#אי-חישוביות פונקציית הסיבוכיות|אי-ח ...19 ק"ב (908 מילים) - 19:33, 12 בפברואר 2012
- {{תורת החישוביות}} בפרק [[תורת החישוביות/כריעות שפות/קיום שפות שאינן כריעות|קיום שפות לא כריעות]] ראינו שבעיה ספיציפ ...19 ק"ב (1,003 מילים) - 13:49, 7 בספטמבר 2018
- {{תורת החישוביות}} {{תרגיל|שאלה=קודד למחרוזת בינארית את המכונה המתוארת ב[[תורת החישוביות/מכונת טיורינג#דוגמא|דוגמא]] שבפרק מכונות-טיורנג.|יישור=ימין|פתרון=}} ...13 ק"ב (384 מילים) - 14:00, 4 בספטמבר 2018