די לאַדזשיקאַל אָפּעראַציע. די גרונט לאָגיק אַפּעריישאַנז

קאָמפּיוטער וויסנשאַפֿט ווי אַ וויסנשאַפֿט פון קאַלעקטינג טעקניקס, אָרגאַניזירן און פּראָצעס אַ פאַרשיידנקייַט פון דאַטן הייבט צו אַנטוויקלען אין די מיטן twentieth יאָרהונדערט. כאָטש עטלעכע כיסטאָריאַנז גלויבן אַז די אָנהייב פון די פאָרמירונג פון קאָמפּיוטער וויסנשאַפֿט איז געלייגט אין די 17 יאָרהונדערט, מיט די דערפינדונג פון דער ערשטער מאַקאַניקאַל קאַלקולאַטאָר, די מערהייַט מיטאַרבעטער עס מיט דער עלטער פון מער אַוואַנסירטע קאָמפּיוטער טעכנאָלאָגיע. אין די 40s פון די 20 יאָרהונדערט, מיט די אַדווענט פון דער ערשטער קאָמפּיוטערס, קאָמפּיוטער וויסנשאַפֿט האט באקומען אַ נייַ ימפּאַטאַס צו דער אַנטוויקלונג.

די ונטערטעניק פון לערנען ינפאָרמאַטיקס

עס איז געווען מיט די אַדווענט פון דער ערשטער קאָמפּיוטערס האט ווערן נייטיק צו אַנטוויקלען נייע מעטהאָדס פון סיסטעמאַטיזאַטיאָן, כעזשבן און פּראַסעסינג פון גרויס דאַטן שטעלט, ווי ווויל ווי אין די אַנטוויקלונג פון אַלגערידאַמז אַז וואָלט לאָזן די פול פּאָטענציעל פון נייַ קאָמפּיוטערס. ינפאָרמאַטיקס באקומען דעם סטאַטוס פון אַ זעלבשטענדיק SCIENTIFIC דיסציפּלין, און געטומלט אויס פון די פלאַך פון מאַטאַמאַטיקאַל חשבונות צו לערנען קאַמפּיאַטיישאַן אין אַלגעמיין.

אַלע מאָדערן קאָמפּיוטער וויסנשאַפֿט איז באזירט אויף לאַדזשיקאַל אַפּעריישאַנז. זיי קענען זיין האָט גערופֿן דעם פונדאַמענטאַל קאָמפּאָנענט. אין פּראָגראַממינג, קאָמפּיוטער סיסטעמס דער באַגריף פון לאָגיק אָפּעראַציע - עס איז אַ קאַמף, וואָס איז דזשענערייטאַד נאָך Performing אַ נייַ באַגריף אָדער אַ ווערט געגרינדעט אויף די יקער פון יגזיסטינג קאַנסעפּס. א סכום פון אַזאַ אַקשאַנז זאל בייַטן דיפּענדינג אויף די פּראַסעסער עלעמענט צו ויספירן קאַמאַנדז. אָבער, עס זענען עטלעכע אַפּעריישאַנז אַז ביסט פּראָסט צו כמעט אַלע יגזיסטינג סיסטעמס. דעם אָפּעראַציע, וואָס אַרבעט מיט צופרידן וואַלועס זיך, אַזאַ ווי אָפּלייקענונג, אָדער יענע אַז יבערבייַטן די קוואַנטיטאַטיווע כאראקטעריסטיק קאַנסעפּס - לייגן, אַראָפּרעכענען, מערן, טיילן.

אָפּעראַנדס פון לאַדזשיקאַל אַפּעריישאַנז

זינט די אַלגעבראַ לאָגיק מיטל אַרבעט אויף אַבסטראַקט השגות, דעמאָלט ווי אָפּעראַנדס אַלע לאַדזשיקאַל אַפּעריישאַנז זענען די דזשענראַלייזד דאַטע טייפּס. קלאסישע יסודות, אַרבעט מיט אַלגעבראַ סטייטמאַנץ זענען סטייטמאַנץ, פאַלש אָדער אמת. די עלעקטראָניק און פּראָגראַממינג פֿאַר די באַשרייַבונג פון די ווערטער איז געניצט באָאָלעאַן וועריאַבאַלז אמת און פאַלש אָדער ינטאַדזשער ווערט פון 1 (אמת) און 0 (פאַלש). אויף אַ קאָמבינאַציע פון די וואַלועס, ווי ניט צו גלייבן ווי עס זאל געזונט, די אַרבעט איז טייד מערסט קאָמפּלעקס און גרויס-וואָג סיסטעמען. אַלע פּראָגראַם קאָד אַז איז עקסאַקיוטאַד אויף אַ קאָמפּיוטער אָדער קיין דיגיטאַל מיטל דינאַמיקאַללי טראַנזלייץ אין אַ סיקוואַנס פון אָנעס און זעראָס - די וניווערסאַל קאָד וואָס קענען זיין פּראַסעסט דורך קיין פּראַסעסינג.

טייפּס פון לאַדזשיקאַל אַפּעריישאַנז

ווי דערמאנט פריער, אין די קלאסישע באָאָלעאַן אַלגעבראַ , עס זענען 2 טייפּס פון פֿעיִקייטן. די הויפּט לאַדזשיקאַל אַפּעריישאַנז אויף ביינערי דאַטע טייפּס - זענען אַקשאַנז ווירקן דער דערקלערונג זיך (ונאַרי, אָדער איין, אָפּעראַציע). דאס איז אויך די אַפּעריישאַנז אַז דזשענערייט נייַ סטייטמאַנץ אויף דער באזע פון יגזיסטינג וואַלועס (ביינערי אַפּעריישאַנז, אָדער צווילינג). דער סדר פון די לאַדזשיקאַל אַפּעריישאַנז איז דער זעלביקער ווי ווען Performing קיין מאַטאַמאַטיקאַל חשבונות פון לינקס צו רעכט, אין מיינונג פון די בראַקאַץ.

די יזיאַסט און איינער פון די מערסט געזונט-באקאנט פֿעיִקייטן פון באָאָלעאַן לאָגיק פֿונקציע איז אָפּלייקענונג. דעם פּשוט לאָגיק אָפּעראַציע איז אַ פאַרקערט ווערט פון די ינפּוט אָפּעראַנד. אין עלעקטראָניק, דעם קאַמף איז מאל גערופֿן אַ ינווערזשאַן. לעמאָשל, אויב איר יבערקערן די פאָרלייג "אמת", דער רעזולטאַט איז "פאַלש". און וויצע ווערסאַ - די נעגאַטיאָן פון די וואַלועס "פאַלש" וועט רעזולטאַט אין אַ ווערט פון "אמת". דעם לאַדזשיקאַל אָפּעראַציע פּראָגראַממינג איז אָפֿט געניצט פֿאַר בראַנטשינג אַלגערידאַמז און ימפּלאַמענטיישאַן פון די "ברירה" פון אַ סאַבסאַקוואַנט שטעלן פון קאַמאַנדז אויף דער באזע פון די יגזיסטינג רעזולטאַטן אָדער געביטן באדינגונגען.

ביינערי אָפּעראַציע

אין קאָמפּיוטער פּראָגראַממינג און נוצן אַ לימיטעד שטעלן פון ביינערי (ביינערי) אַפּעריישאַנז. זיי גאַט זייער נאָמען פֿון די רעדאַגירן ווערטער צוויי, טייַטש "צוויי", און זענען די מין פון פֿעיִקייטן אַז נעמען צוויי ינפּוט טענות און קריק אַ רעזולטאַט אין איין נייַ ווערט. פֿאַר דיסקריפּשאַנז פון אַלע פֿעיִקייטן פון באָאָלעאַן אַלגעבראַ ניצט אמת טישן.

וואָס זיי דאַרפֿן

דעם סיסטעם איז געמאכט פֿאַר אַ זיכער סומע פון ינפּוט אָפּעראַנדס און באשרייבט אַלע ריזאַלטינג וואַלועס, וואָס קענען צוריקקומען אַ פּרידיטערמינד לאָגיק אָפּעראַציע אין געזאגט שטעלן ינפּוט פּאַראַמעטערס.

די מערסט אָפט געניצט פֿעיִקייטן אין די קאָמפּיוטער און קאָמפּיוטער טעכנאָלאָגיע זענען לאַדזשיקאַל דערצו (דיסדזשונקטיאָן) און לאַדזשיקאַל קייפל (קאַנדזשאַנגקשאַן).

קאַנדזשאַנגקשאַן

די לאַדזשיקאַל אָפּעראַציע "און" - איז אַ פֿונקציע פון די ברירה פון די לעסער פון צוויי אָדער N ינפּוט אָפּעראַנדס. אויף קומט דעם פֿונקציע קענען האָבן צוויי (ביינערי פֿונקציע), די דרייַ וואַלועס (טערנאַרי), אָדער אַ אַנלימאַטאַד נומער פון אָפּעראַנדס (N-אַרי אָפּעראַציע). ווען קאַלקיאַלייטינג די רעזולטאַט פון די פֿונקציע עס וועט זיין דער קלענסטער פון די סאַפּלייד ינפּוט וואַלועס.

אַנאַלאָג אין פּראָסט אַלגעבראַ איז אַ פֿונקציע פון קייפל. דעריבער, דער קאַנדזשאַנגקשאַן אָפּעראַציע איז אָפֿט רעפעררעד צו ווי אַ לאַדזשיקאַל קייפל. ווען דער צייכן פון די פֿונקציע רעקאָרדינג אקטן אָדער קייפל צייכן (פונט) אָדער אַ אַמפּערסאַנד. אויב מיר מאַכן די אמת טיש פֿאַר דעם פֿונקציע, עס וועט זיין געזען אַז די פֿונקציע איז באַשטימט צו "אמת" אָדער 1, בלויז מיט דער אמת פון אַלע די ינפּוט אָפּעראַנדס. אויב לפּחות איינער פון די ינפּוט פּאַראַמעטערס איז נול, אָדער די ווערט "פאַלש", דער רעזולטאַט פון די פֿונקציע וועט אויך זיין "פאַלש".

דעם רעפלעקץ אַנאַלאַדזשי מיט אַריטמעטיק קייפל: קייפל, און קיין נומער פון שטעלט פון נומערן צו 0 ווי אַ רעזולטאַט שטענדיק קערט 0. דעם לאָגיק אָפּעראַציע איז קאָממוטאַטיווע: דער סדר אין וואָס עס נעמט ינפּוט פּאַראַמעטערס וועט ניט ווירקן די לעצט רעזולטאַט פון דעם חשבון.

אן אנדער שטריך פון דעם פֿונקציע איז אַססאָסיאַטיוויטי, אָדער אַססאָסיאַטיוויטי. דעם פאַרמאָג אַלאַוז די חשבון פון די ביינערי סיקוואַנס פון אַפּעריישאַנז טוט ניט נעמען אין חשבון די סדר פון יוואַליויישאַן. דעריבער, פֿאַר 3 אָדער מער קאָנסעקוטיווע לאַדזשיקאַל קייפל אָפּעראַציע איז ניט נייטיק צו נעמען אין חשבון די בראַקאַץ. אין פּראָגראַממינג, דעם פֿונקציע איז אָפֿט געניצט צו מאַכן זיכער אַז די ספּעציפיש קאַמאַנדז עקסאַקיוטאַד נאָר אויב דער געמיינזאַם פון זיכער באדינגונגען.

דיסדזשונקטיאָן

די לאַדזשיקאַל אָפּעראַציע "אָדער" - דער פאָרעם פון אַ באָאָלעאַן פֿונקציע, וואָס איז ענלעך צו דער אַלדזשאַבריייק דערצו. אנדערע נעמען פֿאַר דעם פֿונקציע - לאַדזשיקאַל דערצו, די דיסדזשונקטיאָן. סימילאַרלי, ווי די לאַדזשיקאַל קייפל אָפּעראַציע, דיסדזשונקטיאָן זאל זיין ביינערי (צו רעכענען די ווערט באזירט אויף צוויי טענות), טערנאַרי אָדער N-אַרי.

דער אמת טיש פֿאַר דעם לאַדזשיקאַל אָפּעראַציע איז אַ מין פון אנדער ברירה צו די קאַנדזשאַנגקשאַן. די לאַדזשיקאַל אָפּעראַציע "OR" אויף קאַלקיאַלייץ דער בעסטער רעזולטאַט צווישן די סאַפּלייד טענות. דיסדזשונקטיאָן נעמט די רעזולטאַט ווערט "פאַלש", אָדער 0 בלויז ווען אַלע די ינפּוט פּאַראַמעטערס באקומען מיט די וואַלועס 0 ( "פאַלש"). אין קיין אנדערע פאַל דער רעזולטאַט וועט ווערן דערגרייכט דורך די ווערט "אמת", אָדער 1. צו רעקאָרד דעם פֿונקציע איז מערסט אָפֿט געניצט מאַטאַמאַטיקאַל צייכן פון די דערצו ( "פּלוס") אָדער צוויי ווערטיקאַל סטריפּס. די רגע וואַריאַנט איז וויידספּרעד אין רובֿ פּראָגראַממינג שפּראַכן און בילכער ווייַל עס אַלאַוז איר צו קלאר באַזונדער די לאַדזשיקאַל אָפּעראַציע פון די אַריטמעטיק.

דער גענעראַל פּראָפּערטיעס פון לאַדזשיקאַל אַפּעריישאַנז

יקערדיק לאָגיק אַפּעריישאַנז, צי עס איז ונאַרי, ביינערי, טערנאַרי אָדער אנדערע פֿעיִקייטן, זענען אונטער צו זיכער כּללים און פּראָפּערטיעס אַז באַשרייַבן זייער נאַטור. איינער אַזאַ פונדאַמענטאַל פּראָפּערטיעס באזעסענע דורך די אויבן-דיסקרייבד לאָגיק פֿעיִקייטן זענען קאָממוטאַטיווע.

דעם שטריך ינשורז אַז די פּערמיוטיישאַן פֿונקציע ערטער די אָפּעראַנד ווערט טוט נישט טוישן. ניט אַלע אָפּערייטערז האָבן דעם פאַרמאָג. ניט ענלעך די קאַנדזשאַנגקשאַן און דיסדזשונקטיאָן אַז באַפרידיקן קאָממוטאַטיוויטי רעקווירעמענץ, די פֿונקציע פון מאַטריץ קייפל איז נישט, און די ריעריינדזשמאַנט פון די סיבות אין דעם אָפּעראַציע וועט ענטייל די רעזולטאַט פון דער ענדערונג, ווי געזונט ווי עקספּאָנענטיאַטיאָן.

א ווייַטער אַספּעקט פון

אן אנדער וויכטיק שטריך, וואָס איז אָפֿט געניצט אין עלעקטראָניק און סירקויטרי, איז די סאַבאָרדאַניישאַן פון פּערז פון לאַדזשיקאַל אַפּעריישאַנז די מאָרגאַן געזעצן.

די געזעצן בינדן פּערז פון לאָגיק אַפּעריישאַנז ניצן די לאַדזשיקאַל נעגאַטיאָן פֿונקציע, וואָס איז געניצט צו אויסדריקן אַ לאַדזשיקאַל אָפּעראַציע ניצן די אנדערע. למשל, אַ קאַנדזשאַנגקשאַן נעגאַטיאָן פֿונקציע זאל זיין אויסגעדריקט דורך די דיסדזשונקטיאָן נעגאַטיאָנס באַזונדער אָפּעראַנדס. מיט די געזעצן די לאַדזשיקאַל אָפּעראַציע "און", "אָדער" און ווזאַימאָוויראַזשעני קענען זיין ימפּלאַמענטאַד מיט מינימאַל ייַזנוואַרג קאָסטן. דעם שטריך איז גאָר נוציק אין קרייַז פּלאַן, ווי עס אַלאַוז איר צו ראַטעווען רעסורסן אין דעם חשבון און פאָרמירונג פון טשיפּס.