कंप्यूटर साइंस बुक का सिद्धांत

हम अपने संरक्षकों को थ्योरी ऑफ कंप्यूटर साइंस बुक के निर्माण और निर्यात में लिप्त हैं। यह तीसरा संस्करण, पिछले संस्करण में शिक्षाविदों और छात्रों द्वारा दिए गए उत्साही स्वागत के जवाब में, सैद्धांतिक कंप्यूटर विज्ञान के सभी पहलुओं, जैसे ऑटोमेटा, औपचारिक भाषाओं, कम्प्यूटेबिलिटी और जटिलता की एक समेकित प्रस्तुति प्रदान करता है। इसके अलावा, इसमें गणितीय प्राथमिकताओं का कवरेज शामिल है। इस संस्करण में नया ए सी पिजनहोल सिद्धांत और प्रेरण के सिद्धांत पर विस्तारित अनुभाग (दोनों अध्याय 2 में) a c) क्लेनिया के प्रमेय का एक कठोर प्रमाण (अध्याय 5) a c) ट्यूरिंग मशीन (टीएम) पर अध्याय में प्रमुख बदलाव a टीएम के उच्च-स्तरीय विवरण पर एक नया अनुभाग (टीएम), एक मल्टीटेप टीएम और गैर-नियतात्मक टीएम के निर्माण के लिए तकनीक a c निर्णयशीलता और पुनरावर्ती रूप से गणना करने योग्य भाषाओं पर एक नया अध्याय (अध्याय 10) ए सी जटिलता सिद्धांत और एनपी-पूर्ण समस्याओं पर एक नया अध्याय (अध्याय 12) अध्याय 12 में क्वांटम गणना पर एक सी एक अनुभाग