คำถามติดแท็ก books

[ เส้นเวลา ] คำถามนี้มีจิตวิญญาณเดียวกันของสิ่งที่เอกสารทุกคนควรอ่านและวิดีโอที่ทุกคนควรดู มันขอหนังสือที่น่าทึ่งในสาขาต่าง ๆ ของวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี หนังสือสามารถเป็นคณิตศาสตร์ได้ แต่คุณอาจพบว่ามันยอดเยี่ยมสำหรับนักวิทยาศาสตร์คอมพิวเตอร์ ตัวอย่าง: ความน่าจะเป็น ความไม่เท่าเทียมกัน ตรรกะ ทฤษฎีกราฟ combinatorics การออกแบบและวิเคราะห์อัลกอริทึม ทฤษฎีการคำนวณ / ความซับซ้อนเชิงทฤษฎี โปรดอุทิศแต่ละคำตอบสำหรับหนังสือในหัวข้อเดียวกัน (เช่นหนังสือเกี่ยวกับ combinatorics) หมายเหตุ:ชื่ออาจทำให้เข้าใจผิด นี่คือคำอธิบาย: ให้ X และ Y เป็นสองสาขาในสาขาวิทยาศาสตร์คอมพิวเตอร์ มีหนังสือที่ทุกคนมี ในฟิลด์ X ควรอ่าน ในฟิลด์ Y ควรอ่าน ควรอ่านทั้งสองฟิลด์ คำถามนี้ค้นหาทั้ง 3 ราย กล่าวอีกนัยหนึ่งมันไม่เฉพาะเจาะจงกับกรณีหลัง แก้ไข: ตามคำแนะนำของDai Leโปรดเน้นเหตุผลที่คุณชอบหนังสือเช่นกัน หัวข้อที่เกี่ยวข้อง: การอ้างอิงสำหรับเทคนิคการพิสูจน์ TCS หนังสือเกี่ยวกับทฤษฎีออโตมาตะสำหรับการศึกษาด้วยตนเอง หนังสือสำหรับความน่าจะเป็น หนังสือคณิตศาสตร์ยอดนิยมที่ชอบ …

229 reference-request  soft-question  big-list  books 

ติดตามโพสต์สิ่งที่ทุกคนควรอ่านหนังสือหนังสือฉันสังเกตเห็นว่ามีหนังสือเล่มล่าสุดที่มีแบบร่างออนไลน์ ตัวอย่างเช่นรายการอัลกอริทึมการประมาณของโพสต์ข้างต้นอ้างถึงหนังสือ 2011 (ยังไม่ได้เผยแพร่) ชื่อเรื่องการออกแบบอัลกอริทึมการประมาณการออกแบบขั้นตอนวิธีการประมาณ ฉันคิดว่าการรู้ผลงานล่าสุดมีประโยชน์จริง ๆ สำหรับใครก็ตามที่ต้องการรับรสชาติของแนวโน้ม TCS เมื่อร่างพร้อมใช้งานคุณสามารถตรวจสอบหนังสือก่อนซื้อได้จริง ดังนั้น, หนังสือ TCS ล่าสุดที่มีร่างที่ออนไลน์อยู่มีอะไรบ้าง ที่นี่โดย "ล่าสุด" ฉันหมายถึงบางสิ่งที่ไม่แก่กว่า ~ 5 ปี

99 reference-request  big-list  books 

ในขณะที่ฉันได้ผ่านหลักสูตรเกี่ยวกับทฤษฎีความน่าจะเป็นทั้งในโรงเรียนมัธยมและมหาวิทยาลัยฉันมีช่วงเวลาที่ยากลำบากในการอ่านเอกสาร TCS เมื่อพูดถึงความน่าจะเป็น ดูเหมือนว่าผู้เขียนเอกสาร TCS มีความคุ้นเคยกับความน่าจะเป็นมาก พวกมันทำงานร่วมกับสูตรความน่าจะเป็นได้อย่างน่าอัศจรรย์และพิสูจน์ทฤษฎีบทได้ง่ายมาก ในขณะที่ฉันต้องทำงานหลายชั่วโมงเพื่อทำความเข้าใจว่าได้รับสูตรมาอย่างไรและวิธีพิสูจน์ตัวตน (หรือความไม่เท่าเทียมกัน) ฉันตัดสินใจที่จะแก้ปัญหาของฉันทันทีและทั้งหมด: ฉันต้องการอ่านหนังสือจากหน้าปกเพื่อครอบคลุม ดังนั้นหากคุณถูกขอให้แนะนำหนังสือหนึ่งเล่มเกี่ยวกับความน่าจะเป็นหนึ่งเล่มคุณจะแนะนำหนังสือเล่มใด

32 reference-request  big-list  pr.probability  books 

ฉันอ่าน " ความหมายกับแอปพลิเคชัน " ของ Nielson & Nielson แล้วและฉันก็ชอบวิชานี้มาก ฉันต้องการมีหนังสืออีกหนึ่งเล่มเกี่ยวกับความหมายของภาษาการเขียนโปรแกรม - แต่ฉันสามารถรับหนังสือเล่มเดียวได้จริงๆ ฉันดูหนังสือTurbak / Giffordแต่มันยืดยาวเกินไป ฉันคิดว่าวินสเคลจะใช้ได้ แต่ฉันไม่สามารถเข้าถึงได้ (มันไม่ได้อยู่ในห้องสมุดมหาวิทยาลัยของเราและฉันขาดเงิน) และฉันก็ไม่แน่ใจด้วยซ้ำว่ามันไม่ได้ลงวันที่แล้ว Slonnegerดูโอเค แต่ส่วนที่ใช้ได้จริงทำให้มันค่อนข้างยาวเกินไปและฉันไม่ค่อยสบายใจกับสไตล์ของเขา ดังนั้นคำถามของฉันคือ - หนังสือวินสเคลเป็นหนังสือที่ดีหรือไม่ และมันเป็นวันที่? นอกจากนี้ยังมีหนังสือเล่มอื่น ๆ ที่กระชับเกี่ยวกับเรื่องนี้หรือไม่

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

ฉันกำลังมองหาหนังสือเกี่ยวกับโครงสร้างข้อมูลขั้นสูงที่นอกเหนือไปจากที่ครอบคลุมในตำรามาตรฐานเช่น Cormen, Leiserson, Rivest และ Stein "Introduction to Algorithms" หนังสือที่สามารถใช้สำหรับการสอนหลักสูตรระดับบัณฑิตศึกษาเกี่ยวกับโครงสร้างข้อมูลขั้นสูงเช่น Erik Demaine และหลักสูตรโครงสร้างข้อมูลขั้นสูงของAndré Schulz ที่ MIT คู่มือสารานุกรมของโครงสร้างข้อมูลจะยิ่งดีกว่า

24 soft-question  ds.data-structures  survey  books 

มีชื่อเสียงว่าในวิทยาศาสตร์คอมพิวเตอร์เราไม่มีหนังสือวิทยาศาสตร์ยอดนิยม แน่นอนว่าไม่จริงเลย! (ในจิตวิญญาณเดียวกันของรายการของสิ่งที่หนังสือควรอ่านทุกคน? , สิ่งที่เอกสารทุกคนควรอ่าน? , สิ่งที่ควรดูวิดีโอทุกคนได้อย่างไรและแรงบันดาลใจจากหนังสือคณิตศาสตร์ที่นิยมชื่นชอบ ) หนังสือหรือแหล่งข้อมูลวิทยาศาสตร์ยอดนิยมอะไรบ้างที่เป็นแรงบันดาลใจให้ CS Theory กรุณามีคำอธิบายเกี่ยวกับสาเหตุที่หนังสือเล่มนี้ดี

24 big-list  books 

ฉันจะสอนชั้นเรียนระดับปริญญาตรีมาตรฐานเกี่ยวกับภาษาและออโตมาตาในภาคการศึกษาถัดไปและต้องการใช้ข้อความฟรีหรือต้นทุนต่ำที่ถูกกฎหมาย ข้อเสนอแนะใด ๆ ฉันชอบข้อความ Sipser แต่รุ่นล่าสุดมีราคา $ 196 ซึ่งยากที่จะบอกด้วยหน้าตรงในยุคของหลักสูตรฟรี

21 soft-question  teaching  books 

ฉันเป็นนักเรียนที่จบการศึกษาในวิชาคณิตศาสตร์ที่มีพื้นฐานด้านตรรกะที่มั่นคง ฉันเรียนหลักสูตรตรรกะเป็นเวลาหนึ่งปีพร้อมกับหลักสูตรระดับบัณฑิตศึกษาในทฤษฎีแบบ จำกัด และอีกหลักสูตรหนึ่งเป็นการบังคับและตั้งทฤษฎี ตำรา CS ส่วนใหญ่ดูเหมือนจะสมมติเพียงภูมิหลังที่เรียบง่ายมากในตรรกะซึ่งส่วนใหญ่ครอบคลุมพื้นฐานของตรรกะเชิงประพจน์และตรรกะลำดับแรก ฉันต้องการรับพอยน์เตอร์สำหรับใช้งาน CS ที่มีการใช้วัสดุที่หนักกว่าจากตรรกะ สิ่งที่น่าสนใจอย่างหนึ่งของฉันก็คือทฤษฎีประเภทและวิธีการที่เป็นทางการโดยทั่วไป ใครช่วยแนะนำการอ่านที่ดีผ่านหนังสือเบื้องต้นเกี่ยวกับการตรวจสอบรูปแบบและภาษาการเขียนโปรแกรม?

17 lo.logic  soft-question  big-list  books  formal-methods 

ฉันเป็นนักเรียนบัณฑิตในวิชาคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีเป็นโดเมนที่ฉันไม่เคยเข้าใจว่ามันเกี่ยวกับอะไรเพราะฉันไม่สามารถอ่านหัวข้อที่ดีได้ ฉันต้องการทราบว่าโดเมนนี้เกี่ยวกับอะไรจริง ๆ แล้วมีหัวข้อที่เกี่ยวข้องกับสิ่งที่จำเป็นต้องมีก่อนที่จะเริ่มดำเนินการในนั้นเป็นต้นตอนนี้ฉันแค่อยากจะรู้ว่า: หนังสือแนะนำเบื้องต้นที่ดีเกี่ยวกับวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีคืออะไร? ระบุว่ามีสิ่งนั้น ถ้าไม่ใช่นักคณิตศาสตร์ที่ควรมีความรู้พื้นฐานเกี่ยวกับวิทยาการคอมพิวเตอร์ (เช่นพวกเขารู้พื้นฐานของภาษาโปรแกรมหนึ่งหรือสองภาษา) ควรเริ่มต้นถ้าพวกเขาต้องการที่จะเข้าใจวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีเกี่ยวกับอะไร คุณแนะนำเมนูใด? ขอบคุณ!

15 reference-request  soft-question  books 

ฉันเป็นวิศวกรซอฟต์แวร์ที่มีความเชี่ยวชาญ แต่ฉันไม่รู้จักทฤษฎีมากนัก ฉันต้องการเรียนรู้ทฤษฎีเพิ่มเติม หัวข้อเฉพาะที่ฉันสนใจคือ: ความซับซ้อนในการคำนวณภาษาทางการและทฤษฎีประเภท แต่ฉันกำลังหลงทางว่าจะเริ่มเรียนรู้เกี่ยวกับสาขาเหล่านี้ได้อย่างไร แหล่งข้อมูลใดที่คุณจะแนะนำให้คนที่ต้องการเรียนรู้ทฤษฎีมากขึ้นผ่านการศึกษาด้วยตนเอง? มีวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีสำหรับวิศวกรซอฟต์แวร์ด้วยตนเองหรือไม่?

14 soft-question  teaching  books 

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

12 ds.algorithms  reference-request  gr.group-theory  books 

เมื่อไม่นานมานี้ฉันได้รับการเตือนเกี่ยวกับปัญหากับตามที่อธิบายโดย Stephen A. Cook ใน Clay Mathematics InstituteN PPP\mathsf{P}NPNP\mathsf{NP} มันทำให้ความสนใจของฉันป่องๆและฉันต้องการเรียนรู้เพิ่มเติมเกี่ยวกับเรื่องนี้ ขั้นตอนแรกคือการเพิ่มความเข้าใจปัญหาและความเข้าใจในพื้นที่โดยทั่วไป คุณช่วยแนะนำหนังสือหรือแหล่งข้อมูลอื่น ๆ ที่ฉันสามารถเรียนรู้เพิ่มเติมเกี่ยวกับปัญหาได้หรือไม่?

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

ฉันกำลังมองหาแหล่งข้อมูล (ควรเป็นคู่มือ) ในหัวข้อขั้นสูงในอัลกอริธึม ประเภทของวัสดุที่สามารถนำมาใช้สำหรับการเรียนการสอนหัวข้อในขั้นตอนวิธีการเรียนการสอนเช่นเอริคเดเมนและเดวิดคาร์เกอร์ของหลักสูตรขั้นสูงอัลกอริทึม ทรัพยากรที่จะให้ภาพรวมของฟิลด์ (เช่นคู่มือ) เป็นที่นิยมมากกว่า แต่แหล่งข้อมูลที่เน้นมากกว่าเช่นหนังสือ "อัลกอริธึมอัลกอริธึม" ของวีเจย์วาซิรานี

11 ds.algorithms  reference-request  survey  books 

เมื่อเร็ว ๆ นี้ฉันได้อ่านเอกสาร CoLT จำนวนมากแล้ว แม้ว่าฉันจะไม่ต่อสู้กับเอกสารส่วนตัว (อย่างน้อยก็ไม่เกินกว่าที่ฉันมักจะต่อสู้กับเอกสารทฤษฎีอื่น ๆ ) แต่ฉันไม่รู้สึกว่าฉันมีความเข้าใจที่ดีเกี่ยวกับสาขาโดยรวม มีข้อความมาตรฐานแบบสำรวจหรือบันทึกการบรรยายเพื่อแนะนำ CoLT ในระดับบัณฑิตศึกษาหรือไม่? ฉันมีพื้นฐานทฤษฎีพื้นหลัง แต่ไม่มีความรู้เฉพาะด้านของการเรียนรู้ของเครื่องหรือสถิติ ฉันส่วนใหญ่สนใจในสิ่งต่าง ๆ เช่นการเรียนรู้ PAC และการเรียนรู้ออโตมาตาและไม่สนใจสิ่งต่าง ๆ เช่นการอนุมานแบบเบย์และทฤษฎี VC คำถามที่เกี่ยวข้อง ทรัพยากร / หนังสือสำหรับความก้าวหน้าล่าสุดในทฤษฎีการเรียนรู้ทางสถิติ

10 reference-request  machine-learning  lg.learning  survey  books 

ฉันค่อนข้างคุ้นเคยกับทฤษฎีที่อยู่เบื้องหลัง VC-Dimension แต่ตอนนี้ฉันกำลังดูความก้าวหน้าล่าสุด (10 ปีที่ผ่านมา) ในทฤษฎีการเรียนรู้ทางสถิติ: (ท้องถิ่น) ค่าเฉลี่ย Rademacher, Finite Class Lemma ของ Massart จำนวนครอบคลุม, Chaining, Dudley ทฤษฎี, Pseudodimension, Fat Shattering Dimensions, หมายเลขการบรรจุ, องค์ประกอบ Rademacher, และผลลัพธ์ / เครื่องมืออื่น ๆ ที่ฉันไม่ทราบ มีเว็บไซต์สำรวจรวบรวมบทความหรือที่ดีที่สุดของหนังสือครอบคลุมหัวข้อเหล่านี้หรือไม่ หรือฉันกำลังดูตัวอย่างของวิธีการผูกค่าเฉลี่ย Rademacher สำหรับคลาสที่เรียบง่ายในลักษณะเดียวกับที่ผู้คนใช้สี่เหลี่ยมที่จัดเรียงตามแนวแกนเพื่อแสดงวิธีการผูกมิติ VC ขอบคุณล่วงหน้า.

10 reference-request  machine-learning  lg.learning  books  vc-dimension