בתשובה להאייל האלמוני, 28/04/10 19:28
 |
|
 |
||
|
||||
 |
תוצאות לוגיות החלט תלויות בטכנולוגיה. אם תחמם יותר מדי את הרכיב הלוגי1, תוכל לגרום לו לעשות שגיאות. יש לא מעט אנשים (גם בארץ) שמחקרם כולל עינויים דומים של רכיבים לוגיים, כדי לגרום להם לגלות סודות. למרבה הצער אחוזי התמותה (של הרכיבים) יכולים להיות גבוהים למדי. 1 כמו סטודנטים רבים אחרים במדעי המחשב (לפחות בטכניון) למדתי באותו הסימסטר את הקורסים "לוגיקה למדעי המחשב א"' (קורס שמדבר על לוגיקה מתמטית [ויקיפדיה]) ואת הקורס "תכן לוגי" (שמדבר על שער לוגי [ויקיפדיה], או ליתר דיוק רכיבים עם הרבה שערים לוגיים). אף לא אחד משניהם הוא אותה לגיקה שאמורה להיות טריוויאלית (כלומר חלק מהטריוויום [ויקיפדיה]). |
 |
 |
 |
|
|
|
||
|
||||
|
אני למדתי רק מתמטיקה. אולי בגלל זה לא נראה לי שמה שכתבת קשור לדיון הנוכחי. | |
|
|
|
|
|
||
|
||||
|
יש לי הרגשה שמה שניסיתי להסביר (ולא להוכיח) בתגובה 541743 הוא מה שאתה(?) מנסה להראות כאן: גם אם לא נטרח בעצמנו לבדוק את הערך, הערך קיים. הוא נקבע חד־משמעית ע"י תנאי המערכת. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |