«books» 태그된 질문

Cormen의 Intro to Algorithms 책에서 대부분의 자료를 완성했으며 Corman의 저서 이외의 자료를 다루는 알고리즘 책을 찾고 있습니다. 추천 사항이 있습니까? 참고 : 나는 이것을 stackoverflow에 요청했지만 대답에 너무 만족하지는 않았습니다. 참고 : 대부분의 의견을 보면서 이상적으로는 이 과정 설명 에서 787 과정의 내용을 다루는 책을 찾고 싶습니다 .

21 algorithms  reference-request  books 

나는 종종 계산 문제 (또는 그 복잡성)에 대한 알고리즘을 요구하는 사람들과 상호 작용하지만, 우리 (컴퓨터 과학자)가 이해할 수있는 엄격한 방식으로 표현하지는 않습니다. CLRS와 같은 책을 참조하는 것은 도움이되지 않습니다. 예를 들어 그래프의 인접 목록과 두 개의 정점이 주어진 정점 사이의 최단 경로를 계산할 때 일반적으로 매우 간단한 방법으로 엄격하게 진술 …

20 algorithms  reference-request  books 

나는 최근에 (기능적) 프로그래밍 언어의 측면을 이해하고 증명하는데 매우 관심을 가지게되었다. 그러나 자세히 미적분학, 범주 이론 및 획기적 의미론과 같은 것은 적절한 설명 없이는 이해하기가 조금 어렵습니다.λλ\lambda SICP (깨끗한 책)를 읽었지만 함수형 프로그래밍 이론에 대해 자세히 알아 보려고합니다. 기능 프로그래밍 언어 이론을 처음부터 논의 할 책 / 블로그 / 사이트 …

16 reference-request  lambda-calculus  functional-programming  books 

나는 비 CS 대학원이고 내 연구 분야는 CS와 관련이 없습니다. 그러나 컴퓨터 과학자가되기위한 더 큰 계획의 일환으로 저는 CS와 관련하여 이론적 인 컴퓨터 과학 및 수학에서 탄탄한 배경을 얻고 싶습니다. 나는 많은 연구를했고 CS와 수학의 주제에 대해 다음과 같은 최고의 / 실제로 좋은 책을 선택했으며 이에 대한 의견을 요청하고 싶습니다. …

14 books 

Logic and Computation 에 대한 좋은 입문서 (그러나 포괄적)에 대한 제안을 해 주 시겠습니까? 내가 염두에두고있는 퍼지 주제는 다음과 같습니다. Presburger artihm., PA, ZF, ZFC, HOL 이론 설정, 유형 이론 다른 이론의 모델링 계산 (튜닝 머신) 계산 복잡성 (FMT, 설명 복잡성)과 연결

11 reference-request  logic  books 

이 게시물을 개선하고 싶습니까? 인용과 답변이 올바른 이유에 대한 설명을 포함하여이 질문에 대한 자세한 답변을 제공하십시오. 세부 사항이없는 답변은 편집하거나 삭제할 수 있습니다. 저는 소규모 회사 (약 15 명)를위한 알고리즘에 관한 책 라이브러리를 만드는 일을했습니다. 예산은 5k 이상이지만 확실히 10k 미만이므로 상당한 수의 책을 구입할 수 있습니다. 여기에있는 모든 사람들은 …

11 algorithms  reference-request  data-structures  books 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in 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 

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 3 년 전 . 나는 수학적 우아함과 엄격함을 좋아하며 알고리즘 및 알고리즘 분석에 대한 문헌을 찾고 있습니다. 이제 어떤 알고리즘이 적용 …

11 algorithms  algorithm-analysis  reference-request  books 

논문의 일부로 작성중인 Haskell 프로그램의 일부에 대한 증거를 제공하고 싶습니다. 그러나 지금까지 좋은 참고 자료를 찾지 못했습니다. 그레이엄 허튼의 입문 책 하스켈 프로그램 ( Google 도서는 다음과 같은 프로그램에 대해 추론을위한 몇 가지 기술을 하스켈-접촉을 배우면서) 본인은 - 어떤 방정식 추론 겹치지 않는 패턴 사용 목록 유도 13 장에 있지만 …

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

내가 아는 똑똑한 15 세는 컴퓨터 과학과 유전학에 관심이 있습니다. 나는 그녀에게이 분야가 훌륭한 조합을 만든다고 말했다. 나는 그녀에게 생물 정보학 또는 컴퓨터 유전체학에 관한 책을주고 싶다. 교과서가 아닌 재미있는 책을 찾고 있습니다. 특히, 심도있는 지식 자체를 제공하는 것을 목표로하지 않고 사람들이 해당 분야를 연구하고 싶어하도록 고무해야합니다. 유전자 알고리즘에 관한 …

9 education  books  bioinformatics