उन लोगों के लिए इंट्रो TCS पुस्तकों की सूची, जिन्हें TCS के बारे में अधिक जानकारी नहीं है [बंद]

Question

यदि आपको किसी ऐसे व्यक्ति के लिए पुस्तकों की सिफारिश करनी है जो परिचयात्मक स्तर पर टीसीएस के बारे में और अधिक सीखना चाहता है जैसे कि ऑटोमेटा सिद्धांत, एल्गोरिदम, जटिलता सिद्धांत, आदि, तो आप उन लोगों के लिए क्या पुस्तक सुझाएंगे, जो रुचि रखते हैं और जिनके बारे में अधिक सीखना चाहते हैं टीसीएस, लेकिन इसका कोई जोखिम नहीं था?

Comments

मुझे लगता है कि यह एक सीडब्ल्यू प्रश्न होना चाहिए।

— गिगिली

इस प्रश्न को कैसे प्रबंधित करें, इस बारे में मेटा चर्चा देखें ।

— राफेल

cstheory.SE की एक उन्नत सूची भी है

— uli

@ गिगली नहीं, सामुदायिक विकी अनुचित प्रश्नों को बताने का बहाना नहीं है ।

— गिलेस एसओ- बुराई को रोकना '

@Gigili No. पुस्तकों की सूची सीडब्ल्यू हुआ करती थी, लेकिन अब ऐसा नहीं किया जाता है। कृपया मेरे द्वारा लिंक की गई ब्लॉग पोस्ट पढ़ें।

— गाइल्स का SO- बुराई होना बंद हो '

Answer 1

यदि आप तकनीकी विवरणों के बारे में गहराई से जानकारी प्राप्त किए बिना सामान्य परिचय प्राप्त करना चाहते हैं, तो मेरा सुझाव है कि डेविड हरेल के एल्गोरिथ्म: द स्पिरिट ऑफ कंप्यूटिंग । उसके बाद, यह मेरी पसंदीदा सूची है:

• कम्प्यूटरीकरण के सिद्धांत के लिए माइकल सिप्सर का परिचय : ऑटोमेटा सिद्धांत, कम्प्यूटेबिलिटी और जटिलता का सबसे अच्छा परिचय।
• एस। दासगुप्ता, सीएच पापादिमित्रिउ और यूवी वज़िरानी द्वारा एल्गोरिदम : तकनीकी प्रमाणों की तुलना में अंतर्ज्ञान पर अधिक ध्यान केंद्रित करने के साथ एल्गोरिदम का सबसे सहज परिचय।
• जॉन बेंटले के प्रोग्रामिंग मोती : यह एल्गोरिदम पर एक पाठ्यपुस्तक नहीं है, लेकिन यह खूबसूरती से प्रदर्शित करता है कि वास्तविक प्रोग्रामर को परेशान करने वाली वास्तविक समस्याओं को हल करने के लिए एल्गोरिदम डिजाइन तकनीकों का उपयोग कैसे करें। :-) यदि आप प्रोग्रामिंग पर कुछ पूर्व ज्ञान रखते हैं तो यह एक अच्छी शुरुआत हो सकती है।

Comments

DPV अभी तक प्रिंट में नहीं है; यह आम तौर पर जाना जाता है?

— राफेल

इस उत्तर के स्कोर के कारण, मैंने उत्तरों को एक समग्र उत्तर में शामिल किया । कृपया स्पष्टता के लिए अपने उत्तर को हटाने पर विचार करें।

— राफेल

@ रिपेल डीपीवी कई वर्षों से प्रिंट में है, लेकिन यह अभी भी ऑनलाइन उपलब्ध है। मैंने अमेज़ॅन जैसी व्यावसायिक वेबसाइट से लिंक न करने की कोशिश की।

— दाई

@ दाई: मैं देख रहा हूं। आपके द्वारा लिंक किया गया पृष्ठ "यह पाठ्यपुस्तक प्रदर्शित करने के लिए जल्द ही हमारा एक कठिन मसौदा है।", इसलिए मेरा भ्रम।

— राफेल

Answer 2

• Cormen, Leiserson, Rivest, Stein द्वारा एल्गोरिथ्म का परिचय एक लोकप्रिय विकल्प है, शीर्षक खुद के लिए बोलता है।
• कंपाइलर: सिद्धांत, तकनीक, और उपकरण अहो, उलमान और सेठी संकलक के बारे में एक अच्छी पुस्तक है, इसमें ऑटोमेटा सिद्धांत के बारे में भी कुछ परिचय सामग्री है।
• मॉडल चेकिंग के सिद्धांत एक विशाल पुस्तक है जिसका उपयोग मॉडल चेकिंग के लिए एक परिचय के रूप में किया जा सकता है

Comments

मुझे लगता है कि TCS बैकग्राउंड के बिना क्लार्क की किताब थोड़ी भारी है। मुझे पता है कि (व्यक्तिगत रूप से) पीएचडी करने वाले छात्रों को समझने के लिए पुस्तक कठिन लगती है।

— दाई

@ दाई, आप शायद सही हैं, मैंने इसे बैलर के मॉडल चेकिंग के सिद्धांतों में बदल दिया है

— डेनियल

क्या लॉजिक्स और / या ऑटोमेटा में मूलभूत बातों के बिना मॉडल की जाँच को समझ सकता है?

— राफेल

ड्रैगन बुक निश्चित रूप से एक अच्छा संदर्भ है; क्या यह सैद्धांतिक रूप से पर्याप्त है, हालांकि? (मैं ईमानदारी से पता नहीं है)

— राफेल

@ राफेल "सिद्धांत" कुछ हद तक तर्क (कम से कम कुछ आवश्यक ज्ञान) और ऑटोमेटा का परिचय देता है। यह एक बहुत बड़ी पुस्तक है, ~ 980 पृष्ठ। ड्रैगन बुक के लिए, मुझे लगा कि कंपाइलर एक सैद्धांतिक क्षेत्र है, है ना?

— डेनियल

Answer 3

एल्गोरिथ्म विश्लेषण में आवश्यक गणित के लिए, मैं एक और केवल जीकेपी की सिफारिश करता हूं:

ग्राहम, नुथ, पटाशनिक द्वारा ठोस गणित
व्यावहारिक रूप से सभी गणित की एक व्यापक, उच्च गुणवत्ता वाला उपचार, जिसमें आपको (बुनियादी) एल्गोरिदम की आवश्यकता होगी। यह एक मनोरंजक रीड है और इसमें व्यायाम (और समाधान) का खजाना शामिल है।

Comments

मैंने इस पुस्तक को पढ़ने की कोशिश की, लेकिन मुझे यह पसंद नहीं आया, क्योंकि यह सब बहुत ही अच्छा लगा ... अनाड़ी और भद्दा। मुझे अभी वहां मैथ्स की सुंदरता महसूस नहीं हुई। तुलना करें कि ऑटोसैटा सिद्धांत या तर्क पर स्मूलीयन की किताबों की सीमर्स के साथ तुलना करें या यहां तक ​​कि ड्युमिट और फूटे के एब्सिजेंट बीजगणित भी। हो सकता है कि वह सिर्फ मुझे, थो।

— डेनियल

मैं दूसरा डेनियल। यह सिद्धांतकारों के लिए उत्कृष्ट उपकरणों का एक संग्रह है । लेकिन शुरुआती लोगों के लिए सुखद होने के लिए यह बहुत शुष्क और तकनीकी है। मैं वास्तव में उन पुस्तकों को पसंद करता हूं, जिनका मैंने ऊपर उल्लेख किया है क्योंकि वे अपनी आत्माएं हैं। वे पढ़ते हैं जैसे कि कोई आपको कहानियां, दिलचस्प बातें बता रहा है।

— दाई

दुर्भाग्य से, यह संरचनात्मक प्रेरण, सह-निर्माण, डोमेन सिद्धांत और थ्योरी बी-शैली टीसीएस के लिए आवश्यक सभी सामान को कवर नहीं करता है।

— डेव क्लार्क

@DaveClarke: सही है। मुझे यकीन नहीं है कि मैं किसी भी गणित-गणित की किताब से उम्मीद करूंगा कि उसमें से कोई भी हो। लेकिन फिर, जीकेपी को एक सीएस-गणित पुस्तक माना जाता है। इसमें कोई लॉजिक नहीं है, या तो, इसलिए मुझे थोड़ा रीफ़्रेज़ करना चाहिए।

— राफेल

@DaveClarke क्या आप हमें थ्योरी बी मैथ्स की कुछ किताबें सुझा सकते हैं?

— डेनियल

Answer 4

एल्गोरिदम 4. संस्करण आर। सेडगेविक

एल्गोरिथ्म के विश्लेषण का एक परिचय पी। फ्लाजोलेट, आर। सेडग्विक

ऑटोमेटा थ्योरी, भाषाओं, और कम्प्यूटेशन जेई हॉपक्रॉफ्ट, जेडी उलमैन, (आर। मोटवानी)
का परिचय 1979 के पहले संस्करण में अधिक सैद्धांतिक परिणाम हैं जो 2001 के दूसरे संस्करण में गायब हैं। तीसरे एड को अभी तक नहीं देखा है।

औपचारिक भाषा सिद्धांत का परिचय एमए हैरिसन
यह 1978 से है लेकिन मैं अभी भी इसे सूची में देखना चाहूंगा।

Logicomix: सत्य के लिए एक महाकाव्य की खोज । ए। डोक्सीडियास, सीएच पापादिमित्रियो
क्योंकि यह पूरी तरह से भयानक है!

फिर से
गैरी एंड जॉनसन के कंप्यूटर और इंट्रेक्टेबिलिटी: ए गाइड टू द थ्योरी ऑफ एनपी-कम्प्लीटनेस

मैं सूची में TAoCP रखना पसंद करूंगा, लेकिन मुझे डर है, कि डॉन नथ का सावधानीपूर्वक दृष्टिकोण कुछ भी नहीं है जिसे "परिचयात्मक" के रूप में माना जा सकता है। अफसोस की बात है...

Comments

लॉजिकोमिक्स निश्चित रूप से एक रत्न है, यह कहते हुए कि अन्य नहीं हैं।

— डेव क्लार्क

मुझे वास्तव में पसंद नहीं है कि लॉजोमिक्स ने लोगों को "पागल" प्रकार के लोगों के रूप में चित्रित किया। जब सही तरीके से समझाया गया तो तर्क में विचार बहुत नीचे धरती और सरल हैं, और वास्तव में यह नहीं है कि "पागल"।

— दाई

@ डैई ने असाधारण लोगों के जीवन पर एक नज़र डाली है जैसे कि गोदेल, विट्गेन्स्टाइन, नैश, आदि ... वे असाधारण थे।

— औली

उनमें से कौन वास्तव में शुरुआती सबूत हैं?

— राफेल

@ राफेल IMHO उन सभी को, नहीं तो मैं उन्हें यहाँ पोस्ट नहीं करता। कुछ के पास सीखने की अवस्था हो सकती है लेकिन मुझे लगता है कि यह ठीक है।

— औली

Answer 5

यदि आप TCS के क्षेत्र में पूरी तरह से नए हैं तो Sipser का Theory of Computation का परिचय निश्चित रूप से आपको आरंभ करने के लिए सबसे अच्छी पुस्तक है। मैंने अन्य परिचय पुस्तकें पढ़ी हैं, और उनमें से कोई भी, मेरी राय में, मामले को लाने के Sipser के रास्ते के करीब नहीं है।

अन्य, अधिक विशिष्ट, अच्छी सैद्धांतिक पुस्तकें हैं:

• बेंजामिन पियर्स के प्रकार और प्रोग्रामिंग भाषाएँ । यह एक अलग दृष्टिकोण से सैद्धांतिक कंप्यूटर विज्ञान और लॉजिक्स है।
• सैद्धांतिक कंप्यूटर विज्ञान के रत्नU. Schöning और R. Pruim द्वारा ।

Comments

पहले ही ऊपर उल्लेख किया गया है।

— डेव क्लार्क

@DaveClarke मैं सूची में और संसाधन जोड़ने की योजना बना रहा था जैसा कि मैंने अभी अपने संपादन के साथ किया था, लेकिन मैं यह भी ज़ोर देना चाहता था कि Sipser की पुस्तक फिर से उल्लेख करके कितनी शानदार है! :-)

— कोडड

पियर्स की किताब एक रत्न है। काश, यह तब होता जब मैं अपनी पीएचडी करता था (प्रकारों में)।

— डेव क्लार्क

@DaveClarke मैं वर्तमान में अपने सलाहकार की सिफारिश से अपने स्नातक थीसिस के लिए उपयोग कर रहा हूं और मैं भी इससे बहुत प्रभावित हूं!

— कॉड

संदर्भ के लिए धन्यवाद, मैं आज इस पर एक नज़र डालूंगा। मैं देखता हूं कि आप KUL में एक प्रोफेसर हैं, मैं अगले साल सिक्योर सॉफ्टवेयर (वीलिज सॉफ्टवेयर) का अध्ययन करने के लिए वहां आ रहा हूं। कितनी छोटी दुनिया।

— कॉड

Answer 6

TCS के थ्योरी B भाग को कवर करने वाली कुछ अच्छी किताबें:

• सीएस में लॉजिक : कंप्यूटर साइंस में लॉजिक: माइकल हथ और मार्क रयान द्वारा सिस्टम के बारे में मॉडलिंग और तर्क ।
  कंप्यूटर विज्ञान में तर्क के विभिन्न उपयोगों की व्यापक कवरेज। लगभग 3 साल का स्नातक स्तर।

• लैंबडा कैलकुलस : लैंबडा-कैलकुलस और कॉम्बिनेटर। जे रोजर हिंडले और जोनाथन पी। सेलेदिन द्वारा एक परिचय ।
  लैम्बडा कैलकुलस का परिचय देता है, जो प्रोग्रामिंग भाषाओं की नींव में एक आवश्यक घटक है। लगभग 3 साल का स्नातक स्तर।

• डोमेन सिद्धांत के लिए नेतृत्व : डेवी, बीए और प्रीस्टले, हा कैमरन यूनिवर्सिटी प्रेस द्वारा लट्टीस एंड ऑर्डर (द्वितीय संस्करण) का परिचय । (2002)।
  एक बहुत ही उपयोगी विषय को शामिल करता है, खासकर यदि आप शब्दार्थ के साथ काम करने की योजना बनाते हैं। यह अन्य विषयों की तुलना में थोड़ा अधिक गणितीय है, लेकिन शुरुआती अध्याय निश्चित रूप से एक उन्नत स्नातक स्तर पर हैं।

• शब्दार्थ : आवेदन के साथ शब्दार्थ : हैन रीस नील्सन और फ्लेमिंग नील्सन द्वारा एक ऐपेटाइज़र ।
  प्रोग्रामिंग भाषा शब्दार्थों के लिए एक बहुत अच्छा परिचय। किसी विशेष औपचारिकता की गहराई में जाने के बजाय, यह एक व्यापक प्रस्तुति देता है और इसमें आम तौर पर शब्दार्थ पर अन्य पुस्तकों में विचार नहीं किए गए अनुप्रयोग शामिल होते हैं। संभवतः 2 वर्ष के स्नातक के लिए उपयोगी हो सकता है।

Comments

मैं उनमें से किसी को भी प्रतिष्ठा के बारे में नहीं जानता, इसलिए मैं नहीं कह सकता कि वे किसी भी अच्छे हैं (भले ही मैं इसके लिए आपका शब्द लेने के लिए इच्छुक हूं)। : /

— राफेल

मैंने प्रत्येक पुस्तक का विवरण जोड़ा है। सभी अच्छे हैं।

— डेव क्लार्क

Answer 7

यह एक समग्र उत्तर है जिसमें कम से कम पांच अंकों के साथ उत्तर वाली किताबें शामिल हैं। कृपया चैट में इसकी सामग्री पर चर्चा करें ।

एल्गोरिदम और डेटा संरचनाएं

• कॉर्मेन, लिसेरसन, रिवेस्ट, स्टीन (3 एड 2009) द्वारा एल्गोरिदम का परिचय
  बुनियादी एल्गोरिदम और डेटा संरचनाओं का एक व्यापक उपचार और उनके विश्लेषण के बिना बहुत गहरा खुदाई।
• एल्गोरिदमदासगुप्ता, पापादिमित्रिउ, वज़ीरानी (2006) द्वारा
  तकनीकी प्रमाणों की तुलना में अंतर्ज्ञान पर अधिक ध्यान केंद्रित करने के साथ एल्गोरिदम का सबसे सहज परिचय।

संगणना और जटिलता

• संगणना के सिद्धांत का परिचयSipser द्वारा (दूसरा संस्करण 2005)
  ऑटोमेटा सिद्धांत, और जटिलता के लिए सबसे अच्छा परिचय।

औपचारिक भाषा और ऑटोमेटा

• संकलक: सिद्धांत, तकनीक और उपकरण अहो, उलमान और सेठी द्वारा (2 एड 2006)
  कंपाइलर्स के बारे में मानक पुस्तक; बहुत व्यापक है। ऑटोमेटा सिद्धांत को भी छूता है।

लागू सिद्धांत

• मॉडल जाँच के सिद्धांतबैयर द्वारा , काटेन (2008)
  व्यापक पुस्तक जो मॉडल की जाँच के लिए एक व्यापक परिचय के रूप में उपयोग की जाती है।
• जॉन बेंटले द्वारा प्रोग्रामिंग मोती (दूसरा संस्करण 1999)
  एल्गोरिदम पर एक पाठ्यपुस्तक नहीं, बल्कि वास्तविक समस्याओं को हल करने के लिए एल्गोरिदम डिजाइन तकनीकों का उपयोग करने के तरीके का खूबसूरती से प्रदर्शन करता है। यदि आप प्रोग्रामिंग पर कुछ पूर्व ज्ञान रखते हैं तो यह एक अच्छी शुरुआत हो सकती है।

Comments

यह सवाल का जवाब नहीं देता है, या अगर यह करने के लिए है, यह एक अच्छा जवाब नहीं है। क्या आपको लगता है कि TCS शुरू करने वाले किसी व्यक्ति को इन सभी पुस्तकों को पढ़ने की आवश्यकता है? यदि नहीं, तो वे कैसे चुनेंगे? ध्यान रखें कि आपके नियम से, यह उत्तर सैकड़ों पुस्तकों के

— गाइल्स का SO- बुराई होना बंद हो '

@ राफेल क्या आप विनम्र हैं कि वह किसी और से अपना जवाब निकालने के लिए कहे? आमतौर पर पूछने वाला खुद / अपने प्रश्न के पाठ को संशोधित करके अपने पसंदीदा उत्तरों को एकत्र करने का काम कर सकता है, लेकिन मैंने कभी किसी दूसरे व्यक्ति को अपना स्वयं का उत्तर हटाने के लिए अपने स्वयं के पोस्ट को हटाने के लिए मजबूर नहीं किया। यह सीएस स्टैकएक्सचेंज इन नार्सिसिस्टिक व्यवहारों के साथ अजीब हो रहा है।

— दाई

@ राफेल: इसे सीडब्ल्यू बनाना किसी के लिए अपने स्वयं के उत्तर को हटाने के लिए पूछना सही नहीं है। यह कहने जैसा है कि मैं एक पुस्तक / सर्वेक्षण पत्र लिखने जा रहा हूं (जिसे मैं मुफ्त में ऑनलाइन प्रकाशित करूंगा), इसलिए मैं चारों ओर जाता हूं और उन सभी लेखकों से पूछता हूं जिनके कागजात मैं भ्रम से बचने के लिए अपने स्वयं के कागजात लेने का हवाला देता हूं।

— दई

@ राफेल मुझे ऐसा कोई दिखाई नहीं दे रहा है जहाँ सीसी लाइसेंस में कहा गया है कि मेरे काम को अंततः किसी और से लेने का अनुरोध किया जाएगा। मुझे नहीं पता कि एसई के साथ आपकी कैसी फंतासी है, लेकिन यह निश्चित रूप से विकिपीडिया नहीं है। मुझे पता है कि आप इस वेबसाइट को "मॉडरेट" करने के लिए कड़ी मेहनत करते हैं, लेकिन कृपया किसी और को बोलने और गोपनीयता की स्वतंत्रता का भी सम्मान करें और बस ऊपर / नीचे के वोटों को बाकी का ध्यान रखें। मुझे लगता है कि सीएस एसई का लक्ष्य शुरुआती एसई से शुरुआती लोगों की तुलना में अधिक अनुकूल मंच प्रदान करना है, लेकिन आपके द्वारा यहां प्रस्तावित प्रबंधन के सूक्ष्म स्तर ने इसे इतना बदतर बना दिया है।

— दाई

हमें बातचीत में इस चर्चा जारी रखने के लिए

— राफेल