Câu hỏi được gắn thẻ «books»

Tôi đã hoàn thành hầu hết các tài liệu trong cuốn sách Giới thiệu về thuật toán của Cormen và tôi đang tìm một cuốn sách thuật toán bao gồm các tài liệu ngoài cuốn sách của Corman. Có bất kỳ khuyến nghị? LƯU Ý: Tôi đã hỏi điều này …

21 algorithms  reference-request  books 

Tôi thường tương tác với những người muốn yêu cầu một thuật toán cho một vấn đề tính toán (hoặc độ phức tạp của nó), nhưng họ không diễn đạt nó theo cách nghiêm ngặt để chúng tôi (các nhà khoa học máy tính) hiểu. Việc giới thiệu chúng đến …

20 algorithms  reference-request  books 

Gần đây tôi đã trở nên cực kỳ quan tâm đến việc hiểu và chứng minh các khía cạnh của ngôn ngữ lập trình (chức năng). Tuy nhiên, khi tôi đi sâu hơn vào, những thứ như phép tính, lý thuyết phạm trù và ngữ nghĩa học biểu thị là …

15 reference-request  lambda-calculus  functional-programming  books 

Tôi là một sinh viên không CS và lĩnh vực nghiên cứu của tôi không liên quan đến CS. Tuy nhiên, là một phần trong kế hoạch lớn hơn để trở thành một nhà khoa học máy tính, tôi muốn có được một nền tảng vững chắc về khoa học …

14 books 

Bạn có thể cho tôi một số gợi ý về một cuốn sách giới thiệu tốt (nhưng toàn diện) về Logic và tính toán không? Một số chủ đề mờ mà tôi có trong tâm trí là: Presih artihm., PA, ZF, ZFC, HOL Đặt lý thuyết, lý thuyết loại Mô …

11 reference-request  logic  books 

Bạn muốn cải thiện bài này? Cung cấp câu trả lời chi tiết cho câu hỏi này, bao gồm trích dẫn và giải thích lý do tại sao câu trả lời của bạn là chính xác. Câu trả lời mà không đủ chi tiết có thể được chỉnh sửa hoặc …

11 algorithms  reference-request  data-structures  books 

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

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 

Đã đóng cửa . Câu hỏi này dựa trên ý kiến . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để có thể trả lời bằng sự kiện và trích dẫn bằng cách chỉnh sửa bài đăng này . …

11 algorithms  algorithm-analysis  reference-request  books 

Tôi muốn cung cấp bằng chứng cho các phần của chương trình Haskell tôi đang viết như một phần của luận án. Tuy nhiên, cho đến nay, tôi đã thất bại trong việc tìm kiếm một công việc tham khảo tốt. Cuốn sách giới thiệu của Graham Hutton Lập trình …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

Một đứa trẻ 15 tuổi thông minh mà tôi biết có hứng thú với cả khoa học máy tính và di truyền học. Tôi nói với cô ấy rằng những lĩnh vực này tạo nên một sự kết hợp tuyệt vời. Tôi muốn tặng cô ấy một cuốn sách về …

9 education  books  bioinformatics 

Tôi đang tìm kiếm một văn bản tham khảo về lý thuyết đồ thị ứng dụng và thuật toán đồ thị. Có một văn bản tiêu chuẩn được sử dụng trong hầu hết các chương trình khoa học máy tính? Nếu không, các văn bản được tôn trọng nhất trong …

8 algorithms  graph-theory  reference-request  education  books 

Tôi hoàn toàn thích lớp thuật toán của mình nhưng tôi cảm thấy nó thiếu sự nghiêm ngặt. Hầu hết thời gian tôi có thể hiểu được bằng trực giác tại sao các thuật toán được trình bày hoạt động và tại sao chúng có độ phức tạp về thời …

7 algorithms  education  books