Computational Fluid Dynamics

חינוך מוטעה חובה/חינוך שגוי חובה:
חינוך שגוי הוא ביקורת על בתי ספר ציבוריים אמריקאים שנכתבה על ידי פול גודמן ופורסם על ידי Horizon Press בשנת 1964. כבר הוקם כמבקר חברתי של החברה האמריקאית ותפקיד הנוער שלה בספרו הקודם Growing Up Absurd (1960), טוען גודמן ב חינוך שגוי חובה נגד נחיצות בתי הספר לסוציאליזציה של נוער וממליצה לבטלם. הוא מציע שהחינוך הפורמלי נמשך זמן רב מדי, מלמד את ערכי המעמד החברתי השגויים, ופוגע יותר ויותר בתלמידים לאורך זמן. גודמן כותב שבית הספר משקף את הערכים המוטעים והבלתי כנים של החברה שלו ולכן רפורמי בית הספר צריכים להתמקד בערכים אלו לפני בתי הספר. הוא מציע מגוון חלופות לבית הספר, כולל לא בית ספר, עיר או חווה כבית ספר, חניכות, טיולים מודרכים וארגוני נוער. הסוקרים החמיאו לסגנונו של גודמן וציינו את הקונטריאניות המכוונת שלו, אך היו חלוקים לגבי היתכנות הצעותיו. ספרו של גודמן היה מבשר לעבודתו של עו"ד שחרור מלימודים איוון איליך.
סעיף_תהליך חובה/סעיף תהליך חובה:
סעיף ההליך הכפוי במסגרת התיקון השישי לחוקת ארצות הברית מאפשר לנאשמים בתיקים פליליים להשיג עדים לטובתם באמצעות זימון על פי צו בית משפט. הסעיף מתפרש בדרך כלל כמאפשר לנאשמים להציג את התיק שלהם במשפט, אם כי מספר מגבלות ספציפיות הוטלו על ידי בית המשפט העליון של ארצות הברית מאז החל כלל זה.
Compulsory_Purchase_Act_1965/Compulsory Purchase Act 1965:
חוק הקנייה הכפויה 1965 (c 56) הוא חוק הפרלמנט של בריטניה, הנוגע לחוק הקרקעות האנגלי ולרכישת חובה.
התמחות_מגורים_מגורים בסיבוב חובה/התמחות סיבובית חובה במגורים:
התמחות סיבובית חובה למגורים (CRRI) מתייחסת לעבודת חובה של שנה בבתי חולים הצמודים למכללה לרפואה או בכל בית חולים הוראה מאושר אחר, לתקופה של שנה. כפי שנקבע על ידי המועצה הרפואית של הודו, CRRI חיוני להענקת תואר MBBS ורישום מלא ב-MCI כרופא. עבור רופאי שיניים, CRRI מוסדר על ידי מועצת השיניים של הודו.
בוררות חובה/בוררות חובה:
בוררות חובה היא בוררות של סכסוכי עבודה אשר חוקים של כמה קהילות מאלצים את שני הצדדים, העבודה וההנהלה, לעבור. חוקים אלו חלים בעיקר כאשר האפשרות של שביתה פוגעת באופן חמור באינטרס הציבורי. חוזי עבודה מסוימים קובעים הוראות ספציפיות לבוררות חובה אם שני הצדדים לא יצליחו להגיע להסכמה באמצעות המערכת הקבועה של משא ומתן קיבוצי.
קרטל חובה/קרטל חובה:
קרטל חובה או קרטל כפוי הוא קרטל שהוקם או מתוחזק בצו מנהלי או בהוראה משפטית. התערבות המדיניות באיגודים אלה של יזמים מאותו מקצוע השתנתה. זה נע בין החלטה גרידא להקים קרטל או לשמור על קרטל קיים, ועד לפיקוח מדינה קפדני.
ריקוד חובה/ריקוד חובה:
ריקוד החובה (CD), שנקרא כיום ריקוד הדפוס, הוא חלק מקטע ההחלקה האמנותית של תחרויות ריקוד קרח שבהן כל הזוגות או רקדני הסול מבצעים את אותם צעדים סטנדרטיים ומחזיקות במוזיקה בקצב ובז'אנר מוגדרים. ריקוד חובה אחד או יותר הוחלק בדרך כלל כשלב הראשון של תחרויות ריקוד קרח. עונת 2009–10 הייתה העונה האחרונה בה הקטע נכלל בתחרות האיגוד הבינלאומי להחלקה (ISU) לנוער ולבוגרים. ביוני 2010, ה-ISU החליפה את השם "ריקוד חובה" ב"ריקוד דפוס" לריקוד קרח, ומיזגה אותו לריקוד הקצר (SD) החל בעונת ההחלקה האמנותית 2010–11. התקליטורים הראשונים פותחו במהלך שנות ה-30 של המאה ה-20 על ידי צוותים מבריטניה, ששלטו בריקוד הקרח במשך רוב השנים הראשונות לאחר שהספורט התמודד באליפות העולם ב-1952. בולטת התקליטור בריקוד הקרח ירדה אט אט, עד שהוסר והוחלף על ידי ה-SD בשנת 2011, השנה שבה הצביעו ה-ISU על ארגון מחדש של תחרויות ריקוד הקרח על ידי הסרת הריקוד החובה והריקוד המקורי (OD) והחלפתם ב- ריקוד קצר וריקוד חופשי (FD). רקדני קרח ביצעו את אותה תבנית מסביב למשטח ההחלקה פעם או פעמיים, לאותם רצפי צעדים ואותו קצב סטנדרטי. לאחר מכן קיבלו המתחרים ניקוד על סמך ביצועם של המרכיבים השונים של הריקוד. התקליטור אפשר לשופטים להשוות בין הכישורים הטכניים של כל רקדן.
ריקוד חובה (החלקה אמנותית)/ריקוד חובה (החלקה על גלגיליות אמנותי):
ריקוד החובה (CD) הוא קטע של תחרויות החלקה על גלגיליות אמנותיות שבהן כל הזוגות או הרקדנים הסולו מבצעים את אותם צעדים סטנדרטיים ומחזיקות למוזיקה בקצב ובז'אנר מוגדרים. ריקודי החובה בוטלו עבור תחרויות החלקה על גלגיליות בינלאומיות ברמת ג'וניור/בכיר בעונת 2018, ומדור חדש בשם סטייל דאנס הוכנס מעונת 2015/16 לצד קטגוריות ריקודי החובה והריקוד החופשי הסטנדרטיים. הריקוד בסגנון דומה מאוד במבנה לריקוד הקצר בהחלקה אמנותית, ומשנת 2018 היה אחד מ-2 קטעים בתחרות ריקוד רולר בינלאומי, עם החופש. הדפוסים של רוב הריקודים מכסים חצי מעגל אחד או אחד שלם של משטח ההחלקה. הוועדה הטכנית האמנותית לגלגיליות העולמית (לשעבר Fédération Internationale de Roller Sports (FIRS)) מפרסמת את דיאגרמות הצעדים והתיאורים של הריקודים שמתחרים בהם בינלאומית, וכן מספקת סט של הקלטות מוזיקה סטנדרטיות לכל ריקוד עם קצב אחיד וביטויי היכרות. לשימוש בתחרות.
חינוך_חובה/חינוך חובה:
חינוך חובה מתייחס לתקופת חינוך הנדרשת מכל בני האדם ומוטלת על ידי הממשלה. חינוך זה עשוי להתקיים בבית ספר רשום או במקומות אחרים. נוכחות בבית ספר חובה או לימוד חובה פירושה שהורים מחויבים לשלוח את ילדיהם לבית ספר מסוים. האמנה הבינלאומית בדבר זכויות כלכליות, חברתיות ותרבותיות מחייבת, תוך מספר שנים סביר, את עקרון חינוך החובה ללא תשלום לכל. לכל המדינות, למעט בהוטן, פפואה גינאה החדשה, איי שלמה ועיר הוותיקן, יש חינוך חובה.
דמויות_חובה/נתוני חובה:
דמויות חובה או דמויות בית ספר היו בעבר קטע של החלקה אמנותית, והעניקו לספורט את שמו. הם "הדפוסים המעגליים שמחליקים מתחרים על הקרח כדי להפגין מיומנות בהצבת פניות נקיות באופן שווה על עיגולים עגולים". במשך כ-50 השנים הראשונות של החלקה אמנותית כספורט, עד 1947, דמויות חובה היוו 60 אחוז מהניקוד הכולל ברוב התחרויות ברחבי העולם. דמויות אלו המשיכו לשלוט בענף הספורט, למרות שהם ירדו בהתמדה בחשיבותם, עד שאיגוד ההחלקה הבינלאומי (ISU) הצביע על הפסקתן כחלק מתחרויות בשנת 1990. למידה ואימונים בדמויות חובה העניקו משמעת ושליטה; חלק בקהילת ההחלקה האמנותית ראו אותם נחוצים כדי ללמד מחליקים מיומנויות בסיסיות. מחליקים היו מתאמנים במשך שעות כדי ללמוד ולבצע אותם היטב, ודמויות מתחרות ושופטים היו לוקחות לעתים עד שמונה שעות במהלך תחרויות. מחליקים התחקו אחר דמויות חובה, ונשפטו לפי חלקותם ודיוקם. המעגל הוא הבסיס לכל הדמויות. אלמנטים אחרים בדמויות חובה כוללים עקומות, שינוי רגל, שינוי קצה וסיבובים. המחליקים נאלצו לעקוב אחר מעגלים מדויקים תוך השלמת פניות וקצוות קשים. צורת "דמות שמונה" הפשוטה בוצעה על ידי חיבור שני עיגולים; דמויות אחרות כללו את שלושת הסיבובים, את הסיבוב הנגדי, את סיבוב הנדנדה, את סיבוב התושבת ואת הלולאה. למרות שרק מחליקים מעטים ממשיכים לתרגל דמויות חובה, ומעטים מאמנים עדיין מלמדים אותם מחליקים, חלק מהמחליקים ומאמנים מאמינים שדמויות חובה מעניקות למחליקים יתרון בפיתוח יישור קו, כוח הליבה, שליטה בגוף ומשמעת. האגודה העולמית לספורט אמנותי עורכת פסטיבלים ותחרויות של דמויות חובה, באישור המכון להחלקה על הקרח, מאז 2015.
שירות_כבאות חובה/שירות כבאות חובה:
שירות כבאות חובה הוא שירות חובה למכבי האש המקומיים בשוויץ בכלל ובאוסטריה וגרמניה גם במקרים חריגים. אנשים פרטיים יכולים להיאלץ להשתתף בשירות כיבוי כזה בנסיבות ספציפיות. בסינגפור מתגייסים פרוסים כלוחמי אש כאשר הם משרתים בכוח ההגנה האזרחית של סינגפור (SCDF). בשוויץ שירות כבאות חובה זה נפוץ ונדרש ברוב האזורים. באוסטריה ובגרמניה שירותי כבאות חובה קיימים רק כאשר לא ניתן לפנות לכיבוי אש מתנדבים עקב מחסור בכוח אדם או חוסר זמינות אחרת, כלומר לא ניתן להבטיח הגנה מפני אש 24/7. ניתן לגייס את כל האנשים המתאימים לשירות הכבאות החובה במידת הצורך.
הטרוסקסואליות_כפויה/הטרוסקסואליות הכפויה:
הטרוסקסואליות כפויה (לעתים קרובות מקוצרת ל-comhet) היא התיאוריה לפיה הטרוסקסואליות מונחת ונכפת על אנשים על ידי חברה פטריארכלית והטרונורמטיבית. המונח זכה לפופולריות על ידי אדריאן ריץ' במאמרה משנת 1980 שכותרתו "הטרוסקסואליות מחייבת וקיום לסבית". לפי התיאוריה של ריץ', מאמינים שלנשים בכל תרבות יש העדפה מולדת ליחסים עם גברים וזה מוביל נשים להפחית מערכם ולמזער את חשיבות מערכות היחסים שלהן עם נשים אחרות; היא מציעה שנשים מסודרות כדי להזדהות עם זכרים ולהטיל איתם את "נאמנותן החברתית, הפוליטית והאינטלקטואלית", ומונעות מהזדהות עם נשים אחרות.
הכשרת_מנהיגות_חובה_לתואר ראשון/הכשרת מנהיגות חובה לבוגרי תואר ראשון:
הכשרת מנהיגות חובה לבוגרי תואר ראשון בסרי לנקה היא תכנית חובה שהוצגה בשנת 2011 על ידי ממשלת סרי לנקה עבור כל הסטודנטים הבוחרים לקורסים לתואר ראשון באוניברסיטאות ממלכתיות לעבור הכשרת מנהיגות בת שלושה שבועות ופיתוח חשיבה חיובית במחנות אימונים תחת משרד ההגנה. כפי שהובילו למחלוקות רבות. משרד ההשכלה הגבוהה בסרי לנקה ביקש את דעתם של אקדמאים וסגני ראש האוניברסיטה לגבי תוכנית ההכשרה השוטפת למנהיגות והחליט לצמצם אותה משלושה שבועות לשבועיים.
רישיון חובה/רישיון חובה:
רישיון חובה קובע כי הבעלים של פטנט או זכויות יוצרים מרשה את השימוש בזכויותיו כנגד תשלום שנקבע בחוק או שנקבע באמצעות צורה כלשהי של שיפוט או בוררות. בעיקרו של דבר, במסגרת רישיון חובה, יחיד או חברה המבקשים להשתמש בקניין הרוחני של אחר יכולים לעשות זאת מבלי לבקש את הסכמת בעל הזכויות, ומשלמים לבעל הזכויות אגרה קבועה עבור הרישיון. זהו חריג לכלל הכללי על פי דיני הקניין הרוחני לפיו בעל הקניין הרוחני נהנה מזכויות בלעדיות שהוא רשאי לתת רישיון - או לסרב לתת רישיון - לאחרים. לפי חוקי הפטנטים הבריטיים, רישיון חובה שונה מרישיון סטטוטורי. לפי רישיון סטטוטורי, התעריף קבוע בחוק, ואילו במקרה של רישיון חובה, התעריף נותר למשא ומתן או להכרעה בבית המשפט.
הכשרה_צבאית_חובה_בניו-זילנד/אימון צבאי חובה בניו זילנד:
הכשרה צבאית חובה (CMT), סוג של גיוס, נהוגה לגברים בניו זילנד בין השנים 1909 ו-1972. האימונים הצבאיים בניו זילנד היו בהתנדבות לפני אז ומאז.
תביעה_כפויה/תביעה חובה:
העמדה לדין כפויה היא היבט של מערכות משפט מסוימות שבהן נדרש התובע להגיש כתב אישום אם יש מספיק ראיות לתמיכה בהרשעה. מערכת זו נמצאת בשימוש בגרמניה. זה גם נדרש על פי חוקת איטליה מאז 1948. בארצות הברית ובמדינות אחרות שאינן דורשות העמדה לדין כפוי, היעדר דרישה כזו יש נטייה לעודד עיסוק בהסדר טיעון. השוואה משנת 2012 בהקשר של תורת המשחקים מעידה כי "תביעה חובה גוברת על תביעה לפי שיקול דעת כאשר העברת הראיות מהתובע לשופט היא מדויקת ו/או כאשר עלות ההתדיינות שנגרמה לתובע היא גדולה".
חינוך ציבורי_חובה_בארצות הברית/חינוך ציבורי חובה בארצות הברית:
התנועה לחינוך ציבורי חובה (במילים אחרות, אוסרת על בתי ספר פרטיים ומחייבת את כל הילדים ללמוד בבתי ספר ציבוריים) בארצות הברית החלה בתחילת שנות ה-20. זה התחיל בהצעת החוק של סמית-טאון, הצעת חוק שבסופו של דבר תקים את איגוד החינוך הלאומי ותספק כספים פדרליים לבתי ספר ציבוריים. בסופו של דבר היא הפכה לתנועה להטיל מנדט על חינוך ציבורי ולפירוק בתי ספר פרוכיים ואחרים. התנועה התמקדה בפחד הציבור ממהגרים ובצורך לאמריקניזציה; היו לה גוונים אנטי-קתוליים ומצאה תמיכה מקבוצות כמו הקו קלוקס קלאן. התנועה זכתה לתשומת לב חקיקתית כאשר משאל עם במישיגן ב-1920 לחינוך ציבורי חובה קיבל 40% מהקולות. ב-1922 העבירה אורגון משאל עם דומה. בסופו של דבר חוק זה ערער וביטל פה אחד על ידי בית המשפט העליון בארה"ב בעניין פירס נגד אגודת האחיות. התנועה חוותה תחייה לאחר מלחמת העולם השנייה כאשר כמה אמריקאים החלו לחשוש מכוחה של הכנסייה הקתולית ורצו להבטיח כספי ציבור לא מצאו את דרכם לבתי ספר פרוכיים. חלקם השוו בתי ספר פרוכיים להפרדה והאשימו אותם בפגיעה בדמוקרטיה.
רכישה_חובה_באנגליה_אנד_וויילס/רכישת חובה באנגליה ובוויילס:
רכישת חובה היא הסמכות לרכוש זכויות על עזבון בחוק המקרקעין האנגלי, או לקנות נכס זה על הסף, ללא הסכמת הבעלים הנוכחי בתמורה לפיצוי. באנגליה ובוויילס, הפרלמנט העניק מספר סוגים שונים של כוח רכישה חובה, הניתנים להפעלה על ידי גופים שונים במצבים שונים. סמכויות כאלה הן "לתועלת הציבור", אך ביטוי זה מתפרש בצורה רחבה מאוד.
חוקי_רכישה_חובה_בסקוטלנד/חוקי רכישה חובה בסקוטלנד:
רכישת חובה הן סמכויות להשיג קרקעות בסקוטלנד שהיו זמינות באופן מסורתי לגופים ציבוריים מסוימים בחוק הסקוטי. החוק הסקוטי מסווג רכישת חובה כהעברה בלתי רצונית של קרקע, שכן הבעלים של הרכוש הגשמי (הקרקע) אינו מסכים להעברת הבעלות. סמכויות רכישה חובה דומות, אך אינן זהות, לתחומי שיפוט אחרים החולקים מושגים דומים ומונחים דומים. בניגוד לתחומי שיפוט אחרים, סמכויות רכישה מחייבות יכולות להיות מופעלות על ידי גופים לא ציבוריים על פי חוק רפורמת הקרקע (סקוטלנד) משנת 2003.
הזמנה_חובה/הזמנת רכש חובה:
הוראת רכש חובה (CPO; אירית: Ordú Ceannach Éigeantach, בוולשית: Gorchymyn prynu gorfodol) היא תפקיד משפטי בבריטניה ובאירלנד המאפשרת לגופים מסוימים להשיג קרקע או רכוש ללא הסכמת הבעלים. ניתן לאכוף אותו אם פיתוח מוצע נחשב ככזה לשיפור הציבור; למשל, בבניית כבישים מהירים שבהם בעל קרקע לא רוצה למכור. באופן דומה, אם מועצות העיר רוצות לפתח מרכז עיר, הן עשויות להוציא צווי רכישה מחייבים. ניתן להשתמש ב-CPO גם לרכישת מבנים היסטוריים על מנת לשמר אותם מהזנחה. זכויות הפיצוי כוללות לרוב את שווי הנכס, עלויות רכישה ומעבר לנכס חדש ולעיתים תשלומים נוספים. עלויות ייעוץ מקצועי בנושא פיצויים מוחזרות בדרך כלל מהרשות, כך שאנשים שנפגעו מזמנת רכישה יכולים לפנות לייעוץ מעורך דין ומודד ולצפות לקבל החזר.
סטריליזציה_כפויה_בשוודיה/עיקור חובה בשוודיה:
עיקור חובה בשוודיה היו עיקורים שבוצעו בשוודיה, ללא הסכמה תקפה של הנבדק, במהלך השנים 1906–1975 על רקע אאוגני, רפואי וחברתי. בין 1972 ל-2013, עיקור היה גם תנאי לניתוח לשינוי מין.
עיקור_כפוי/סטריליזציה חובה:
עיקור חובה, הידוע גם כעיקור בכפייה או בכפייה, הוא תוכנית על פי מנדט ממשלתי לעיקור בלתי רצוני של קבוצה מסוימת של אנשים. עיקור כפוי מסיר את יכולתו של אדם להתרבות, בדרך כלל באמצעות פרוצדורות כירורגיות. מספר מדינות יישמו תוכניות עיקור בתחילת המאה ה-20. למרות שתוכניות כאלה הפכו לבלתי חוקיות ברוב מדינות העולם, מקרים של עיקור כפוי או כפוי נמשכים. הרציונליזציות לעיקור חובה כללו אאוגניקה, בקרת אוכלוסיה, אפליה מגדרית, הגבלת התפשטות HIV, ניתוחים "מנורמלים מגדריים" עבור אנשים אינטרסקסיים ורצח עם אתני. במדינות מסוימות, אנשים טרנסג'נדרים נדרשים לעבור עיקור לפני שיקבלו הכרה חוקית במגדרם, נוהג שהכתב המיוחד של האו"ם לענייני עינויים ויחס או ענישה אכזריים, לא אנושיים או משפילים תיאר כהפרה של עקרונות יוגיאקרטה.
סטריליזציה_כפויה_בקנדה/עיקור חובה בקנדה:
לעיקור חובה בקנדה יש ​​היסטוריה מתועדת במחוזות אלברטה, ססקצ'ואן וקולומביה הבריטית. בשנת 2017, שישים נשים ילידים בססקצ'ואן תבעו את ממשלת המחוז בטענה שהן נאלצו לקבל עיקור לפני שראו את התינוקות שזה עתה נולדו. עיקור החובה הקנדי פעל באותם מנגנונים כלליים של מיסוד, שיפוט וניתוח כמו המערכת בארצות הברית של אמריקה. הבדל בולט אחד הוא בטיפול לעבריינים שאינם שפויים; החקיקה הקנדית מעולם לא אפשרה עיקור עונשי של אסירים.
עיקור_כפוי_של_נכים_במערכת_כלא_ארה"ב/עקור חובה של נכים במערכת הכלא האמריקאית:
עיקור חובה של נכים במערכת הכלא האמריקאית הותר בארצות הברית מ-1907 עד שנות ה-60, שבמהלכן עוקרו כ-60,000 אנשים, שני שלישים מהאנשים הללו היו נשים. במהלך תקופה זו, עיקור חובה הונע על ידי אאוגניקה. יש היסטוריה ארוכה בכל הנוגע לעיקור חובה בארצות הברית ולחקיקה המאפשרת עיקור חובה הנוגעים לאנשים עם מוגבלות התפתחותית, מערכת הכלא האמריקאית וקהילות מודרות. עיקור חובה הוא עיקור לא רצוי ו/או ללא הסכמה של גברים ונשים כאחד. צורת העיקור העיקרית לנשים היא קשירת חצוצרות ולגברים היא כריתת כלי דם.
חובת_מלאי_חובה/חובת מלאי חובה:
בבריטניה, חובת מלאי חובה (CSO) היא מלאי מינימלי של עתודות דלק שחייב להיות בידי ספק בבריטניה כנגד מחסור או הפסקות באספקה. התוכנית מנוהלת על ידי משרד המסחר והתעשייה (DTI). לחברות חלה התחייבות אם הן ספקיות בנפח של 100,000 טון דלק בשנה או יותר. חובה זו מוערכת כהחזקה של מלאי של 67.5 ימים (50 ימים עבור בריטניה).
מסחר חובה/סחר חובה:
בקנדה, סחר חובה הוא סחר מיומן הדורש הסמכה ממשלתית של העוסקים במסחר. באופן כללי, נדרשת תוכנית הכשרה רשמית כגון התלמדות, ועל מתרגל להיות מוסמך כמטייל לפני קבלת הרישיון. לעומת זאת, מקצוע מרצון הוא מקצוע שבו לא נדרש הסמכה או רישיון לעיסוק. באונטריו, למשל, יש כיום 23 מקצועות מיומנים המוגדרים כ"חובה".
הצבעה_חובה/הצבעה חובה:
הצבעת חובה, הנקראת גם הצבעת חובה, היא הדרישה בחלק מהמדינות שאזרחים בעלי זכות ירשמו ויצביעו בבחירות. עונשים עשויים להיות מוטלים על מי שלא יעשה זאת ללא סיבה מוצדקת. לפי ספר העובדות העולמי של ה-CIA, ל-21 מדינות, כולל 10 מדינות באמריקה הלטינית, הייתה רשמית הצבעה חובה החל מדצמבר 2021, כאשר מספר מדינות אלו לא אוכפות זאת. בחירת מפלגה להצביע אינה חובה, שכן ניתן להצביע קולות ריקים, והם נספרים. במהלך שני העשורים הראשונים של המאה ה-21, הונהגה הצבעה חובה בסמואה ובבולגריה, בעוד צ'ילה, קפריסין, הרפובליקה הדומיניקנית, פיג'י ופרגוואי ביטלו אותה.
Compunet/Compunet:
Compunet הייתה ספקית שירותים אינטראקטיביים מבוססת בריטניה, שסיפקה בעיקר את ה-Commodore 64 אך מאוחר יותר עבור ה-Commodore Amiga ו-Atari ST. זה היה ידוע על ידי המשתמשים שלו גם בשם CNet. זה פעל מ-1984 עד מאי 1993.
Compunetix/Compunetix:
Compunetix, Inc. הוא תאגיד בבעלות פרטית שבסיסה במונרווויל, פנסילבניה, ארצות הברית, המפתח מערכות טלקומוניקציה מולטימדיה מרובות נקודות עבור ועידות שמע, ועידות וידאו ויישומים קריטיים למשימה בשווקים מסחריים וממשלתיים ברחבי העולם. נוסדה בשנת 1968, ל-Compunetix יש כיום יותר ממיליון יציאות ביותר מ-30 מדינות, מה שהופך אותה לפריסה העולמית הגדולה ביותר בתעשייה של מערכות ועידה טלפונית.
קומפופונית/קומפופונית:
Compuphonic היא חברת תקליטים למוזיקה אלקטרונית שנוצרה על ידי Kris Menace כמגרש משחקים להפקות שלו. אמנים מלבד Kris Menace שהופיעו במהדורות ב-Comuphonic הם פליקס דה האוסקט, פרד פאלקה, Romanthony, Robert Owens, Miss Kittin, Simon Lord, Xavier Naidoo, Unai, Thomas Gandey, Spooky, Chelonis R. Jones, Douze, Julian Hamilton from The Presets, Rex the Dog ואחרים.
Compupress/Compupress:
Compupress היא חברת הוצאה לאור יוונית שהוקמה בשנת 1982. במקור החברה הוקמה במטרה להוציא לאור מגזינים וספרים למחשבים. בעקבות דעיכת שוק מגזיני המחשבים, התרחבה החברה להוצאת פנטזיה ומדע בדיוני, חוברות קומיקס ורומנים גרפיים, מנגה ומגזינים לילדים.
השוואה/השוואה:
דחייה, שנקראה גם משפט בשבועה, הימור על חוק ועזרה בשבועה, הייתה הגנה ששימשה בעיקר בדיני ימי הביניים. נאשם יכול לבסס את חפותו או אי אחריותו על ידי שבועה ועל ידי קבלת מספר נדרש של אנשים, בדרך כלל שתים עשרה, להישבע שהם מאמינים בשבועת הנאשם. הימור החוק היה בעצם התייחסות אופי, בתחילה על ידי קרובי משפחה ואחר כך על ידי שכנים (מאותו אזור של הנאשם), לעתים קרובות 11 או 12 גברים, וזו הייתה דרך לתת אמינות לשבועתו של נאשם בכל פעם. כאשר לשבועתו של אדם הייתה יותר אמינות מאשר תיעוד כתוב. ניתן להשוות זאת להימור משפטי, שהוא מתן ערבות בתחילת הליך משפטי על מנת למזער התדיינות קלת דעת. ההשוואה נמצאה במשפט הגרמני הקדום, במשפט הצרפתי הקדום (très ancienne coutume de Bretagne), במשפט הוולשי ובבתי המשפט הכנסייתיים האנגלים עד המאה השבע-עשרה. במשפט המקובל היא בוטלה באופן מהותי כהגנה בפלילים על ידי החוקות של קלרנדון בשנת 1164. ההגנה עדיין הותרה בתביעות אזרחיות בגין חובות ושאריותיה שרדה עד לביטולה החוקית בזמנים שונים במדינות המשפט המקובל: באנגליה ב. 1833, וקווינסלנד בשלב מסוים לפני חוק הפרקטיקה המשותפת של קווינסלנד משנת 1867, המתייחס ישירות לביטול ההימור של החוק. "הימור על החוק, מיושן במשך מאות שנים" היה "מאובן חי... חוק אות מת" ובוטל באנגליה ב-1833.
Compuscan/Compuscan:
Compuscan היא לשכת אשראי דרום אפריקאית המספקת מידע אשראי צרכני ומסחרי בדרום אפריקה ובמדינות אפריקאיות אחרות. Compuscan, שנוסדה בשנת 1994 ומרכזה בסטלנבוש, דרום אפריקה, היא חברת בת של Compuscan Information Technologies שבסיסה בדרום אפריקה. החברה, שהתמקדה במקור במתן דיווח היסטוריית אשראי עבור עסקאות מיקרו אשראי, היא בין לשכות האשראי המובילות בדרום אפריקה והיא חברה באיגוד לשכת האשראי של המדינה. החברה מספקת גם שירותי דיווח על אשראי מיקרו ברפובליקות השכנות של בוטסואנה ונמיביה. בשנת 2006, Compuscan נבחרה על ידי הבנק של אוגנדה לבנות את לשכת הפנייה לאוגנדה הראשונה אי פעם. מערכת זו, שהוצגה רשמית ב-2008, חייבה מוסדות פיננסיים באוגנדה להנפיק כרטיסים חכמים ללווים שלהם כחלק מתוכנית זיהוי לווים.
Compustat/Compustat:
Compustat הוא מאגר מידע פיננסי, סטטיסטי ושוק על חברות גלובליות פעילות ובלתי פעילות ברחבי העולם. השירות החל בשנת 1962. מסד נתונים זה מספק מוצרים המופנים למשקיעים מוסדיים, אוניברסיטאות, בנקאים, יועצים, אנליסטים ומנהלי נכסים/תיקים בשווקי חברות, מיזוגים ורכישות, הון פרטי, הון והכנסה קבועה. מסד הנתונים מכסה 99,000 ניירות ערך עולמיים, המכסה 99% משווי השוק הכולל של העולם עם היסטוריית נתוני חברה שנתית זמינה עד 1950 ונתונים רבעוניים זמינים עד 1962 (תלוי מתי החברה נוספה למסד הנתונים). המידע הבא זמין: נתונים בסיסיים של Compustat, כולל Compustat North America, Compustat International, Compustat Global ו-Compustat מערכי נתונים נקודת-זמן סיווג תעשייתי וניהול יקום על ידי מזהי שוק מפתח GICS, NAICS ו-SIC, כולל מסדי נתונים משולבים CUSIP, ISIN ו-SEDOL תמחור חודשי ויומי נתונים Standard & Poor's ונתוני אינדקס מובילים אחרים אומדנים נתונים מ-Capital IQ ו-Thomson I/B/E/S תוכן איכותי כולל תיאורים עסקיים, מידע על קצינים ותגמול בכירים פעולות תאגידיות ואחזקות פנימיות ומוסדיות קנייניות נתונים הון IQ נתונים איכותיים Standard & Poor's דוחות מניות Standard & Poor's Industry Surveys Standard & Poo דירוג האשראי של המנפיק r
יכולת חישוב/יכולת חישוב:
יכולת חישוב היא היכולת לפתור בעיה בצורה יעילה. זהו נושא מרכזי של תחום תורת החישוביות בתוך לוגיקה מתמטית ותורת החישוב בתוך מדעי המחשב. יכולת החישוב של בעיה קשורה קשר הדוק לקיומו של אלגוריתם לפתרון הבעיה. המודלים הנלמדים ביותר של יכולת חישוב הם הפונקציות הניתנות לחישוב ו-μ רקורסיביות של טיורינג, וחשבון הלמבדה, שלכולם יש כוח שווה ערך מבחינה חישובית. צורות אחרות של יכולת חישוב נלמדות גם כן: מושגי חישוב חלשים יותר ממכונות טיורינג נלמדות בתורת האוטומטים, בעוד שמושגי חישוב חזקים יותר ממכונות טיורינג נלמדות בתחום היפר-חישוב.
יכולת חישוב בניתוח ובפיזיקה/יכולת חישוב בניתוח ופיזיקה:
יכולת חישוב באנליזה ופיזיקה היא מונוגרפיה על ניתוח בר חישוב מאת מריאן פור-אל וג'יי איאן ריצ'רדס. הוא פורסם על ידי Springer-Verlag בסדרת Perspectives in Mathematical Logic בשנת 1989, והודפס מחדש על ידי האגודה ללוגיקה סמלית והוצאת אוניברסיטת קיימברידג' בסדרת Perspectives in Logic בשנת 2016.
יכולת חישוב_באירופה/יכולת חישוב באירופה:
האגודה למיחשוב באירופה (ACiE) הוא ארגון בינלאומי של מתמטיקאים, לוגיקים, מדעני מחשב, פילוסופים, פיזיקאים תיאורטיים ואחרים המתעניינים בהתפתחויות חדשות בתחום החישוב ובמשמעות הבסיסית שלהם עבור העולם האמיתי. CiE שואפת להרחיב את ההבנה וההערכה של החשיבות של המושגים והטכניקות של תורת החישוב, ולתמוך בפיתוח של קהילה רב-תחומית תוססת של חוקרים המתמקדת בנושאים הקשורים ליכולת חישוב. ה-ACiE ממקמת את עצמה בממשק בין מחקר יישומי למחקר יסודי, תוך עדיפות לגישות מתמטיות למחסומים חישוביים. האגודה למחשוב באירופה נוצרה כרשת מחקר בשם Computability in Europe (CiE) ב-2003, הפכה לסדרת כנסים ב-2005, וה-ACiE הוקמה ב-2008.
לוגיקה חישובית/לוגיקת חישוביות:
לוגיקה חישובית (CoL) היא תוכנית מחקר ומסגרת מתמטית לפיתוח מחדש של הלוגיקה כתיאוריה פורמלית שיטתית של יכולת חישוב, בניגוד ללוגיקה הקלאסית שהיא תורת אמת פורמלית. זה הוצג וכך נקרא על ידי Giorgi Japaridze בשנת 2003. בלוגיקה קלאסית, נוסחאות מייצגות הצהרות נכונות/לא נכון. ב-CoL, נוסחאות מייצגות בעיות חישוביות. בלוגיקה קלאסית, תקפותה של נוסחה תלויה רק ​​בצורתה, לא במשמעותה. ב-CoL, תוקף פירושו להיות תמיד ניתן לחישוב. באופן כללי יותר, ההיגיון הקלאסי אומר לנו כאשר האמת של אמירה נתונה תמיד נובעת מהאמת של סט נתון של הצהרות אחרות. באופן דומה, CoL אומר לנו כאשר יכולת החישוב של בעיה נתונה A נובעת תמיד מהחישוב של בעיות נתונות אחרות B1,...,Bn. יתר על כן, הוא מספק דרך אחידה למעשה לבנות פתרון (אלגוריתם) עבור A כזה מכל פתרונות ידועים של B1,...,Bn. CoL מנסח בעיות חישוביות במובן הכללי ביותר שלהן - אינטראקטיבי. CoL מגדיר בעיה חישובית כמשחק שמשחקת מכונה נגד הסביבה שלה. בעיה כזו ניתנת לחישוב אם יש מכונה שמנצחת את המשחק נגד כל התנהגות אפשרית של הסביבה. מכונת משחק כזו מכליל את התזה של Church-Turing לרמה האינטראקטיבית. המושג הקלאסי של אמת מתברר כמקרה מיוחד של יכולת חישוב בדרגת אפס אינטראקטיביות. זה הופך את ההיגיון הקלאסי לשבר מיוחד של CoL. לפיכך CoL הוא הרחבה שמרנית של ההיגיון הקלאסי. לוגיקה חישובית היא יותר אקספרסיבית, בונה ובעלת משמעות חישובית מהלוגיקה הקלאסית. מלבד לוגיקה קלאסית, לוגיקה ידידותית לעצמאות (IF) והרחבות נכונות מסוימות של לוגיקה ליניארית והיגיון אינטואיציוני מתגלים גם כשברים טבעיים של CoL. מכאן שניתן לגזור מושגים משמעותיים של "אמת אינטואיציונית", "אמת לינארית-לוגית" ו"אמת-לוגית IF" מהסמנטיקה של CoL. CoL עונה באופן שיטתי על השאלה הבסיסית של מה ניתן לחשב וכיצד; לפיכך ל-CoL יש יישומים רבים, כגון תיאוריות יישומיות בונות, מערכות בסיס ידע, מערכות לתכנון ופעולה. מתוך אלה, רק יישומים בתיאוריות יישומיות בונות נחקרו בהרחבה עד כה: סדרה של תיאוריות מספרים מבוססות CoL, הנקראות "קלריתמטיקה", נבנו כחלופות בעלות משמעות חישובית ומורכבת תיאורטית ל-Peano המבוססת על לוגיקה קלאסית. אריתמטיקה והווריאציות שלה כגון מערכות של חשבון מוגבל. מערכות הוכחה מסורתיות כגון דדוקציה טבעית וחשבון עוקב אינן מספיקות לאקסיומציה של קטעים לא טריוויאליים של CoL. הדבר הצריך פיתוח שיטות הוכחה חלופיות, כלליות וגמישות יותר, כגון חשבון מחזורי.
תורת החישוב/תורת החישוב:
תורת יכולת החישוב, הידועה גם בתור תורת הרקורסיה, היא ענף של לוגיקה מתמטית, מדעי המחשב ותורת החישוב שמקורה בשנות ה-30 של המאה ה-20 עם חקר פונקציות ניתנות לחישוב ותארי טיורינג. התחום התרחב מאז וכלל את חקר יכולת החישוב וההגדרה המוכללת. בתחומים אלו, תורת החישוב חופפת לתורת ההוכחה ולתורת הקבוצות התיאורית היעילה. שאלות בסיסיות שבהן מתייחסת תורת החישוב כוללות: מה המשמעות של פונקציה במספרים הטבעיים ניתנת לחישוב? כיצד ניתן לסווג פונקציות שאינן ניתנות לחישוב בהיררכיה על סמך רמת אי-החישוב שלהן? למרות שקיימת חפיפה ניכרת מבחינת ידע ושיטות, תיאורטיקנים של יכולת חישוב מתמטית לומדים את התיאוריה של יכולת חישוב יחסית, מושגי צמצום ומבני תארים; העוסקים בתחום מדעי המחשב מתמקדים בתיאוריה של היררכיות תת-רקורסיביות, שיטות פורמליות ושפות פורמליות.
Computable_Document_Format/Computable Document Format:
Computable Document Format (CDF) הוא פורמט מסמך אלקטרוני שנועד לאפשר יצירת תוכן אינטראקטיבי שנוצר באופן דינמי. CDF נוצר על ידי Wolfram Research, וניתן ליצור קבצי CDF באמצעות Mathematica. החל משנת 2021, אתר Wolfram Research מפרט את CDF כפורמט "מורשת".
Computable_analysis/Computable Analysis:
במתמטיקה ובמדעי המחשב, ניתוח חישוב הוא חקר הניתוח המתמטי מנקודת המבט של תורת החישוב. זה עוסק בחלקים של ניתוח אמיתי וניתוח פונקציונלי שניתן לבצע בצורה ניתנת לחישוב. התחום קשור קשר הדוק לניתוח בונה וניתוח מספרי. תוצאה בולטת היא שהאינטגרציה (במובן של אינטגרל רימן) ניתנת לחישוב. זה עשוי להיחשב מפתיע שכן אינטגרל הוא (באופן רופף) סכום אינסופי. אמנם תוצאה זו יכולה להיות מוסברת על ידי העובדה שכל פונקציה ניתנת לחישוב מ-[ 0 , 1 ] {\displaystyle \mathbb {[} 0,1]} עד R {\displaystyle \mathbb {R} } היא רציפה באופן אחיד, הדבר הבולט הוא שניתן תמיד לחשב את מודול ההמשכיות מבלי לתת אותו במפורש. עובדה מפתיעה דומה היא שגם בידול של פונקציות מורכבות ניתן לחישוב, בעוד שאותה תוצאה שקרית עבור פונקציות אמיתיות. לתוצאות המניעות לעיל אין מקבילה בניתוח הקונסטרוקטיבי של בישופ. במקום זאת, זוהי הצורה החזקה יותר של ניתוח בונה שפותח על ידי ברוואר המספקת מקבילה בלוגיקה בונה.
Computable_function/Computable function:
פונקציות ניתנות לחישוב הן מושאי המחקר הבסיסיים בתורת יכולת החישוב. פונקציות ניתנות לחישוב הן האנלוג המפורמלי של הרעיון האינטואיטיבי של אלגוריתמים, במובן זה שפונקציה ניתנת לחישוב אם קיים אלגוריתם שיכול לעשות את העבודה של הפונקציה, כלומר בהינתן קלט של תחום הפונקציה היא יכולה להחזיר את הפלט המתאים. פונקציות ניתנות לחישוב משמשות כדי לדון ביכולת החישוב מבלי להתייחס למודל קונקרטי כלשהו של חישוב כגון מכונות טיורינג או מכונות רישום. עם זאת, כל הגדרה חייבת להתייחס למודל חישוב ספציפי כלשהו, ​​אך כל ההגדרות התקפות מניבות את אותה מחלקה של פונקציות. מודלים מיוחדים של יכולת חישוב שמובילים לקבוצת הפונקציות הניתנות לחישוב הם הפונקציות הניתנות לחישוב של טיורינג והפונקציות הרקורסיביות הכלליות. לפני ההגדרה המדויקת של פונקציה ניתנת לחישוב, מתמטיקאים השתמשו לעתים קרובות במונח הבלתי פורמלי שניתן לחישוב ביעילות. מאז הגיע מונח זה להיות מזוהה עם הפונקציות הניתנות לחישוב. שימו לב שיכולת החישוב האפקטיבית של פונקציות אלו אינה מעידה על כך שניתן לחשב אותן ביעילות (כלומר לחשב תוך פרק זמן סביר). למעשה, עבור כמה פונקציות שניתן לחישוב אפקטיביות ניתן להראות שכל אלגוריתם שיחשב אותן יהיה מאוד לא יעיל במובן זה שזמן הריצה של האלגוריתם גדל באופן אקספוננציאלי (או אפילו על-מעריכי) עם אורך הקלט. התחומים של יכולת חישוב אפשרית ומורכבות חישובית לומדים פונקציות שניתן לחשב ביעילות. על פי התזה של Church–Turing, פונקציות ניתנות לחישוב הן בדיוק הפונקציות שניתן לחשב באמצעות מכשיר חישוב מכני בהינתן כמויות בלתי מוגבלות של זמן ושטח אחסון. באופן שווה, תזה זו קובעת שפונקציה ניתנת לחישוב אם ורק אם יש לה אלגוריתם. שימו לב שאלגוריתם במובן זה הוא רצף של שלבים שאדם עם זמן בלתי מוגבל ואספקה ​​בלתי מוגבלת של עט ונייר יכול לבצע. ניתן להשתמש באקסיומות בלום כדי להגדיר תיאוריית מורכבות חישוב מופשטת על קבוצת הפונקציות הניתנות לחישוב. בתורת המורכבות החישובית, הבעיה של קביעת המורכבות של פונקציה ניתנת לחישוב ידועה כבעיית פונקציה.
שיווי משקל כללי_ניתן לחישוב/שיווי משקל כללי הניתן לחישוב:
מודלים של שיווי משקל כללי ניתנים לחישוב (CGE) הם סוג של מודלים כלכליים המשתמשים בנתונים כלכליים בפועל כדי להעריך כיצד כלכלה עשויה להגיב לשינויים במדיניות, בטכנולוגיה או בגורמים חיצוניים אחרים. מודלים של CGE מכונים גם מודלים של AGE (שיווי משקל כללי יישומי).
איזומורפיזם_ניתן לחישוב/איזומורפיזם ניתן לחישוב:
בתורת החישוב שתי קבוצות A; B ⊆ N {\displaystyle A;B\subseteq \mathbb {N} } של מספרים טבעיים הם איזומורפיים לחישוב או איזומורפיים רקורסיבית אם קיימת פונקציית חישוב כוללת f : N → N {\displaystyle f\colon \mathbb {N} \to \mathbb {N} } עם f ( A ) = B {\displaystyle f(A)=B} . לפי משפט האיזומורפיזם של Myhill, היחס של איזומורפיזם בר חישוב עולה בקנה אחד עם היחס של צמצום הדדי של אחד אחד. שני מספורים ν {\displaystyle \nu } ו-μ {\displaystyle \mu } נקראים איזומורפיים לחישוב אם קיימת שילוב חישוב f {\displaystyle f} כך ש-ν = μ ∘ f {\displaystyle \nu =\mu \circ ו} מספור איזומורפי לחישוב גורמים לאותו מושג של יכולת חישוב על קבוצה.
תיאוריית המידה הניתנת לחישוב/תיאוריית המדדים הניתנים לחישוב:
במתמטיקה, תורת המדידות הניתנות לחישוב היא החלק בניתוח הניתן לחישוב העוסק בגרסאות יעילות של תורת המידה.
תיאוריית המודלים הניתנים לחישוב/תיאוריית המודלים הניתנים לחישוב:
תורת המודלים הניתנים לחישוב היא ענף של תורת המודלים העוסק בשאלות של יכולת חישוב כפי שהן חלות על מבנים תיאורטיים של מודלים. תיאוריית המודלים הניתנים לחישוב מציגה את הרעיונות של מודלים ותיאוריות ניתנים לחישוב וניתנים להכרעה, ואחת הבעיות הבסיסיות היא לגלות האם ניתן להוכיח שקיימים מודלים ניתנים לחישוב או ניתנים להכרעה הממלאים תנאים תיאורטיים מודלים מסוימים. תורת המודלים הניתנים לחישוב פותחה כמעט בו-זמנית על ידי מתמטיקאים במערב, בעיקר בארצות הברית ובאוסטרליה, וברוסיה הסובייטית במהלך אמצע המאה ה-20. בגלל המלחמה הקרה הייתה תקשורת מועטה בין שתי הקבוצות הללו ולכן התגלו מספר תוצאות חשובות באופן עצמאי.
מספר_ניתן לחישוב/מספר ניתן לחישוב:
במתמטיקה, מספרים ניתנים לחישוב הם המספרים הממשיים שניתן לחשב לפי כל דיוק רצוי באמצעות אלגוריתם סופי ומסיים. הם ידועים גם בתור המספרים הרקורסיבים, המספרים האפקטיביים או הממשיים הניתנים לחישוב או ממשים רקורסיביים. ניתן לתת הגדרות שוות ערך באמצעות פונקציות רקורסיביות μ, מכונות טיורינג או חישוב λ כייצוג פורמלי של אלגוריתמים. המספרים הניתנים לחישוב יוצרים שדה סגור אמיתי וניתן להשתמש בהם במקום מספרים ממשיים למטרות מתמטיות רבות, אך לא לכל.
Computable_ordinal/Computable Ordinal:
במתמטיקה, במיוחד יכולת חישוב ותורת הקבוצות, נאמר ש-Ordinal α {\displaystyle \alpha } ניתן לחישוב או רקורסיבי אם יש סידור טוב לחישוב של תת-קבוצה של המספרים הטבעיים עם סוג הסדר α {\displaystyle \alpha } . קל לבדוק ש-ω {\displaystyle \omega } ניתן לחישוב. היורש של סידור בר חישוב ניתן לחישוב, וקבוצת כל הסידורים הניתנים לחישוב נסגרת כלפי מטה. הרמה העליונה של כל הסידורים הניתנים לחישוב נקראת הסידור של Church–Kleene, הסידור הבלתי חוזר הראשון, ומסומנת ב-ω 1 C K {\displaystyle \omega _{1}^{CK}}. הסידור של צ'רץ'-קליין הוא סידור גבול. ניתן לחישוב רדינל אם ורק אם הוא קטן מ-ω 1 C K {\displaystyle \omega _{1}^{CK}} . מכיוון שקיימים רק יחסים הניתנים לחישוב רבים, יש גם רק מספר רב של סידורים שניתנים לחישוב. לפיכך, ω 1 C K {\displaystyle \omega _{1}^{CK}} ניתן לספירה. הסידורים הניתנים לחישוב הם בדיוק הסידורים שיש להם סימון סידורי ב-O {\displaystyle {\mathcal {O}}} של Kleene.
Computable_real_function/Computable real_function:
בלוגיקה מתמטית, במיוחד בתורת יכולת החישוב, פונקציה f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } ניתנת לחישוב ברצף אם, עבור כל רצף שניתן לחישוב { x i } i = 1 ∞ {\displaystyle \{x_{i}\}_{i=1}^{\infty }} של מספרים ממשיים, הרצף { f ( x i ) } i = 1 ∞ {\displaystyle \{f(x_{i} )\}_{i=1}^{\infty }} ניתן גם לחישוב. פונקציה f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } היא למעשה רציפה באופן אחיד אם קיימת פונקציה רקורסיבית d : N → N {\displaystyle d\colon \mathbb { N} \to \mathbb {N} } כך שאם | x − y | < 1 d ( n ) {\displaystyle |xy|<{1 \over d(n)}} ואז | f ( x ) − f ( y ) | < 1 n {\displaystyle |f(x)-f(y)|<{1 \over n}} פונקציה אמיתית ניתנת לחישוב אם היא גם ניתנת לחישוב ברצף וגם רציפה למעשה באופן אחיד, ניתן להכליל הגדרות אלו לפונקציות של יותר מאשר משתנה אחד או פונקציות המוגדרות רק על תת-קבוצה של Rn. {\displaystyle \mathbb {R} ^{n}.} אין צורך להעלות מחדש את ההכללות של שתי האחרונות. הכללה מתאימה של ההגדרה הראשונה היא: תנו ל-D {\displaystyle D} להיות תת-קבוצה של R n . {\displaystyle \mathbb {R} ^{n}.} פונקציה f : D → R {\displaystyle f\colon D\to \mathbb {R} } ניתנת לחישוב ברצף אם, עבור כל n {\displaystyle n} - tuplet ( { x i 1 } i = 1 ∞ , … { x i n } i = 1 ∞ ) {\displaystyle \left(\{x_{i\,1}\}_{i=1}^{\infty },\ ldots \{x_{i\,n}\}_{i=1}^{\infty }\right)} של רצפים ניתנים לחישוב של מספרים ממשיים כך ( ∀ i ) ( x i 1 , … x i n ) ∈ D , { \displaystyle (\forall i)\quad (x_{i\,1},\ldots x_{i\,n})\in D\qquad ,} הרצף { f ( x i ) } i = 1 ∞ {\displaystyle גם \{f(x_{i})\}_{i=1}^{\infty }} ניתן לחישוב. מאמר זה משלב חומר מ-Computable real function ב-PlanetMath, אשר מורשה תחת רישיון Creative Commons ייחוס/שיתוף זהה.
Computable_set/Computable set:
בתורת החישוב, קבוצה של מספרים טבעיים נקראת ניתנת לחישוב, רקורסיבית או ניתנת להכרעה אם יש אלגוריתם שלוקח מספר כקלט, מסתיים לאחר פרק זמן סופי (אולי תלוי במספר הנתון) ומחליט נכון אם המספר שייך לסט או לא. קבוצה שאינה ניתנת לחישוב נקראת לא ניתנת לחישוב או בלתי ניתנת להכרעה. מחלקה כללית יותר של קבוצות מאלה הניתנות לחישוב מורכבת מהקבוצות הניתנות לחישוב (ce), המכונות גם קבוצות שניתנות למחצה. עבור קבוצות אלו, נדרש רק שיהיה אלגוריתם שמחליט נכון מתי מספר נמצא בקבוצה; ייתכן שהאלגוריתם לא ייתן תשובה (אבל לא תשובה שגויה) עבור מספרים שאינם בקבוצה.
Computable_topology/Computable_topology:
טופולוגיה ניתנת לחישוב היא דיסציפלינה במתמטיקה החוקרת את המבנה הטופולוגי והאלגברי של החישוב. אין לבלבל טופולוגיה ניתנת לחישוב עם טופולוגיה אלגוריתמית או חישובית, החוקרת את היישום של חישוב לטופולוגיה.
ניתן לספור בחישוב/ניתן לספור בחישוב:
בתורת יכולת החישוב, קבוצה S של מספרים טבעיים נקראת ספירה חישובית (ce), נספירה רקורסיבית (re), ניתנת להכרעה למחצה, ניתנת להכרעה חלקית, ניתנת לרשימה, ניתנת להוכחה או ניתנת לזיהוי בטיורינג אם: יש אלגוריתם כזה שקבוצת מספרי הקלט עבור שהאלגוריתם עוצר הוא בדיוק S.Or, שווה ערך, יש אלגוריתם שמונה את האיברים של S. כלומר הפלט שלו הוא פשוט רשימה של כל האיברים של S: s1, s2, s3, ... . אם S הוא אינסופי, האלגוריתם הזה יפעל לנצח. התנאי הראשון מציע מדוע משתמשים לפעמים במונח שניתן להחליט למחצה. ליתר דיוק, אם מספר נמצא בסט, אפשר להחליט על כך על ידי הפעלת האלגוריתם, אבל אם המספר לא נמצא בסט, האלגוריתם פועל לנצח, ולא מוחזר מידע. קבוצה ש"ניתנת להכרעה לחלוטין" היא קבוצה ניתנת לחישוב. התנאי השני מציע מדוע נעשה שימוש בספירת חישוב. הקיצורים ce ו-re משמשים לעתים קרובות, אפילו בדפוס, במקום הביטוי המלא. בתורת המורכבות החישובית, מחלקת המורכבות המכילה את כל הקבוצות הניתנות לחישוב היא RE. בתורת הרקורסיה, הסריג של קבוצות ce תחת הכללה מסומן E {\displaystyle {\mathcal {E}}} .
בלתי-ניתן להפרדה_בחישוב/בלתי-ניתן להפרדה בחישוב:
בתורת יכולת החישוב, שתי קבוצות נפרדות של מספרים טבעיים נקראות בלתי ניתנות לחישוב או בלתי ניתנות להפרדה רקורסיבית אם לא ניתן "להפריד" אותן עם קבוצה הניתנת לחישוב. קבוצות אלו מתעוררות בחקר תיאוריית יכולת החישוב עצמה, במיוחד ביחס לשיעורי Π01. קבוצות בלתי ניתנות לחישוב עולות גם בחקר משפט אי השלמות של גדל.
Computacenter/Computacenter:
Computacenter plc היא חברה רב-לאומית בריטית המספקת שירותי מחשוב ללקוחות מהמגזר הציבורי והפרטי. זוהי חברה בריטית שבסיסה בהטפילד, הרטפורדשייר. החברה רשומה בבורסת לונדון ומהווה מרכיב במדד FTSE 250.
Computaci%C3%B3n_y_Sistemas/Computación y Sistemas:
Computación y Sistemas הוא ביקורת עמיתים בנושא בינה מלאכותית ומדעי המחשוב המספקת פורום מוכר למחקר בתחום מדעי המחשב באמריקה הלטינית. הוא הוקם בשנת 1997 על ידי פרופסור אדולפו גוזמן ארנס והוא יוצא לאור על ידי Instituto Politécnico Nacional בתמיכת CONACyT.
Computaris/Computaris:
Computaris היא חברה בבריטניה בבעלות קבוצת R Systems המספקת שירותי פיתוח תוכנה, אינטגרציה של מערכות ושירותי ייעוץ טכני. Computaris פועלת מסניפי סניפים בפולין, רומניה, מולדובה, ארה"ב, מלזיה, פיליפינים והודו. Computaris פעילה בתחומים כמו חיוב מתכנס, הודעות, SDP, VAS, אספקה, תיווך, דירוג וטעינה, ניהול שירותים, מסחר נייד, מערכות תשלום ניידות, IN (פרוטוקולי SCP ו-IN), שירותי הדור הבא, ניהול מדיניות, עסקים מודיעין ואינטגרציה עם רכיבי רשת GSM (MSC, HLR, VLR, GGSN וכו'). ב-27 בינואר 2011 הודיעה R Systems International Ltd כי רכשה את Computaris International Limited.
חישוב/חישוב:
חישוב הוא כל סוג של חישוב אריתמטי או לא אריתמטי העוקב אחר מודל מוגדר היטב (למשל, אלגוריתם). מכשירים מכניים או אלקטרוניים (או, היסטורית, אנשים) המבצעים חישובים ידועים בתור מחשבים. דיסציפלינה ידועה במיוחד בחקר החישובים היא מדעי המחשב.
מערכות_חישוב ומערכות עצביות/מערכות מחשוב ועצביות:
תכנית החישוב ומערכות עצביות (CNS) הוקמה במכון הטכנולוגי של קליפורניה בשנת 1986 במטרה להכשיר Ph.D. סטודנטים המעוניינים לחקור את הקשר בין המבנה של מעגלים/רשתות דמויי נוירונים לבין החישובים המבוצעים במערכות כאלה, בין אם טבעיות או סינתטיות. התוכנית נועדה לטפח חילופי רעיונות ושיתוף פעולה בין מהנדסים, מדעני מוח ותיאורטיקנים.
היסטוריית_חישוב/היסטוריית חישוב:
במדעי המחשב, היסטוריית חישוב היא רצף של צעדים שננקטים על ידי מכונה מופשטת בתהליך חישוב התוצאה שלה. היסטוריות חישוב משמשות לעתים קרובות בהוכחות לגבי היכולות של מכונות מסוימות, ובמיוחד לגבי חוסר ההכרעה של שפות פורמליות שונות. באופן פורמלי, היסטוריית חישוב היא רצף (בדרך כלל סופי) של תצורות של אוטומט רשמי. כל תצורה מתארת ​​במלואה את מצב המכונה בנקודה מסוימת. כדי להיות תקף, תנאים מסוימים חייבים להתקיים: התצורה הראשונה חייבת להיות תצורה ראשונית חוקית של האוטומט וכל מעבר בין תצורות סמוכות חייב להיות תקף בהתאם לכללי המעבר של האוטומט. בנוסף, כדי להיות שלמה, היסטוריית חישוב חייבת להיות חוקית. להיות סופית והתצורה הסופית חייבת להיות תצורת מסוף חוקית של האוטומט. ההגדרות של "תצורה ראשונית חוקית", "מעבר חוקי" ו"תצורת מסוף חוקית" משתנות עבור סוגים שונים של מכונות פורמליות. לאוטומט דטרמיניסטי יש בדיוק היסטוריית חישוב אחת עבור תצורה ראשונית נתונה, אם כי ההיסטוריה עשויה להיות אינסופית ולכן לא שלמה.
חישוב_במגבלה/חישוב בגבול:
בתורת יכולת החישוב, פונקציה נקראת limit computable אם היא הגבול של רצף אחיד של פונקציות שניתן לחישוב. נעשה שימוש גם במונחים הניתנים לחישוב ב-limit, limit רקורסיבי וניתן לקירוב רקורסיבית. אפשר לחשוב על פונקציות ניתנות לחישוב מוגבלות ככאלו שמודות בהליך ניחוש סופי לחישוב נכון בערכן האמיתי. קבוצה ניתנת לחישוב מגבלה בדיוק כאשר הפונקציה האופיינית שלה ניתנת לחישוב מגבלה. אם הרצף ניתן לחישוב אחיד ביחס ל-D, אז הפונקציה ניתנת לחישוב גבול ב-D.
חישוב_של_בדיקות_יתירות_מחזוריות/חישוב של בדיקות יתירות מחזוריות:
חישוב של בדיקת יתירות מחזורית נגזר מהמתמטיקה של חלוקה פולינומית, מודולו שני. בפועל, זה דומה לחלוקה ארוכה של מחרוזת ההודעות הבינארית, עם מספר קבוע של אפסים מצורף, על ידי מחרוזת ה"פולינום המחולל" אלא שאקסקלוסיביות או פעולות מחליפות חיסורים. חלוקה מסוג זה מתממשת ביעילות בחומרה על ידי אוגר משמרות שונה, ובתוכנה על ידי סדרה של אלגוריתמים שווי ערך, החל מקוד פשוט קרוב למתמטיקה והופכת למהירה יותר (ולא ניתן לטעון יותר מעורפלת) באמצעות מקביליות ומרחב בתים- פשרות בזמן. תקני CRC שונים מרחיבים את אלגוריתם החלוקה הפולינומית על ידי ציון ערך אוגר משמרת ראשוני, שלב Exclusive-Or אחרון, ובעיקר, סדר סיביות (endianness). כתוצאה מכך, הקוד הנראה בפועל סוטה באופן מבלבל מחלוקה "טהורה", והרישום עשוי להזיז שמאלה או ימינה.
חישוב_הפחתת_גלי הרדיו באטמוספירה/חישוב הנחתה_גל הרדיו באטמוספירה:
חישוב הנחתה של גלי רדיו באטמוספירה הוא סדרה של מודלים ושיטות התפשטות רדיו להערכת אובדן הנתיב עקב הנחתה של האות העובר באטמוספירה על ידי קליטת מרכיביה השונים. יש הרבה עובדות ידועות על התופעה וטיפולים איכותיים בספרי הלימוד. מסמך שפורסם על ידי איגוד הטלקומוניקציה הבינלאומי (ITU) מספק בסיס כלשהו להערכה כמותית של הנחתה. מסמך זה מתאר מודל מפושט יחד עם נוסחאות סמי-אמפיריות המבוססות על התאמת נתונים. הוא גם המליץ ​​על אלגוריתם לחישוב הנחתה של התפשטות גלי רדיו באטמוספירה. נאס"א גם פרסמה מחקר בנושא קשור. תוכנה חינמית מ-CNES המבוססת על המלצות ITU-R זמינה להורדה וזמינה לציבור.
חישוב_של_זמן/חישוב זמן:
חישוב זמן עשוי להתייחס ל: חישוב זמן (חוק קנוני קתולי) חישוב זמן (חוק)
חישוב_זמן_(חוק_קאנוני_קתולי)/חישוב זמן (חוק קנוני קתולי):
בחוק הקנוני של הכנסייה הקתולית, חישוב הזמן, המתורגם גם כחישוב זמן (בלטינית: supputatio temporis), הוא האופן שבו מחושבים פרקי זמן שנקבעו בחוק לפי הנורמה של הקנונים על הכנסייה הקתולית. חישוב זמן. החלת החוקים כרוכה לעתים קרובות בשאלת זמן: בדרך כלל יש לחלוף שלושה חודשים לאחר פרסומם לפני שהם נכנסים לתוקף; יש למלא התחייבויות מסוימות בתוך מספר מסוים של ימים, שבועות או חודשים. מכאן הצורך של הכללים לחישוב הזמן. עם הקוד של 1917 והקוד המתוקן של 1983, ניסח המחוקק כללים אלה בבהירות ובדיוק שלא היו להם מעולם.
חישוב_זמן_(חוק)/חישוב זמן (חוק):
חישוב זמן או חישוב זמן הוא מונח משפטי המציין את אופן חישוב הזמן בחוק.
Computation_offloading/Computation offloading:
פריקת מחשוב היא העברת משימות חישוב עתירות משאבים למעבד נפרד, כגון מאיץ חומרה, או פלטפורמה חיצונית, כגון אשכול, רשת או ענן. ניתן להשתמש בהורדה למעבד שותף כדי להאיץ יישומים כולל: עיבוד תמונה וחישובים מתמטיים. הורדת מחשוב לפלטפורמה חיצונית דרך רשת יכולה לספק כוח מחשוב ולהתגבר על מגבלות החומרה של התקן, כגון כוח חישוב מוגבל, אחסון ואנרגיה.
עץ החישובים/עץ החישובים:
עץ חישוב הוא ייצוג של שלבי החישוב של מכונת טיורינג לא דטרמיניסטית בקלט מוגדר. עץ חישוב הוא עץ שורשי של צמתים וקצוות. כל צומת בעץ מייצג מצב חישובי בודד, בעוד שכל קצה מייצג מעבר לחישוב האפשרי הבא. מספר הצמתים של העץ הוא גודל העץ ואורך הנתיב מהשורש לצומת נתון הוא עומק הצומת. העומק הגדול ביותר של צומת פלט הוא עומק העץ. עלי העץ נקראים צמתי פלט. בעץ חישוב עבור בעיית החלטה, כל צומת פלט מסומן כן או לא. אם עץ, T, עם רווח קלט X, אם x ∈ X {\displaystyle x\in X} והנתיב של x מסתיים בצומת המסומן כן, אז הקלט x מתקבל. אחרת זה נדחה. עומק עץ החישוב עבור קלט נתון הוא זמן החישוב עבור מכונת הטיורינג על קלט זה. עצי חישוב שימשו גם כדי לחקור את המורכבות החישובית של בעיות בגיאומטריה חישובית ובחישובי מספרים ממשיים.
לוגיקה_עץ_חישוב/לוגיקה של עץ חישוב:
לוגיקה של עץ חישוב (CTL) היא לוגיקה של זמן הסתעפות, כלומר מודל הזמן שלה הוא מבנה דמוי עץ שבו העתיד אינו נקבע; יש נתיבים שונים בעתיד, שכל אחד מהם עשוי להיות נתיב ממשי שמתממש. הוא משמש לאימות פורמלית של חפצי תוכנה או חומרה, בדרך כלל על ידי יישומי תוכנה הידועים כבודקי מודלים, הקובעים אם חפץ נתון הוא בעל תכונות בטיחות או חיים. לדוגמה, CTL יכול לציין שכאשר מתקיים תנאי ראשוני כלשהו (למשל, כל משתני התוכנית הם חיוביים או שאין מכוניות על כביש מהיר משתרעות על שני נתיבים), אז כל הביצועים האפשריים של תוכנית נמנעים ממצב לא רצוי כלשהו (למשל, חלוקת מספר ב- אפס או שתיים מכוניות מתנגשות בכביש מהיר). בדוגמה זו, ניתן לאמת את תכונת הבטיחות על ידי בודק מודל שבוחן את כל המעברים האפשריים מתוך מצבי תוכנית העומדים בתנאי ההתחלה ומבטיח שכל הביצועים הללו עומדים בנכס. לוגיקה של עץ החישוב שייכת למחלקה של לוגיקה זמנית הכוללת לוגיקה זמנית ליניארית (LTL). למרות שקיימים מאפיינים הניתנים לביטוי רק ב-CTL ומאפיינים הניתנים לביטוי רק ב-LTL, כל המאפיינים הניתנים לביטוי בכל אחת מהלוגיקה ניתנות לביטוי גם ב-CTL*. CTL הוצע לראשונה על ידי אדמונד מ. קלארק וא. אלן אמרסון ב-1981, שהשתמשו בו כדי לסנתז מה שנקרא שלדי סינכרון, כלומר הפשטות של תוכניות במקביל.
הבנת_הנפש_חישובית-ייצוגית/הבנה חישובית-ייצוגית של התודעה:
הבנת ייצוג חישובי של המוח (CRUM) היא השערה במדעי הקוגניציה אשר מציעה כי החשיבה מתבצעת על ידי חישובים הפועלים על ייצוגים. השערה זו מניחה שלמוח יש ייצוגים מנטליים מקבילים למבני נתונים והליכי חישוב אנלוגיים לאלגוריתמים, כך שתוכנות מחשב המשתמשות באלגוריתמים המיושמים על מבני נתונים יכולות לדגמן את התודעה ואת התהליכים שלה. CRUM לוקח בחשבון מספר גישות תיאורטיות להבנת הקוגניציה האנושית , כולל לוגיקה, כלל, מושג, אנלוגיה, תמונה ומערכות מבוססות קונקשן המבוססות על רשתות עצביות מלאכותיות. אלה משמשים כהיבטי הייצוג של תורת ה-CRUM, אשר לאחר מכן פועלים כדי לדמות היבטים מסוימים של הקוגניציה האנושית, כגון השימוש במערכות מבוססות כללים בנוירו-כלכלה. יש הרבה מחלוקת על השערה זו, אבל ל-CRUM יש הערכה גבוהה בקרב כמה חוקרים. הפילוסוף פול תאגארד כינה זאת "הגישה המוצלחת ביותר מבחינה תיאורטית וניסיוני לנפש שפותחה אי פעם".
חישובי_ביולוגיה_וכימיה/ביולוגיה חישובית וכימיה:
ביולוגיה וכימיה חישובית הוא כתב עת מדעי בעל ביקורת עמיתים שפורסם על ידי Elsevier המכסה את כל תחומי מדעי החיים החישוביים. העורך הראשי הנוכחי הם ונטיאן לי (מכון פיינשטיין למחקר רפואי) ודונלד המלברג (אוניברסיטת ג'ורג'יה סטייט). כתב העת הוקם בשנת 1976 בשם מחשבים וכימיה. הוא השיג את התואר הנוכחי שלו בשנת 2003 תחת עריכתם של אנדז'יי K Konopka וג'יימס קראבל (אוניברסיטת בדפורדשייר).