-
טבלה (פירושונים)
כל מה שרצית לדעת על טבלה (פירושונים):האם התכוונתם ל… טבלה – נתונים מאורגנים בטורים ובשורות בסיס נתונים טבלאי כינוי למבנה הנתונים שנקרא במדעי המחשב מערך טאבלה – כלי הקשה הודי טבלת אמת – טבלה שמשמשת בלוגיקה בוליאנית ובאלגברה בוליאנית כדי להציג את כל הערכים האפשריים שביטוי מסוים יכול לקבל, בהתאם לערכים האפשריים של מרכיבי הביטוי…
-
אולגה האן-נוירת
כל מה שרצית לדעת על אולגה האן-נוירת:אולגה האן-נוירת (גרמנית: Olga Hahn-Neurath) (20 ביולי 1882 – 20 ביולי 1937) הייתה מתמטיקאית ופילוסופית יהודייה אוסטרית, חברת החוג הווינאי. האן, ילידת וינה, השלימה תואר ראשון במדעי החברה באוניברסיטת וינה ב-1902. שנה אחר כך נרשמה כשומעת קבועה ללימודי מתמטיקה ופילוסופיה באוניברסיטה. בהמשך הפכה לתלמידת המחקר השלישית בתולדות האוניברסיטה בתחום…
-
שער לוגי
כל מה שרצית לדעת על שער לוגי:שער לוגי הוא המבצע פעולות באלגברה בוליאנית. שערים לוגיים מקובלים הם: NOT לוגי OR לוגי, NOR לוגי AND לוגי, NAND לוגי XOR לוגי, XNOR לוגי השער הלוגי הוא מרכיב בסיסי במעגלים אלקטרוניים דיגיטליים, וככזה הוא נמצאה בבסיסם של מכשירים אלקטרוניים רבים כגון: מחשב, טלפון סלולרי, DVD, שעון דיגיטלי, ועוד.…
-
CNF
כל מה שרצית לדעת על CNF:Conjunctive Normal Form או הצורה הנורמלית הקוניוקטיבית הוא ביטוי המורכב מאוסף "פסוקיות" המחוברות ביניהן על ידי פעולות וגם. (קוניונקציה) כל פסוקית היא אוסף של ליטרלים (משתנים ושלילות משתנים) המחוברים ביניהם על ידי פעולות או. (דיסיונקציה) דוגמה: נוסחת CNF במשתנים בעלת צורה כגון נלקח מויקיפדיה הגדרות נוספות הקשורות לCNF:•אלגברה בוליאנית
-
DNF
כל מה שרצית לדעת על DNF:Disjunctive Normal Form או הצורה הנורמלית הדיסיונקטיבית – הוא ביטוי המורכב מאוסף פרדיקטים לוגיים המחוברים ביניהם על ידי ביטויי "או" כאשר כל פרידיקט הוא אוסף של ביטויים המחוברים ביניהם על ידי ביטויי "וגם". השימושית מתבטאת בכך שניתן להביא כל ביטוי לוגי לצורת DNF. נלקח מויקיפדיה הגדרות נוספות הקשורות לDNF:•אלגברה בוליאנית
-
מפת קרנו
כל מה שרצית לדעת על מפת קרנו:מפת קרנו הקרויה גם דיאגרמת וויך, הוא כינוי לשיטת צמצום ביטויים הנהוגה בבעיות באלגברה בוליאנית. שיטה זו פותחה על ידי טכנאי במעבדות בל בשם מוריס קרנו. במסגרת עבודתו על מרכזיות טלפון, שהיו גרסאות מוקדמות למרבבים, מוריס קרנו נאלץ לעתים תכופות למצוא פונקציות בוליאניות פשוטות אשר יתנו ערכים זהים לטבלאות…
-
מתמטיקה בדידה
כל מה שרצית לדעת על מתמטיקה בדידה:מתמטיקה בדידה, או מתמטיקה דיסקרטית (Discrete mathematics), היא תחום רחב של המתמטיקה העוסק בחקר מבנים מתמטיים בדידים באופיים, כלומר כאלה שאינם רציפים. העצמים הנחקרים במסגרת המתמטיקה הבדידה הם רובם קבוצות בנות מנייה. מתמטיקה בדידה זוכה לפופולריות גוברת מאז החצי השני של המאה העשרים, בזכות שימושיה במדעי המחשב: מחשב ספרתי…
-
כללי דה מורגן
כל מה שרצית לדעת על כללי דה מורגן:כללי דה מורגן, הקרויים על-שמו של המתמטיקאי והלוגיקן בן המאה ה-19, אוגוסטוס דה מורגן, הם שני כללים בלוגיקה, בתורת הקבוצות ובאלגברה בוליאנית (בפרט, לוגיקה בוליאנית), הקושרים את הפעולות הבסיסיות בתחומים אלה. לוגיקה: הכללים קושרים את הפעולות "או", "גם", "לא". באופן מילולי בכתיב לא פורמלי, קובעים הכללים כי השלילה…
-
לוגיקה (פירושונים)
כל מה שרצית לדעת על לוגיקה (פירושונים):האם התכוונתם ל… לוגיקה – ענף של הפילוסופיה העוסק בהבחנה בין הסקה נכונה להסקה לא נכונה. קרוי גם "תורת ההיגיון" לוגיקה מתמטית – תחום במתמטיקה העוסק במערכות פורמליות: לוגיקה בוליאנית – ענף מתחום הלוגיקה המתמטית והאלגברה הבוליאנית העוסק בפסוקים שלהם שני ערכי אמת: אמת ושקר לוגיקה טרינארית – מערכת…
-
קשר לוגי
כל מה שרצית לדעת על קשר לוגי:קַשָּׁר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה. קשרים משמשים בתחשיב הפסוקים ובתחשיב הפרדיקטים כדי לייצג פעולות לוגיות כגון "וגם", "לא" ו"אם-אז". כל קַשָּׁר לוגי מייצג פעולה בוליאנית על ערכי האמת של האברים המתקבלים כקלט, ומקושרת אליו טבלת אמת…