תוכן שנמחק תוכן שנוסף
Gran (שיחה | תרומות)
Gran (שיחה | תרומות)
שורה 152:
::: תודה! אוקי, אז אני אמשיך הלאה, ואתה מוזמן להוסיף את הקטע על {{וק|משפטי האי שלמות של גדל}}. אם אתה בקיא בתחום, אתה מוזמן לעבור גם על [[אוטומטים ושפות פורמליות]].. {{#תנאי:|‎|‏}}[[משתמש:Gran|gran]]{{#תנאי:|‎|‏}} - [[שיחת משתמש:gran|שיחה]] 06:00, 21 בינואר 2012 (IST)
 
==כריעות שפות==
 
שלום שוב, ושוב סחתיין על הספר היפה בחישוביות. הייתי רוצה להציע ארגון קצת שונה לארבעת (אולי חמשת) החלקים המדברים על כריעות. מודל כריעות, לדוגמה, מופיע לפני הגדרת הכריעות. נראה לי שאני מבין את ההגיון של מה שעשית, ובכל זאת, מה דעתך על ארגון קצת שונה? אם כן, אנסה בסופ"ש הבא לארגן את תוכן דפיך בצורה טיפ-טיפה שונה בצד, ונוכל אולי לדון אם כן או לא. אנא אמור לי אם נראה לך בכלל, כי בניגוד לרצונך לא אעשה זאת בכל מקרה. כל טוב, [[משתמש:Atavory|Atavory]] - [[שיחת משתמש:Atavory|שיחה]]