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

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