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