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