תורת החישוביות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
מ הגהה - הצגת קישורים |
||
שורה 7:
{{תוכן עניינים|
* [[תורת החישוביות/מבוא|מבוא]]
* [[תורת החישוביות/מכונת טיורינג|מכונת טיורינג]]
* [[תורת החישוביות/שקילות מודלי חישוב|שקילות מודלי חישוב]]
* [[תורת החישוביות/מכונת טיורינג אוניברסלית|מכונת טיורינג אוניברסלית]]
* [[תורת החישוביות/מודל לבעיות הכרעה|מודל לבעיות הכרעה]]
* [[תורת החישוביות/כריעות שפות|כריעות שפות]]
** [[תורת החישוביות/כריעות שפות/רדוקציה|רדוקציה]]
** [[תורת החישוביות/כריעות שפות/שפות שאינן כריעות|שפות שאינן כריעות]]
** [[תורת החישוביות/כריעות שפות/משפט רייס|משפט רייס]]
* [[תורת החישוביות/משפט הרקורסיה|משפט הרקורסיה]]
* [[תורת החישוביות/בעיות זיהוי ובעיות חיפוש|בעיות זיהוי ובעיות חיפוש]]
* [[תורת החישוביות/מבוא לסיבוכיות|מבוא לסיבוכיות]]
* [[תורת החישוביות/סיבוכיות זמן פולינומית|סיבוכיות זמן פולינומית]]
* [[תורת החישוביות/ זיהוי יעיל וחיפוש יעיל|זיהוי יעיל וחיפוש יעיל]]
* [[תורת החישוביות/מכונת טיורינג אי-דטרמיניסטיות|מכונת טיורינג אי-דטרמיניסטיות]]
* [[תורת החישוביות/שפות NP שלמות ומשפט קוק|שפות NP שלמות ומשפט קוק]]
* [[תורת החישוביות/סיבוכיות זיכרון|סיבוכיות זיכרון]]
}}
| |||