שיחה:אלגברה בוליאנית
מתוך ויקיפדיה, האנציקלופדיה החופשית
כדאי לגאול בהזדמנות את הערך הזה, למשל בעזרת הערך באנגלית. כרגע אפשר לקבל את הרושם כאילו יש תחום שלם במתמטיקה שעוסק במגוון המרתק של פעולות בשני המספרים אפס ואחד. (לשם הבהרה, אלגברה בוליאנית הוא התחום במתמטיקה שעוסק באלגברות בוליאניות, כמו ש"אלגברה ליניארית" עוסקת במרחבים וקטוריים. אלגברה בוליאנית (מבנה אלגברי) זו אלגברה-של-קבוצות, או לחילופין חוג שבו מתקיימת הזהות 
. בין שני המבנים יש התאמה חד-חד-ערכית. השדה בן שני האברים הוא בסך-הכל הדוגמא הקטנה ביותר לחוג בוליאני). עוזי ו. 05:47, 12 ינואר 2006 (UTC)
[עריכה] הצעה
אני סבור שהערך במצב זה איננו ממצה כראוי את התכן אליו הוא נדרש, הן מבחינה מתמטית והן מעשית, כפי שהצביע עוזי ו. מעלי. אני מציע לבצע הלכה למעשה פיצול של הערך לשני ערכים נפרדים: ערך אחד שיעסוק בסקירה מתמטית של הנושא (תחת המבנה של ערכים מתמטיים עם הגדרות פורמאליות וניסוחים טכניים) וערך נוסף שיעסוק בסיכום הנושא המצומצם של פונקציות בשדה דו-ערכי מבחינה יותר ישומית: פעולות אונאריות ובינאריות, כללי דה-מורגן, עבודה עם טבלאות אמת ובעיקר ישום באלקטרוניקה, מחשבים ומיתוג. אמנם, הפרדה זו היא במידה לא מועטה הפרדה טכנית, אך נראית לי שימושית עבור המשתמש המחפש ערך שיסכם את הנושא מבחינה ישומית אל מול מי שמחפש ערך מתמטי, כל עוד אין לנו ערכים ברמת פירוט וכמות מידע כמו במקבילה האנגלית וכל עוד הערך המתמטי כאן הנו מצומצם למדי. כרגע, אני מוכן לקחת על עצמי את בנית הערך הישומי ומעוניין לשמוע האם יש עוד דעות. שמעון נעים 08:30, 10 אוגוסט 2006 (IDT)
- לערך ה"יישומי" אפשר לקרוא לוגיקה בוליאנית. עוזי ו. 08:37, 10 אוגוסט 2006 (IDT)
הצעה מעולה. אתחיל לעבוד עליו בקרוב. שמעון נעים 10:06, 10 אוגוסט 2006 (IDT)- הערך נכתב כמעט כולו ובהתאם לכך הורדתי את החלק שהועבר לערך המדובר והוספתי הודעת קצרמר בתקווה שאי-מי ירחיב אותו לערך מתמטי "ראוי לשמו", אפשר בהתבסס על הערך האנגלי. שמעון נעים 16:55, 10 באוגוסט 2006 (IDT)
