תוכן שנמחק תוכן שנוסף
Crazy Ivan (שיחה | תרומות) ←תבנית:הזמנה: פסקה חדשה |
|||
שורה 286:
::אחלה! בעיקר התכוונתי להוכחה של [[תורת החישוביות/כריעות שפות/משפט רייס#משפט רייס|משפט רייס]] ששכתבת. אני הייתי נמנע להשתמש ב־Q למכונה כי Q היא קבוצת המצבים של מ״ט נתונה. F היא קבוצת המצבים הסופיים (משום מה אחת ה־f שרשמת הפכה גדולה, או שהיא מוגדרת איפשהו ולא שמתי לב). הייתי גם מפריד את רעיון ההוכחה מההוכחה עצמה: קודם מסביר שנניח בדרך השלילה (...) ונקבל סתירה, ורק אז מתחיל להגדיר את Q וכו. שיניתי כמה מינוחים (accept/reject במקום true/false ובכלל עדיף מקבלת/דוחה). המילה "רקורסיבית" מופיעה לראשונה בקטע שכתבת (ועל כן הקורא לא יידע מה כוונתך..). {{#תנאי:|‎|‏}}[[משתמש:Gran|gran]]{{#תנאי:|‎|‏}} - [[שיחת משתמש:gran|שיחה]]
:: (אגב, בל ירפו יידיך! רק צריך לבדוק כל פעם מחדש שהדברים הוגדרו בפרקים הקודמים, ולהשתמש באותם סימולים.. גם אני חוזר שוב ושוב לפרקים הראשונים לראות איך הגדרתי.. וגם אני לפעמים חורג מהעקביות של עצמי ומתקן יותר מאוחר שאני מגלה את ההבדלים.. ) {{#תנאי:|‎|‏}}[[משתמש:Gran|gran]]{{#תנאי:|‎|‏}} - [[שיחת משתמש:gran|שיחה]] 00:04, 23 בינואר 2012 (IST)
== [[תבנית:הזמנה]] ==
כאשר משתמש אנונימי מבצע תיקון (או מספר קטן של תיקונים), עדיף להשתמש ב[[תבנית:תודה]] שמנוסחת בצורה מתאימה יותר לתרחיש זה. [[תבנית:הזמנה]] מתאימה למקרים של כותב שתורם בצורה אינטנסיבית ללא חשבון משתמש. [[משתמש:Crazy Ivan|Crazy Ivan]] • [[שיחת משתמש:Crazy Ivan|שיחה]] 23:46, 23 בינואר 2012 (IST)
| |||