תורת החישוביות/כריעות שפות/רדוקציה חישובית: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ עריכה |
מ הגהה |
||
שורה 2:
{{בעבודה}}
כצעד ראשון לקראת ההוכחה ששפות מסוימות אינן כריעות, נרצה להציג את רעיון ה'''רדוקציה''' שהינו אחד הרעיונות המרכזיים ביותר במדעי המחשב. הרעיון שעומד מאחורי הרדוקציה הוא
<div class="toclimit-3">__TOC__</div>
| |||