תורת החישוביות: הבדלים בין גרסאות בדף

* [[תורת החישוביות/מכונת טיורינג|מכונת טיורינג]]

* [[תורת החישוביות/שקילות מודלי חישוב|שקילות מודלי חישוב]]

* [[תורת החישוביות/מכונת טיורינג אוניברסלית|מכונת טיורינג אוניברסלית]]

* [[תורת החישוביות/מודל לבעיות הכרעה|מודל לבעיות הכרעה]]

* [[תורת החישוביות/כריעות שפות|כריעות שפות]]

** [[תורת החישוביות/כריעות שפות/רדוקציה|רדוקציה]]

** [[תורת החישוביות/כריעות שפות/שפות שאינן כריעות|שפות שאינן כריעות]]

** [[תורת החישוביות/כריעות שפות/משפט רייס|משפט רייס]]

** [[תורת החישוביות/משפטכריעות הרקורסיהשפות/אי-הפרדתיות רקורסיבית|אי-הפרדתיות רקורסיבית]]

* [[תורת החישוביות/סיבוכיותמשפט קולמוגורובהרקורסיה|משפט הרקורסיה]]

* [[תורת החישוביות/בעיותסיבוכיות זיהויקולמוגורוב|סיבוכיות ובעיות חיפושקולמוגורוב]]