מיטגליד : לאָגין |פאַרשרייַבונג |פאָרלייגן קשיא
זוכן
[מאָדיפיקאַטיאָן ] ינסטיטוטיאָן: קאָמפּיוטער וויסנשאַפֿט
דער געדאַנק פון ינסטיטושאַן איז באשאפן דורך יוסף גאָגוען און ראָד בערסטאַלט אין די שפּעט 1970 ס צו האַנדלען מיט די "באַפעלקערונג יקספּלאָוזשאַן צווישן די לאַדזשיקאַל סיסטעמען געניצט אין קאָמפּיוטער וויסנשאַפֿט". דער געדאנק פרוווט צו כאַפּן די עסאַנס פון די באַגריף פון "לאַדזשיקאַל סיסטעם".
די נוצן פון אינסטיטוציעס מאכט עס מעגלעך צו אַנטוויקלען קאַנסעפּס פון באַשרייַבונג שפּראַכן (ווי סטראַקטשערינג פון ספּעסאַפאַקיישאַנז, פּאַראַמעטעריזאַטיאָן, ימפּלאַמענטיישאַן, ראַפינמאַנט, אַנטוויקלונג), דערווייַז קאַלקיי און אפילו מכשירים אין אַ וועג גאָר פרייַ פון די אַנדערלייינג לאַדזשיקאַל סיסטעם. עס זענען אויך מאָרפיזמז אַז לאָזן צו פאַרבינדן און איבערזעצן לאַדזשיקאַל סיסטעמס. וויכטיק אַפּלאַקיישאַנז פון דעם זענען שייַעך-נוצן פון לאַדזשיקאַל סטרוקטור (אויך גערופן באַראָוינג), כעטעראַדזשיניאַס באַשרייַבונג און קאָמבינאַציע פון ​​לאָגיקס.
די פאַרשפּרייטונג פון ינסטיטושאַנאַל מאָדעל טעאָריע האט גענעראַליזעד פאַרשידן געדאנקען און רעזולטאַטן פון מאָדעל טעאָריע און אינסטיטוציעס זיך האָבן פּראַלעקטיד די פּראָגרעס פון וניווערסאַל לאָגיק.
Definition.1
ביישפילן פון אינסטיטוציעס.2
[ופּלאָאַד מער ינהאַלט ]

Lxjkh 2018@ קאַפּירייט