תוכן עניינים
95 יחסים: NAND, NOR, XOR, מסנן (תורת הקבוצות), מספר טבעי, מעגל אלקטרוני דיגיטלי, מרחב טופולוגי, מרחב בלתי קשיר לחלוטין, מרחב האוסדורף, משפט הייצוג של סטון, משלים (מתמטיקה), מתמטיקאי, מתמטיקה, מתח חשמלי, מתכנת, מחלק, מבנה אלגברי, מדעי המחשב, מהנדס, אם ורק אם, אנגלית, אסוציאטיביות, אקסיומה, אלפרד נורת' וייטהד, אלגברה אוניברסלית, אלגברה של קבוצות, אלגברה בוליאנית, אלגוריתם, או (לוגיקה), אינפימום, אינוולוציה (מתמטיקה), איזומורפיזם, איחוד (מתמטיקה), אידמפוטנט, אידמפוטנטיות, אידיאל (אלגברה), אידיאל מקסימלי, אידיאל ראשוני, סריג (מבנה סדור), סדר חלקי, סופרמום, סיבית, סיגמא-אלגברה, ערך אמת, עד כדי (מתמטיקה), עוצמה (מתמטיקה), פעולה אונארית, פעולה בינארית, פונקציה, פונקציה על, ... להרחיב מדד (45 יותר) »
- אלגברה בוליאנית
- מבנים אלגבריים
NAND
#הפניה NAND לוגי.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וNAND
NOR
#הפניה NOR לוגי.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וNOR
XOR
באלגברה בוליאנית, או בררני או או מוציא (באנגלית: eXclusive OR ובראשי תיבות: XOR) היא פעולה בוליאנית המקבלת שני אופרנדים ומחזירה אמת כאשר שני האופרנדים שונים.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וXOR
מסנן (תורת הקבוצות)
בתורת הקבוצות, מסנן מעל קבוצה X הוא: משפחה לא ריקה של תת-קבוצות של X, הסגורה להגדלה ולחיתוך סופי, ואינה כוללת את הקבוצה הריקה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומסנן (תורת הקבוצות)
מספר טבעי
במתמטיקה מספר טבעי הוא מספר שלם חיובי, המתאר מספר איברים בקבוצה סופית, כמו 1,2,3 או כמו 72.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומספר טבעי
מעגל אלקטרוני דיגיטלי
#הפניה אלקטרוניקה ספרתית.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומעגל אלקטרוני דיגיטלי
מרחב טופולוגי
בטופולוגיה, מרחב טופולוגי הוא מושג שמאפשר להכליל מושגים כמו התכנסות, קשירות, רציפות והפרדה בין נקודות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומרחב טופולוגי
מרחב בלתי קשיר לחלוטין
בטופולוגיה, מרחב בלתי קשיר לחלוטין הוא מרחב טופולוגי שכל תת-קבוצה בו שאינה יחידון אינה קשירה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומרחב בלתי קשיר לחלוטין
מרחב האוסדורף
בטופולוגיה, מרחב האוסדורף הוא מרחב טופולוגי שבו ניתן להפריד בין נקודות על ידי קבוצות פתוחות זרות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומרחב האוסדורף
משפט הייצוג של סטון
במתמטיקה, משפט הייצוג של סטון קובע כי כל אלגברה בוליאנית איזומורפית לאלגברה של קבוצות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומשפט הייצוג של סטון
משלים (מתמטיקה)
בתורת הקבוצות, משלים של קבוצה G (באנגלית: G complement of set) הוא קבוצה אחרת, אשר מכילה את כל האיברים שאינם נמצאים ב-G. זאת ביחס לקבוצה U כלשהי שהיא "הקבוצה האוניברסלית" - קבוצה שבהקשר הנוכחי של הדיון, כל קבוצה שעליה נדבר היא תת קבוצה של U.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומשלים (מתמטיקה)
מתמטיקאי
קרל פרידריך גאוס, מגדולי המתמטיקאים בכל הזמנים. פרס אָבֶּל למתמטיקה מתמטיקאי הוא אדם העוסק במתמטיקה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומתמטיקאי
מתמטיקה
שיעור באלגברה ליניארית באוניברסיטת הלסינקי ילדות פותרות תרגיל במתמטיקה מָתֵמָטִיקָה היא תחום דעת העוסק במושגים כגון כמות, מבנה, מרחב ושינוי.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומתמטיקה
מתח חשמלי
בחשמל, מתח חשמלי הוא ההפרש בפוטנציאל החשמלי בין שתי נקודות במרחב.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומתח חשמלי
מתכנת
מהנדס תוכנה כותב קוד בשפת התכנות JavaScript מְתַכְנֵת (לעיתים תָּכְנִיתָן או תַּכְנָת) הוא אדם העוסק בתכנות, כלומר בפיתוח ובתחזוקה של תוכנה למחשבים על ידי קידוד (כלומר כתיבה או שינוי של קוד) בשפת תכנות אחת או יותר.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומתכנת
מחלק
במתמטיקה, מספר שלם a הוא מחלק (או גורם) של מספר שלם b אם אפשר לכתוב את b כמכפלה של a במספר שלם c, כלומר אם קיים \Z\ni c כך ש-b.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומחלק
מבנה אלגברי
מבנים אלגבריים שונים. הוספת תכונה מתאימה מצמצת את המחלקה באלגברה מופשטת, מבנה אלגברי הוא מבנה מתמטי המורכב מקבוצה עם פעולה, או פעולות, המקיימות אקסיומות מסוימות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומבנה אלגברי
מדעי המחשב
מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומדעי המחשב
מהנדס
מהנדס הוא אדם העוסק בהנדסה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ומהנדס
אם ורק אם
אם ורק אם (ראשי תיבות: אמ"ם) או "אימוּם" (בלשון חז"ל: תנאי כפול, וסימונו בלוגיקה פורמלית: \Leftrightarrow, \leftrightarrow או ≡) בתחום הלוגיקה המתמטית הוא קַשָּׁר לוגי בין שתי טענות השקולות זו לזו במובן שכל אחת אמיתית כשהשנייה אמיתית, אך אם אחת אינה אמיתית גם השנייה שגויה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואם ורק אם
אנגלית
אנגלית (באנגלית: English) היא שפה ממשפחת השפות הגרמאניות שמקורה באנגליה, והיא אחת השפות המדוברות ביותר בעולם.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואנגלית
אסוציאטיביות
#הפניה פעולה אסוציאטיבית.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואסוציאטיביות
אקסיומה
אַקְסיּוֹמָה, אמיתה, או הנחת יסוד (בכתיב ארכאי: אכּסיוֹמה) היא הנחה אשר מתייחסים אליה במסגרת מסוימת כנכונה מבלי להוכיחה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואקסיומה
אלפרד נורת' וייטהד
אלפרד נורת' וייטהד (באנגלית: Alfred North Whitehead; בנולד ב־15 בפברואר 1861, ברמסגייט, קנט, בריטניה ונפטר ב־30 בדצמבר 1947, קיימברידג', ארצות הברית) היה פילוסוף, פיזיקאי ומתמטיקאי בריטי, שעסק בלוגיקה, מתמטיקה, פילוסופיה של המדע, פילוסופיה חינוכית ומטאפיזיקה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואלפרד נורת' וייטהד
אלגברה אוניברסלית
אלגברה אוניברסלית (לעיתים מכונה אלגברה כללית) היא תחום במתמטיקה העוסק בחקר הרעיונות המשותפים לכל המבנים האלגבריים.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואלגברה אוניברסלית
אלגברה של קבוצות
במתמטיקה ובפרט בתורת המידה ואלגבראות בוליאניות, אלגברה של קבוצות (נקראת גם: שדה של קבוצות) מעל קבוצה X\, היא אוסף \mathcal של תת-קבוצות של X המקיים את תכונות הסגירות הבאות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואלגברה של קבוצות
אלגברה בוליאנית
אלגברה בוליאנית היא התחום המתמטי העוסק במבנים האלגבריים הקרויים "אלגברה בוליאנית", ובנושאים הקשורים לכך.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואלגברה בוליאנית
אלגוריתם
אלגוריתם הוא דרך שיטתית וחד-משמעית לביצוע של משימה מסוימת, במספר סופי של צעדים.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואלגוריתם
או (לוגיקה)
בלוגיקה מתמטית, אוֹ או דִּיסְיוּנְקְצְיָה הוא קשר לוגי בינארי, המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית של ערך אמת, כאשר לפחות אחד משני המרכיבים אמיתי.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואו (לוגיקה)
אינפימום
#הפניה אינפימום וסופרמום.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואינפימום
אינוולוציה (מתמטיקה)
הפעלת אינוולוציה פעמיים מחזירה את האיבר המקורי במתמטיקה, אינוולוציה היא פונקציה שהיא ההופכית של עצמה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואינוולוציה (מתמטיקה)
איזומורפיזם
במתמטיקה, אִיזוֹמוֹרְפִיזְם הוא התאמה בין שני מבנים מתמטיים באופן ששומר על המאפיינים המגדירים את המבנה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואיזומורפיזם
איחוד (מתמטיקה)
בתורת הקבוצות ובענפים אחרים במתמטיקה, האיחוד של אוסף של קבוצות הוא קבוצה המכילה את כל מה ששייך לקבוצות אלה, ושום דבר אחר.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואיחוד (מתמטיקה)
אידמפוטנט
כפתור 'עצור' באוטובוס: לאחר לחיצה ראשונה, אין השפעה ללחיצות נוספות. במתמטיקה, אידמפוטנט הוא איבר e של מבנה אלגברי המקיים את התכונה e^2.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואידמפוטנט
אידמפוטנטיות
#הפניה אידמפוטנט.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואידמפוטנטיות
אידיאל (אלגברה)
באלגברה, אידיאל הוא תת-קבוצה של חוג, המקיימת תנאים מסוימים.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואידיאל (אלגברה)
אידיאל מקסימלי
בתורת החוגים אידיאל מקסימלי של חוג הוא אידיאל (אמיתי) שהוא מקסימלי ביחס לסדר ההכלה - כלומר, אינו מוכל באף אידיאל גדול יותר (פרט לחוג עצמו).
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואידיאל מקסימלי
אידיאל ראשוני
במתמטיקה, אידיאל ראשוני הוא אידיאל שאינו יכול להכיל מכפלה של שני אידיאלים בלי להכיל אחד מהם.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ואידיאל ראשוני
סריג (מבנה סדור)
בתורת הקבוצות, סריג הוא קבוצה עם יחס סדר חלקי, שבו לכל שני איברים a,b יש אינפימום וסופרמום.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וסריג (מבנה סדור)
סדר חלקי
הכלה. איבר המינימום הוא \emptyset ואיבר המקסימום \x,y,z\ בתורת הקבוצות, סדר חלקי על קבוצה X הוא יחס בינארי המקיים אחת משתי קבוצות של אקסיומות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וסדר חלקי
סופרמום
#הפניה אינפימום וסופרמום.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וסופרמום
סיבית
סִבִּית (קיצור של סִפְרָה בִּינָרִית באנגלית bit או בִּיט, מתוך השם "binary digit") היא ספרה בינארית – יחידת הנתונים הקטנה ביותר שבה משתמש המחשב.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וסיבית
סיגמא-אלגברה
במתמטיקה, סיגמא-אלגברה על קבוצה X היא משפחה של תת-קבוצות של X, הכוללת את הקבוצה הריקה, וסגורה ללקיחת מַשְׁלִים ולאיחוד בן מנייה (ראו ההגדרה להלן).
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וסיגמא-אלגברה
ערך אמת
ערך אמת הוא מונח בו משתמשים בלוגיקה והוא מציין את הערך שביטוי מסוים יכול לקבל.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וערך אמת
עד כדי (מתמטיקה)
במתמטיקה, לביטוי עד כדי יש מובן של ציון חלק מהמאפיינים של גודל או אובייקט, תוך שמאפיינים אחרים מוזנחים בכוונה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ועד כדי (מתמטיקה)
עוצמה (מתמטיקה)
המונח המתמטי עוצמה, מספר קרדינלי או מספר מונה מתאר גודל של קבוצה שאינו תלוי בתכונות האיברים בקבוצה או בקשרים ביניהם.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ועוצמה (מתמטיקה)
פעולה אונארית
במתמטיקה, פעולה אונארית (או אופרטור אונארי) היא פעולה המתבצעת על איבר בקבוצה, ותוצאתה היא איבר בקבוצה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ופעולה אונארית
פעולה בינארית
הפעולה \circ לוקחת שני איברים x,y ומחזירה איבר חדש x \circ y פעולה בינארית (או אופרטור בינארי) היא פעולה מתמטית המתבצעת בין שני איברים בקבוצה (לא בהכרח שונים זה מזה).
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ופעולה בינארית
פונקציה
פונקציה המתאימה לכל צורה את הצבע שלה פונקציה היא התאמה המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה. במתמטיקה, פוּנְקְצִיָּה (נקראת גם העתקה) היא התאמה, המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ופונקציה
פונקציה על
במתמטיקה, פונקציה מקבוצה A לקבוצה B היא על אם כל איבר בקבוצה B מתקבל כערך של הפונקציה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ופונקציה על
פונקציה חד חד ערכית
#הפניה פונקציה חד-חד-ערכית.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ופונקציה חד חד ערכית
פול כהן
פול ג'וזף כהן (2 באפריל 1934 – 23 במרץ 2007) היה מתמטיקאי יהודי-אמריקאי שעבודתו פורצת הדרך בלוגיקה מתמטית, ובמיוחד ההוכחה שהשערת הרצף עצמאית במסגרת תורת הקבוצות האקסיומטית, זיכתה אותו במדליית פילדס לשנת 1966, ובפרסים חשובים אחרים.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ופול כהן
קטגוריה (מתמטיקה)
במתמטיקה, קטגוריה היא מערכת מתמטית כללית ביותר, המאפשרת לנסח באופן פורמלי תכונות של אובייקטים מופשטים, ותהליכים המשמרים את המבנה של אובייקטים אלו.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקטגוריה (מתמטיקה)
קבוצת החזקה
בתורת הקבוצות, קבוצת החזקה של קבוצה נתונה A היא קבוצת כל תת הקבוצות של A, ומסמנים אותה ב־ \mathcal(A).
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקבוצת החזקה
קבוצה (מתמטיקה)
קבוצה היא מושג יסודי במתמטיקה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקבוצה (מתמטיקה)
קבוצה אינסופית
קבוצה אינסופית היא קבוצה שמספר איבריה אינו סופי, כלומר קבוצה שאינה קבוצה סופית.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקבוצה אינסופית
קבוצה סגורה
במתמטיקה, קבוצה סגורה היא קבוצה שמכילה את השפה שלה, כלומר שכל הנקודות ש"צמודות לה" שייכות לה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקבוצה סגורה
קבוצה סופית
בתורת הקבוצות, קבוצה סופית היא קבוצה שיש לה מספר סופי של איברים.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקבוצה סופית
קבוצה פתוחה
בטופולוגיה ובענפים אחרים הקרובים לה במתמטיקה, קבוצה U נקראת קבוצה פתוחה אם לכל נקודה בקבוצה קיים r>0 כך שכל הנקודות במרחב שמרחקן מהנקודה הוא לכל היותר r - שייכות גם כן ל־U.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקבוצה פתוחה
קבוצה חסומה
בטופולוגיה, תת-קבוצה של מרחב מטרי היא קבוצה חסומה אם היא מוכלת בכדור.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקבוצה חסומה
קומפקטיות
#הפניה קבוצה קומפקטית.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקומפקטיות
קומוטטיביות
#הפניה פעולה קומוטטיבית.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וקומוטטיביות
שנות ה-30 של המאה ה-20
מצעד המחאה על מונופול המלח (מרץ 1930) שנות ה-30 של המאה ה-20 היו העשור הרביעי של המאה ה-20, החלו ב-1 בינואר 1930 והסתיימו ב-31 בדצמבר 1939.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ושנות ה-30 של המאה ה-20
שנות ה-40 של המאה ה-20
ENIAC המחשב האלקטרוני הראשון בעולם אשר נבנה בידי צבא ארצות הברית שנות ה-40 של המאה ה-20 היו העשור החמישי של המאה ה-20, החלו ב-1 בינואר 1940 והסתיימו ב-31 בדצמבר 1949.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ושנות ה-40 של המאה ה-20
שנות ה-60 של המאה ה-19
מלך איטליה ויטוריו אמנואלה השני לבין ג'וזפה גריבלדי נחשבת לסיום של המבצע הצבאי "מסע האלף" אשר בוביל לאיחודה של איטליה שנות ה-60 של המאה ה-19 היו העשור השביעי של המאה ה-19, החלו ב-1 בינואר 1860 והסתיימו ב-31 בדצמבר 1869.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ושנות ה-60 של המאה ה-19
שנות ה-60 של המאה ה-20
הנחיתה המאוישת הראשונה על הירח אשר במסגרתה האדם הראשון בתולדות האנושות הילך על אדמת הירח. שנות ה-60 של המאה ה-20 (בקיצור: שנות השישים או באנגלית הסיקסטיז) היו העשור השביעי של המאה ה-20, החלו ב-1 בינואר 1960 והסתיימו ב-31 בדצמבר 1969.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ושנות ה-60 של המאה ה-20
שער לוגי
שער לוגי הוא רכיב פיזיקלי המבצע פעולות באלגברה בוליאנית, או מודל חישובי המייצג שער אידיאלי כזה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ושער לוגי
שקר (לוגיקה)
#הפניה ערך אמת.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ושקר (לוגיקה)
שקילות לוגית
#הפניה שקילות (לוגיקה).
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ושקילות לוגית
תת קבוצה
#הפניה תת-קבוצה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ותת קבוצה
תחשיב הפסוקים
בלוגיקה ובלוגיקה מתמטית, תחשיב פסוקים (באנגלית: Propositional calculus, Propositional logic או Sentential calculus) הוא מערכת מובנית (פורמליסטית), המאפשרת לייצג את הקַשַּרים הלוגיים בין ערכי האמת של פסוקים לוגיים שונים, ולהסיק את תקפותן ההגיונית (לוגית) של טענות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ותחשיב הפסוקים
תורת הקבוצות
תורת הקבוצות היא תורה מתמטית בסיסית העוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים שונים זה מזה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ותורת הקבוצות
תורת הקבוצות האקסיומטית
תורת הקבוצות האקסיומטית היא תורה מתמטית המהווה ניסוח אקסיומטי של תורת הקבוצות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ותורת הקבוצות האקסיומטית
לא (לוגיקה)
בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי אונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ולא (לוגיקה)
לוגיקה
לוֹגִיקָה (מיוונית: λογική. בעברית: תּוֹרַת הַהִגָּיוֹן) היא שם כולל לתורות הבוחנות קשרי היסק בין טענות תוך התבססות על אקסיומות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ולוגיקה
לוגיקה מתמטית
לוגיקה מתמטית הוא תחום במתמטיקה, העוסק במערכות פורמליות ובדרך בה הן מגלמות מושגים אינטואיטיביים, כגון הוכחה או חישוביות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ולוגיקה מתמטית
לוגיקה בוליאנית
לוגיקה בּוּליאנית הוא ענף בלוגיקה מתמטית ובאלגברה בוליאנית המקבל את שמו ממפתחה הראשון, ג'ורג' בול.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ולוגיקה בוליאנית
טאוטולוגיה (לוגיקה)
בלוגיקה, טָאוּטוֹלוֹגְיָה (מיוונית: Ταυτολογία; "ταὐτός", אותו דבר, ו-"λόγος", הסבר) היא פסוק שהוא תמיד אמת (נכון) בכל מבנה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וטאוטולוגיה (לוגיקה)
טריוויאלי (מתמטיקה)
במתמטיקה, המונח טריוויאלי מתאר עצם מופשט חסר ייחוד, שקיומו מובן מאליו, ומשום כך אין מוצאים בו עניין.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וטריוויאלי (מתמטיקה)
חסם (מתמטיקה)
במתמטיקה, חֶסֶם של תת-קבוצה של קבוצה סדורה חלקית הוא איבר של הקבוצה הסדורה שבינו לבין כל אחד מאברי התת-קבוצה מתקיים אי-שוויון חלש.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וחסם (מתמטיקה)
חזקה של שתיים
חזקה של שתיים היא מספר טבעי מהצורה 2^n.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וחזקה של שתיים
חוק הפילוג
במתמטיקה ובעיקר באלגברה, חוק הפילוג הוא תכונה של פעולות בינאריות, שמכלילה את חוק הפילוג של החיבור והכפל המוכר מאריתמטיקה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וחוק הפילוג
חוג (מבנה אלגברי)
במתמטיקה, חוג הוא מבנה אלגברי בעל שתי פעולות בינאריות, המקיימות מספר אקסיומות (שיפורטו להלן), המכלילות כמה תכונות בסיסיות של חוג המספרים השלמים ושל חוג המטריצות מעל שדה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וחוג (מבנה אלגברי)
חיתוך (מתמטיקה)
בתורת הקבוצות ובענפים אחרים במתמטיקה, החיתוך של שתי קבוצות A ו-B הוא הקבוצה המכילה את כל האיברים ב-A ששייכים גם ל-B (או באופן שקול, כל האיברים ב-B ששייכים גם ל-A), ורק אותם.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וחיתוך (מתמטיקה)
בסיס בינארי
מערכת ספירה על בסיס בינארי מייצגת ערכים מספריים באמצעות שני סמלים, בדרך כלל 0 ו-1. במתמטיקה ובמדעי המחשב מערכת ספירה על בָּסִיס בִּינָארִי, או מערכת ספירה על בסיס 2 (על פי הצעת האקדמיה ללשון העברית: בָּסִיס שְׁנִיּוֹנִי), מייצגת ערכים מספריים באמצעות שני סמלים, בדרך כלל 0 ו-1.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ובסיס בינארי
ג'ורג' בול
ג'ורג' בּוּל (באנגלית: George Boole) היה מתמטיקאי ופילוסוף אנגלי, מאבות הלוגיקה המודרנית ויוצר האלגברה הבוליאנית המהווה את יסוד מדעי המחשב.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וג'ורג' בול
גארט בירקהוף
גארט בירקהוף (באנגלית: Garrett Birkhoff; 19 בינואר 1911 – 22 בנובמבר 1996) היה מתמטיקאי אמריקאי.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וגארט בירקהוף
הנדסת חשמל
מהנדסי חשמל מתכננים מגוון של התקנים. תכנון ה-iPod (בתמונה) דרש ידע מתת-תחומים מגוונים של הנדסת חשמל כגון עיבוד אותות, אלקטרוניקה והנדסת מחשבים. הנדסת חשמל (לרוב: הנדסת חשמל ואלקטרוניקה) היא תחום הנדסי אשר עוסק – במובנו הרחב ביותר – במניפולציה של גלים אלקטרומגנטיים.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) והנדסת חשמל
הפרש סימטרי
40px הפרש סימטרי היא פעולה בינארית על קבוצות.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) והפרש סימטרי
הקבוצה הריקה
סמלה של הקבוצה הריקה הקבוצה הריקה היא קבוצה שאין בה איברים, והיא מסומנת בסימן \emptyset (שמקורו באות הנורווגית "Ø") או בצורה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) והקבוצה הריקה
הומומורפיזם
באלגברה, הומומורפיזם הוא פונקציה בין מבנים אלגבריים מאותו טיפוס, המשמר את כל המבנה (לרבות הפעולות, היחסים והקבועים).
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) והומומורפיזם
וגם (לוגיקה)
בלוגיקה מתמטית, חִתּוּךְ לוֹגִי (או פעולה "וגם", בלעז: קוֹנְיוּנְקְצְיָה; סימון: \land) הוא קשר לוגי היוצר משני פסוקים או תבניות פסוק חדש שהוא אמיתי רק כאשר שני מרכיביו אמיתיים.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) ווגם (לוגיקה)
כפייה (לוגיקה מתמטית)
ממוזער בלוגיקה מתמטית, כפייה (באנגלית: Forcing) היא טכניקה רבת עוצמה, המאפשרת לבנות מודלים של תורת הקבוצות שבהם מתקיימות טענות שונות, שלאו דווקא נובעות ממערכת האקסיומות המקורית.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וכפייה (לוגיקה מתמטית)
כללי דה מורגן
כללי דה מורגן, הקרויים על-שמו של המתמטיקאי והלוגיקן בן המאה ה-19, אוגוסטוס דה מורגן, הם שני כללים בלוגיקה, בתורת הקבוצות ובאלגברה בוליאנית (בפרט, לוגיקה בוליאנית), הקושרים את הפעולות הבסיסיות בתחומים אלה.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וכללי דה מורגן
כוח גס
במדעי המחשב, מתמטיקה וקריפטוגרפיה, כוח גס או תְּקִיפָה כּוֹחָנִית (לפי האקדמיה ללשון העברית) מאנגלית: Brute force, או חיפוש ממצה מאנגלית: Exhaustive search, מתייחס לתהליך או אלגוריתם שפועל באופן של ניסוי וטעייה של כל האפשרויות לפתרון בעיה נתונה עד למציאת הפתרון הנכון.
לִרְאוֹת אלגברה בוליאנית (מבנה אלגברי) וכוח גס
ראה גם
אלגברה בוליאנית
- TQBF
- איחוד (מתמטיקה)
- אלגברה בוליאנית
- אלגברה בוליאנית (מבנה אלגברי)
- אלגברה של קבוצות
- בעיית הספיקות
- ג'ורג' בול
- טבלת אמת
- כללי דה מורגן
- מפת קרנו
- משפט הייצוג של סטון
- סיגמא-אלגברה
- פונקציה בוליאנית
- פונקציה בוליאנית חמקנית
- פונקציית זוגיות
- פעולה על סיביות
- תחשיב הפסוקים
מבנים אלגבריים
- אובר-חוג
- אידיאל (אלגברה)
- אלגברה בוליאנית (מבנה אלגברי)
- גרופואיד
- חבורה (מבנה אלגברי)
- חבורה אבלית נוצרת סופית
- חבורה למחצה
- חבורה למחצה שאינה קומוטטיבית בשום מקום
- חבורת גרותנדיק
- חוג (מבנה אלגברי)
- חוג מטריצות
- חוג פרימיטיבי
- חוג פרימיטיבי למחצה
- מאגמה (מבנה אלגברי)
- מבנה אלגברי
- מודול (מבנה אלגברי)
- מונואיד (מבנה אלגברי)
- סריג (מבנה סדור)
- קטגוריה (מתמטיקה)
- רצועה (מבנה אלגברי)
- שדה (מבנה אלגברי)