-
בעיית יצרן-צרכן
כל מה שרצית לדעת על בעיית יצרן-צרכן:במדעי המחשב, בעיית יצרן צרכן (באנגלית: Producer/Consumer problem) היא דוגמה קלאסית לתיאור בעיית סינכרון בין שני תהליכים או יותר הנגרמת במערכות המאפשרות ריבוי משימות.הבעיה נגרמת כאשר שני תהליכים או יותר חולקים חוצץ המוגבל בגודלו. חלק מהתהליכים אחראים להכניס מידע לחוצץ (יצרנים) וחלק אחראים לשלוף ממנו מידע (צרכנים). פתרון הבעיה…
-
בנאי (מדעי המחשב)
כל מה שרצית לדעת על בנאי (מדעי המחשב):בתכנות מונחה-עצמים, בנאי (באנגלית: constructor, לעיתים נכתב בקיצור: ctor) הוא פיסת תוכנה (דומה לשגרה) המאתחלת אובייקט, ונקראת באופן אוטומטי מיד לאחר שהאובייקט נוצר.בנאי דומה למתודות רגילות, אך תפקידו שונה באופן מהותי. בתחילת הריצה של הבנאי האובייקט אותו הוא צריך לבנות עדיין איננו מוגדר עד תומו. תפקידו של הבנאי…
-
Persistence
כל מה שרצית לדעת על Persistence:במדעי המחשב, persistence (פֶּרְסיסטֵנס; מילולית מאנגלית: התמדה) היא תכונה של מצב (state) אשר ממשיך להתקיים גם לאחר שהתהליך (process) שיצר אותו כבר "מת". ללא יכולת כזאת, המצב יתקיים רק בזיכרון ה-RAM, ויאבד כאשר התוכנה תסיים לרוץ (באופן טבעי או כתוצאה מהתרסקות), או כאשר יופסק זרם החשמל אל הזיכרון, כמו במקרה…
-
Hard coding
כל מה שרצית לדעת על Hard coding:בתכנות, hard coding (הארד קודינג; בתרגום מילולי: "תכנות נוקשה") היא הכללה ישירה בקוד המקור או בקובץ ההרצה של התוכנית, של מה שעשוי להחשב (אולי רק בדיעבד), כמה שנכון יותר שיתקבל בצורה של נתוני קלט או דרך קובץ קונפיגורציה; או השימוש בנתונים קבועים מראש, במקום לקבל את הנתונים ממקורות חיצוניים.Hard…
-
דקדוק חופשי-הקשר
כל מה שרצית לדעת על דקדוק חופשי-הקשר:בשפות פורמליות, דקדוק חופשי-הקשר (גם: דקדוק חסר הקשר) הוא דקדוק אשר כל כלל יצירה בו הוא מהצורה A → α {\displaystyle \ A\to \alpha } כאשר A {\displaystyle \ A} הוא משתנה דקדוקי ואילו α {\displaystyle \ \alpha } היא מחרוזת כלשהי של משתנים דקדוקיים וסימנים…
-
תת-מודול קטן
כל מה שרצית לדעת על תת-מודול קטן:בתורת החוגים, תת-מודול קטן של מודול M מעל חוג R, הוא תת-מודול S כך שלכל תת-מודול אמיתי N, גם הסכום N+S אמיתי. במלים אחרות, לא ייתכן ש- N + S = M {\displaystyle \ N+S=M} אלא אם N=M. תת-מודול האפס הוא תמיד קטן, אבל הטרמינולוגיה עשויה להטעות: אם…
-
רדיקל בראון-מקוי
כל מה שרצית לדעת על רדיקל בראון-מקוי:בתורת החוגים, רדיקל בראון-מקוי הוא רדיקל המוגדר כחיתוך הגרעינים של כל ההומומורפיזמים לחוגים פשוטים עם יחידה. אם החוג מכיל אבר יחידה, אז רדיקל בראון-מקוי שלו שווה לחיתוך האידיאלים המקסימליים. בהתאם, אומרים כי חוג הוא בראון-מקוי (או שווה לרדיקל בראון-מקוי של עצמו) אם אין לו תמונה הומומורפית המכילה אבר יחידה.…
-
טווח יציב (תורת החוגים)
כל מה שרצית לדעת על טווח יציב (תורת החוגים):בתורת החוגים, טווח יציב הוא ערך מספרי המותאם לחוג, ומהווה כימות אריתמטי לתכונות של קבוצות יוצרים. הטווח היציב הוגדר על ידי היימן בס ב-1960, על-מנת למדוד את היציבות של חבורות המטריצות ההפיכות מעל חוג בהקשר לתורת K שלו.אם לחוג אנדומורפיזמים של מודול יש טווח יציב 1, אז…
-
זהות קפלי
כל מה שרצית לדעת על זהות קפלי:בתורת החוגים, זהות קפלי היא הזהות c n = 0 {\displaystyle c_{n}=0} , כאשר c n = ∑ σ ∈ S n sgn ( σ ) x σ ( 1 ) y 1 x σ ( 2 ) y 2 ⋯ x σ ( n ) y n…
-
אלגברה דיפרנציאלית מדורגת
כל מה שרצית לדעת על אלגברה דיפרנציאלית מדורגת:במתמטיקה, ובמיוחד באלגברה דיפרנציאלית ובאלגברה הומולוגית, אלגברה דיפרנציאלית מדורגת היא קומפלקס שרשרת אשר יש עליו מבנה נוסף של כפל אשר מקיים כלל לייבניץ מדורג. נלקח מויקיפדיה הגדרות נוספות הקשורות לאלגברה דיפרנציאלית מדורגת:•אלגברה הומולוגית•תורת החוגים•אלגברה דיפרנציאלית