รายการหนังสือแนะนำ TCS สำหรับผู้ที่ไม่ค่อยรู้อะไรเกี่ยวกับ TCS [ปิด]

หากคุณต้องแนะนำหนังสือสำหรับคนที่ต้องการเรียนรู้เพิ่มเติมเกี่ยวกับ TCS ในระดับเบื้องต้นเช่นทฤษฎีออโตมาตะอัลกอริทึมทฤษฎีความซับซ้อน ฯลฯ หนังสือเล่มไหนที่คุณอยากแนะนำสำหรับผู้ที่สนใจและต้องการเรียนรู้เพิ่มเติมเกี่ยวกับ TCS แต่ไม่มีการสัมผัสกับมัน?

หากคุณต้องการที่จะมีการแนะนำทั่วไปโดยไม่ได้รับที่จะลึกลงไปในรายละเอียดทางเทคนิคผมขอแนะนำให้เดวิดฮาเรลของAlgorithmics: วิญญาณของคอมพิวเตอร์ หลังจากนั้นนี่คือรายการโปรดของฉัน:

• Michael Sipser บทนำสู่ทฤษฎีการคำนวณ : เป็นการแนะนำที่ดีที่สุดเกี่ยวกับทฤษฎีออโตมาตะการคำนวณและความซับซ้อน
• อัลกอริธึมโดย S. Dasgupta, CH Papadimitriou และ UV Vazirani: การแนะนำขั้นตอนวิธีที่ใช้งานง่ายที่สุดโดยเน้นการใช้สัญชาตญาณมากกว่าการพิสูจน์ทางเทคนิค
• Programming Pearlsของ Jon Bentley : นี่ไม่ใช่ตำราเรียนเกี่ยวกับอัลกอริธึม แต่มันแสดงให้เห็นถึงวิธีการใช้เทคนิคการออกแบบอัลกอริทึมที่สวยงามในการแก้ปัญหาจริงที่ทำให้โปรแกรมเมอร์ตัวจริงหงุดหงิด :-) นี่อาจเป็นการเริ่มต้นที่ดีถ้าคุณมีความรู้เบื้องต้นเกี่ยวกับการเขียนโปรแกรม

• รู้เบื้องต้นเกี่ยวกับอัลกอริทึมโดย Cormen, Leiserson, Rivest, Stein เป็นตัวเลือกยอดนิยมชื่อพูดสำหรับตัวเอง
• ผู้แต่ง: หลักการเทคนิคและเครื่องมือโดย Aho, Ulman และ Sethi เป็นหนังสือที่ดีเกี่ยวกับคอมไพเลอร์มีเนื้อหาแนะนำเกี่ยวกับทฤษฎีออโตมาตะด้วยเช่นกัน
• หลักการของการตรวจสอบแบบจำลองเป็นหนังสือขนาดใหญ่ที่สามารถใช้เป็นข้อมูลเบื้องต้นเกี่ยวกับการตรวจสอบแบบจำลอง

สำหรับคณิตศาสตร์ที่จำเป็นในการวิเคราะห์อัลกอริทึมฉันแนะนำ GKP หนึ่งตัวเท่านั้น:

คณิตศาสตร์คอนกรีตโดย Graham, Knuth, Patashnik
การรักษาที่ครอบคลุมและมีคุณภาพสูงของคณิตศาสตร์ทั้งหมดที่คุณต้องการในอัลกอริทึม (พื้นฐาน) มันเป็นความบันเทิงที่อ่านและรวมถึงความมั่งคั่งของการออกกำลังกาย (และการแก้ปัญหา)

อัลกอริทึม 4. Edition R. Sedgewick

บทนำเกี่ยวกับการวิเคราะห์อัลกอริทึม P. Flajolet, R. Sedgewick

รู้เบื้องต้นเกี่ยวกับทฤษฎีภาษาและการคำนวณอัตโนมัติ JE Hopcroft, JD Ullman, (R. Motwani)
ฉบับพิมพ์ครั้งแรกในปี 1979 มีผลทางทฤษฎีมากกว่าที่หายไปในรุ่นที่สอง 2001 ยังไม่ได้ดูเอ็ดที่สามเลย

ความรู้เบื้องต้นเกี่ยวกับทฤษฎีภาษาอย่างเป็นทางการ MA Harrison
มาจากปี 1978 แต่ฉันก็ยังอยากจะเห็นมันในรายการ

Logicomix: การค้นหามหากาพย์แห่งความจริง A. Doxiadis, CH Papadimitriou
เพราะมันยอดเยี่ยมมาก!

2522 อีกครั้งคอมพิวเตอร์
ของ Garey และ Johnson และ Intractability: คำแนะนำเกี่ยวกับทฤษฎีความสมบูรณ์แบบของ NP

ฉันชอบที่จะมี TAoCP ในรายการ แต่ฉันกลัวว่าวิธีการที่พิถีพิถันของ Don Knuth คืออะไรที่อาจถือได้ว่าเป็น "เกริ่นนำ" เศร้า...

หากคุณยังไม่คุ้นเคยกับสาขา TCS การแนะนำทฤษฎีการคำนวณของ Sipser เป็นหนังสือที่ดีที่สุดที่จะเริ่มต้น ฉันได้อ่านหนังสือแนะนำตัวอื่น ๆ แล้วในความคิดของฉันไม่มีพวกเขาเข้ามาใกล้กับแนวทางของ Sipser ในการนำเรื่องนี้

อื่น ๆ หนังสือทางทฤษฎีที่ดีกว่านี้คือ:

• เบนจามินเพียร์ซของประเภทและการเขียนโปรแกรมภาษา นี่คือวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีและ logics จากมุมมองที่แตกต่าง
• อัญมณีแห่งทฤษฎีวิทยาศาสตร์คอมพิวเตอร์โดย U. Schöningและ R. Pruim

หนังสือที่ดีบางเล่มครอบคลุมส่วนทฤษฎี B ของ TCS:

• ตรรกะใน CS : ตรรกะในวิทยาการคอมพิวเตอร์: การสร้างแบบจำลองและการใช้เหตุผลเกี่ยวกับระบบโดย Michael Huth และ Mark Ryan
  ครอบคลุมการใช้ตรรกะในสาขาวิทยาศาสตร์คอมพิวเตอร์อย่างกว้างขวาง ประมาณระดับปริญญาตรีปีที่ 3

• แลมบ์ดาแคลคูลัส : แลมบ์ดาแคลคูลัสและ Combinators การแนะนำโดย J. Roger Hindley และ Jonathan P. Seldin
  แนะนำแคลคูลัสแลมบ์ดาซึ่งเป็นส่วนประกอบสำคัญในพื้นฐานของภาษาโปรแกรม ประมาณระดับปริญญาตรีปีที่ 3

• นำไปสู่ทฤษฎีโดเมน : รู้เบื้องต้นเกี่ยวกับโปรยและการสั่งซื้อ (2nd ed.)โดย Davey, BA และ Priestley, HA Cambridge University Press (2002)
  ครอบคลุมหัวข้อที่มีประโยชน์มากโดยเฉพาะถ้าคุณวางแผนที่จะทำงานกับซีแมนทิกส์ มันเป็นคณิตศาสตร์มากกว่าหัวข้ออื่น ๆ เล็กน้อย แต่บทแรก ๆ นั้นอยู่ในระดับปริญญาตรีขั้นสูงอย่างแน่นอน

• อรรถศาสตร์ : อรรถศาสตร์กับแอปพลิเคชั่น: อาหารว่างโดย Hanne Riis Nielson และ Flemming Nielson
  การแนะนำที่ดีมากเกี่ยวกับความหมายของภาษาโปรแกรม มันจะให้การนำเสนอที่ครอบคลุมและรวมถึงแอพพลิเคชั่นโดยทั่วไปที่ไม่ได้พิจารณาในหนังสืออื่น ๆ เกี่ยวกับความหมาย อาจเป็นประโยชน์สำหรับนักศึกษาระดับปริญญาตรีปีที่สอง

นี่คือคำตอบรวมที่มีหนังสือจากคำตอบที่มีคะแนนอย่างน้อยห้าข้อ กรุณาหารือเกี่ยวกับเนื้อหาในการแชท

อัลกอริทึมและโครงสร้างข้อมูล

• รู้เบื้องต้นเกี่ยวกับอัลกอริทึมโดย Cormen, Leiserson, Rivest, Stein (3rd ed 2009)
  การรักษาที่ครอบคลุมของอัลกอริทึมพื้นฐานและโครงสร้างข้อมูลและการวิเคราะห์โดยไม่ต้องขุดลึกเกินไป
• อัลกอริทึมของ Dasgupta, Papadimitriou, Vazirani (2006)
  การแนะนำขั้นตอนวิธีที่ใช้งานง่ายที่สุดโดยมุ่งเน้นไปที่สัญชาตญาณมากกว่าการพิสูจน์ทางเทคนิค

การคำนวณและความซับซ้อน

• รู้เบื้องต้นเกี่ยวกับทฤษฎีการคำนวณโดย Sipser (ฉบับที่ 2 2005)
  การแนะนำที่ดีที่สุดเกี่ยวกับทฤษฎีออโตมาตะการคำนวณและความซับซ้อน

ภาษาที่เป็นทางการและ Automata

• ผู้แต่ง: หลักการเทคนิคและเครื่องมือโดย Aho, Ulman และ Sethi (2nd ed 2006)
  หนังสือมาตรฐานเกี่ยวกับคอมไพเลอร์; ครอบคลุมมาก สัมผัสกับทฤษฎีออโตมาต้าเช่นกัน

ทฤษฎีประยุกต์

• หลักการตรวจสอบแบบจำลองโดย Baier, Katoen (2008)
  หนังสือเล่มใหญ่ที่นำมาใช้เป็นบทนำในการตรวจสอบแบบจำลองอย่างครอบคลุม
• Programming Pearlsโดย Jon Bentley (2nd ed 1999)
  ไม่ใช่หนังสือเกี่ยวกับอัลกอริธึม แต่สาธิตวิธีการใช้เทคนิคการออกแบบอัลกอริทึมเพื่อแก้ปัญหาจริง อาจเป็นการเริ่มต้นที่ดีถ้าคุณมีความรู้เบื้องต้นเกี่ยวกับการเขียนโปรแกรม