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

4
จองอัลกอริทึมนอกเหนือจาก Cormen
ฉันได้ทำเนื้อหาส่วนใหญ่ในหนังสือ Intro to Algorithms ของ Cormen แล้วและฉันกำลังมองหาหนังสืออัลกอริทึมที่ครอบคลุมเนื้อหามากกว่าหนังสือของ Corman มีคำแนะนำอะไรบ้าง? หมายเหตุ: ฉันถามสิ่งนี้ใน stackoverflow แต่ไม่พอใจกับคำตอบทั้งหมด หมายเหตุ: การดูความคิดเห็นส่วนใหญ่ฉันคิดว่าฉันควรจะหาหนังสือที่ครอบคลุมเนื้อหาของหลักสูตร 787 ในคำอธิบายหลักสูตรนี้

3
วิธีการกำหนดปัญหาการคำนวณอย่างจริงจัง?
ฉันมักจะโต้ตอบกับผู้ที่ต้องการขออัลกอริทึมสำหรับปัญหาการคำนวณ (หรือความซับซ้อนของมัน) แต่พวกเขาไม่ได้แสดงมันอย่างเข้มงวดเพื่อให้เรา (นักวิทยาศาสตร์คอมพิวเตอร์) เข้าใจ การอ้างถึงหนังสือเช่น CLRS นั้นไม่เป็นประโยชน์เพราะตัวอย่างมักจะมีวิธีการที่ค่อนข้างตรงไปตรงมาในการระบุอย่างจริงจังเช่นให้รายชื่อของกราฟและสองจุดยอดในการคำนวณเส้นทางที่สั้นที่สุดระหว่างจุดเหล่านั้น มีหนังสือดี ๆ (หรือแหล่งข้อมูลอื่น ๆ ) ที่บุคคลที่มีความรู้น้อยที่สุดของ CS สามารถเรียนรู้ได้อย่างไรว่าเราควรกำหนดและระบุปัญหาการคำนวณด้วยวิธีที่เข้มงวดซึ่งเป็นที่เข้าใจของนักวิทยาศาสตร์คอมพิวเตอร์หรือไม่ โดยเฉพาะอย่างยิ่งหนังสือควรมีตัวอย่างมากมายของวิธีการกำหนดปัญหาการคำนวณอย่างจริงจังจากตัวอย่างของโดเมนและโลกแห่งความจริงที่หลากหลาย การอธิบาย หากต้องการทำให้คำถามมีความเฉพาะเจาะจงมากขึ้นสมมติว่าพวกเขารู้คำศัพท์ทางคณิตศาสตร์ / CS พื้นฐานเช่นชุดฟังก์ชั่นกราฟรายการ ฯลฯ ในระดับชั้นปีที่ 1/2 นักศึกษาปริญญาตรี CS (ซึ่งเป็นกรณีของคนที่ฉันมี ใจ) ตัวอย่างเช่นพวกเขาได้อ่านตำราเรียนเบื้องต้นเช่น Aho และ Ullman (แม้ว่าพวกเขาอาจจะยังไม่เข้าใจทั้งหมดก็ตาม) อัล Aho และเจฟฟ์ Ullman มูลนิธิวิทยาศาสตร์คอมพิวเตอร์ 2535

3
ศึกษาทฤษฎีภาษาโปรแกรม
เมื่อไม่นานมานี้ฉันมีความสนใจอย่างมากในการทำความเข้าใจและพิสูจน์แง่มุมของภาษาโปรแกรม (หน้าที่) อย่างไรก็ตามในขณะที่ฉันดำดิ่งลงไปสิ่งต่าง ๆ เช่นแคลคูลัสทฤษฎีหมวดหมู่และความหมายเชิง Denotational นั้นค่อนข้างยากที่จะติดตามโดยไม่มีคำอธิบายที่เหมาะสมλλ\lambda ฉันอ่าน SICP (ค่อนข้างเป็นหนังสือที่รู้แจ้ง) แต่ฉันต้องการดำน้ำลึกลงไปในทฤษฎีของการเขียนโปรแกรมเชิงฟังก์ชั่น มีหนังสือ / บล็อก / ไซต์ / คุณชื่อมันที่จะหารือทฤษฎีของภาษาโปรแกรมการทำงานจากพื้นดินขึ้นหรือไม่

3
ทฤษฎี CS และคณิตศาสตร์ - คำแนะนำด้วยตนเอง
ฉันเป็นผู้สำเร็จการศึกษาที่ไม่ใช่ CS และสาขาวิชาของฉันไม่เกี่ยวข้องกับ CS อย่างไรก็ตามในฐานะที่เป็นส่วนหนึ่งของแผนการขนาดใหญ่ที่จะกลายเป็นนักวิทยาศาสตร์คอมพิวเตอร์ฉันต้องการได้รับพื้นฐานที่แข็งแกร่งในวิทยาการคอมพิวเตอร์เชิงทฤษฎีและคณิตศาสตร์ที่เกี่ยวข้องกับ CS ฉันทำวิจัยมากมายและเลือกหนังสือที่ดีที่สุด / ดีจริงๆต่อไปนี้ในหัวข้อ CS และคณิตศาสตร์และต้องการถามความคิดเห็นของคุณเกี่ยวกับ: ความครบถ้วนของหัวข้อครอบคลุม (โปรดแนะนำสิ่งที่ฉันพลาดไป) วัสดุทับซ้อน / พื้นที่ทับซ้อนมากเกินไป (โปรดแนะนำหนังสือที่ควรลบออกจากรายการ) สั่งซื้อเพื่อศึกษาหนังสือ (ฉันอยู่ในลำดับที่ฉันคิดว่าพวกเขาควรจะศึกษา) รายการรู้สึกยาวเกินไปดังนั้นฉันขอขอบคุณคำแนะนำในการนำหนังสือบางเล่มออกโดยไม่สูญเสียความรู้พื้นฐานที่จำเป็นสำหรับ CS ดังนั้นหนังสือคือ: Delight ของนักคณิตศาสตร์โดย WW Sawyer จะพิสูจน์ได้อย่างไร: แนวทางที่มีโครงสร้างโดย Daniel J. Velleman วิธีแก้ปัญหา: มุมมองใหม่ของวิธีการทางคณิตศาสตร์โดย G. Polya บทนำของการโปรแกรมเชิงหน้าที่ผ่านแลมบ์ดาแคลคูลัสโดย Greg Michaelson รากฐานของวิทยาศาสตร์คอมพิวเตอร์โดย Al Aho และ Jeff Ullman (http://i.stanford.edu/~ullman/focs.html) คณิตศาสตร์คอนกรีต: มูลนิธิวิทยาศาสตร์คอมพิวเตอร์โดยเกรแฮม Knuth และ Patashnik …
14 books 

3
หนังสือเบื้องต้นเกี่ยวกับลอจิกและการคำนวณ
คุณสามารถให้คำแนะนำบางอย่างเกี่ยวกับหนังสือแนะนำเบื้องต้น (แต่ครอบคลุม) เกี่ยวกับตรรกะและการคำนวณได้ไหม บางหัวข้อคลุมเครือที่ฉันมีอยู่ในใจคือ: Presburger artihm., PA, ZF, ZFC, HOL ทฤษฎีเซต, ทฤษฎีประเภท การคำนวณแบบจำลอง (เครื่องจักรทัวริง) ในทฤษฎีต่าง ๆ ลิงก์ที่มีความซับซ้อนในการคำนวณ (FMT, ความซับซ้อนเชิงพรรณนา)

3
หนังสืออัลกอริทึมในหัวข้อต่างๆ
ต้องการปรับปรุงโพสต์นี้หรือไม่? ให้คำตอบโดยละเอียดสำหรับคำถามนี้รวมถึงการอ้างอิงและคำอธิบายว่าทำไมคำตอบของคุณถึงถูกต้อง คำตอบที่ไม่มีรายละเอียดเพียงพออาจแก้ไขหรือลบออกได้ ฉันได้รับมอบหมายให้สร้างห้องสมุดหนังสือเกี่ยวกับอัลกอริทึมสำหรับ บริษัท ขนาดเล็กของเรา (ประมาณ 15 คน) งบประมาณมากกว่า 5k แต่น้อยกว่า 10k แน่นอนดังนั้นฉันสามารถซื้อหนังสือได้พอใช้ ทุกคนที่นี่มีอย่างน้อยปริญญาตรีใน CS หรือสาขาที่เกี่ยวข้องอย่างใกล้ชิดดังนั้นในขณะที่ฉันจะได้รับหนังสือเรียนพื้นฐานเช่น Cormen ฉันสนใจหนังสือที่ดีในหัวข้อขั้นสูง (ฉันจะได้รับเล่ม 4 ของ Knuth, BTW) รายการหัวข้อบางส่วนจะเป็น: ขั้นตอนวิธีการเรียงลำดับ อัลกอริธึมกราฟ อัลกอริธึมสตริง อัลกอริทึมแบบสุ่ม อัลกอริทึมแบบกระจาย อัลกอริทึม Combinatorial เป็นต้น โดยพื้นฐานแล้วฉันกำลังมองหาคำแนะนำที่ดีเกี่ยวกับหนังสือในหัวข้อที่สำคัญภายใน CS ที่เกี่ยวข้องกับอัลกอริทึมและโครงสร้างข้อมูล โดยเฉพาะอย่างยิ่งสิ่งที่นอกเหนือไปจากสิ่งที่ครอบคลุมโดยทั่วไปในชั้นเรียนอัลกอริทึมและโครงสร้างข้อมูลซึ่งเป็นส่วนหนึ่งของปริญญาตรีในโรงเรียนที่ดี ฉันรู้ว่าคำถามนั้นค่อนข้างคลุมเครือเนื่องจากฉันกำลังมองหาวัสดุที่มีประโยชน์โดยทั่วไป ซอฟต์แวร์ที่เราพัฒนานั้นส่วนใหญ่เป็นระบบที่จัดการกับข้อมูลจำนวนมาก อุดมคติก็คือการค้นหาสิ่งใดก็ตามที่จะครอบคลุมโครงสร้างและอัลกอริธึมเจ๋ง ๆ ล่าสุดที่คนส่วนใหญ่อาจไม่เคยได้ยินมาก่อน แก้ไข: นี่คือหนังสือเบื้องต้นที่ฉันคิดว่าฉันควรได้รับ: รู้เบื้องต้นเกี่ยวกับอัลกอริทึมโดย Cormen และคณะ การออกแบบอัลกอริทึมโดย Kleinberg, Tardos …

1
การแยกประเภทการปรับแต่ง
ที่ทำงานฉันได้รับมอบหมายให้อนุมานข้อมูลบางประเภทเกี่ยวกับภาษาแบบไดนามิก ฉันเขียนลำดับของข้อความไปยังletนิพจน์ที่ซ้อนกันเช่น: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } เนื่องจากฉันเริ่มต้นจากข้อมูลประเภททั่วไปและพยายามอนุมานประเภทที่เฉพาะเจาะจงมากขึ้นตัวเลือกที่เป็นธรรมชาติคือประเภทการปรับแต่ง ตัวอย่างเช่นตัวดำเนินการตามเงื่อนไขส่งคืนการรวมของประเภทของสาขาที่เป็นจริงและเท็จ …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

2
หนังสือคณิตศาสตร์ที่ดีเกี่ยวกับอัลกอริทึม [ปิด]
ปิด คำถามนี้เป็นคำถามความคิดเห็นตาม ไม่ยอมรับคำตอบในขณะนี้ ต้องการปรับปรุงคำถามนี้หรือไม่ อัปเดตคำถามเพื่อให้สามารถตอบข้อเท็จจริงและการอ้างอิงได้โดยแก้ไขโพสต์นี้ ปิดให้บริการใน4 ปีที่แล้ว ฉันเป็นคนดูดความสง่างามทางคณิตศาสตร์และความแม่นยำและตอนนี้ฉันกำลังมองหาวรรณกรรมดังกล่าวเกี่ยวกับอัลกอริทึมและการวิเคราะห์อัลกอริทึม ตอนนี้มันไม่สำคัญอะไรสำหรับฉันว่าอัลกอริธึมจะครอบคลุมอะไรมาก แต่วิธีการที่พวกมันถูกนำเสนอและได้รับการปฏิบัติมากที่สุด "ฉันให้ความสำคัญกับภาษาที่ชัดเจนและแม่นยำมากซึ่งกำหนดความคิดที่ใช้ทั้งหมดในลักษณะที่เข้มงวด ฉันพบว่าคลาสสิกรู้เบื้องต้นเกี่ยวกับอัลกอริทึมโดย Cormen, Leiserson, Rivest และ Stein ค่อนข้างเรียบร้อย แต่ไม่สามารถจัดการกับคณิตศาสตร์ได้ดีและค่อนข้างเป็นทางการพร้อมหลักฐานและคำจำกัดความของมัน Sipser's Introduction to Theory of Computed ดูเหมือนจะดีกว่าในเรื่องนั้น แต่ก็ยังไม่มีการเปลี่ยนจากคณิตศาสตร์เป็นอัลกอริทึม มีใครแนะนำอะไรได้บ้าง ¹: อย่างน้อยที่สุดอัลกอริธึมควรจัดการการจัดการข้อมูลที่ต้องการโดยใช้โครงสร้างข้อมูลนามธรรมแบบไม่ธรรมดาเช่นกราฟ, อาร์เรย์, ชุด, รายการ, ต้นไม้และอื่น ๆ - โดยเฉพาะควรใช้กับโครงสร้างข้อมูลเช่นนั้น ฉันจะไม่สนใจเช่นกันหากปัญหาการใช้งานและการจัดการโครงสร้างข้อมูลถูกละเลยไปโดยสิ้นเชิง แม้ว่าฉันจะไม่สนใจปัญหาที่แก้ไขได้มากนัก

4
เทคนิคทางการทั่วไปสำหรับการพิสูจน์รหัสฟังก์ชั่นที่ถูกต้องคืออะไร?
ฉันต้องการแสดงหลักฐานสำหรับส่วนของโปรแกรม Haskell ที่ฉันเขียนเป็นส่วนหนึ่งของวิทยานิพนธ์ของฉัน ถึงตอนนี้ฉันไม่สามารถหางานอ้างอิงที่ดีได้ การเขียนโปรแกรมเบื้องต้นเกี่ยวกับหนังสือของ Graham Hutton ใน Haskell ( Google Books ) - ซึ่งฉันอ่านขณะเรียนรู้ Haskell— สัมผัสกับเทคนิคสองสามประการสำหรับการให้เหตุผลเกี่ยวกับโปรแกรมเช่น การใช้เหตุผลเชิงสมการ ใช้รูปแบบที่ไม่ทับซ้อนกัน รายการเหนี่ยวนำ ในบทที่ 13 แต่มันไม่เชิงลึกมาก มีหนังสือหรือบทความใดบ้างที่คุณสามารถแนะนำซึ่งให้ภาพรวมรายละเอียดเพิ่มเติมของเทคนิคการพิสูจน์อย่างเป็นทางการสำหรับ Haskell หรือรหัสการทำงานอื่น ๆ

1
ค้นหาหนังสือวิทยาศาสตร์ยอดนิยมเกี่ยวกับชีวสารสนเทศศาสตร์หรือฟังก์ชั่นการคำนวณ
อัจฉริยะ 15 ปีฉันรู้ว่ามีความสนใจทั้งในวิทยาศาสตร์คอมพิวเตอร์และพันธุศาสตร์ ฉันบอกเธอว่าทุ่งเหล่านี้ผสมผสานกันได้อย่างยอดเยี่ยม ฉันต้องการให้เธอหนังสือเกี่ยวกับชีวสารสนเทศศาสตร์หรือฟังก์ชั่นการคำนวณ ฉันกำลังมองหาหนังสือที่สนุกสนานไม่ใช่ตำรา โดยเฉพาะอย่างยิ่งควรสร้างแรงบันดาลใจให้ผู้คนต้องการศึกษาสาขานี้ไม่ใช่มุ่งที่จะให้ความรู้ในเชิงลึก ฉันไม่สนใจหนังสือเกี่ยวกับอัลกอริทึมทางพันธุกรรม ข้อเสนอแนะใด ๆ
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.