Вопросы с тегом «books»

Я закончил большую часть материала в книге Кормена «Введение в алгоритмы» и ищу книгу по алгоритмам, которая охватывает материал, выходящий за рамки книги Кормана. Есть какие-нибудь рекомендации? ПРИМЕЧАНИЕ: я спрашивал об этом в stackoverflow, но не слишком доволен ответом. ПРИМЕЧАНИЕ. Глядя на большинство комментариев, я думаю, что в идеале я …

21 algorithms  reference-request  books 

Я часто общаюсь с людьми, которые хотят попросить алгоритм вычислительной задачи (или его сложность), но они не выражают его строго для нас (ученых), чтобы понять. Ссылка на такие книги, как CLRS, бесполезна, потому что примеры там обычно имеют довольно простой способ строгого указания, например, учитывая список смежности графа и две …

20 algorithms  reference-request  books 

Недавно я чрезвычайно заинтересовался пониманием и доказательством аспектов (функциональных) языков программирования. Однако, как я углублюсь в глубину, такие вещи, как исчисление , теория категорий и денотационная семантика, немного трудно найти без надлежащего объяснения.λλ\lambda Я читаю SICP (довольно поучительная книга), но я хочу углубиться в теорию функционального программирования. Есть ли какие-нибудь …

16 reference-request  lambda-calculus  functional-programming  books 

Я не выпускник CS, и моя область исследований не связана с CS. Тем не менее, в рамках более крупного плана стать специалистом по информатике, я хочу получить солидный опыт в теоретической информатике и математике применительно к CS. Я провел много исследований и выбрал следующие лучшие / действительно хорошие книги по …

14 books 

Можете ли вы дать мне несколько советов о хорошей вводной (но всеобъемлющей) книге о логике и вычислениях? Некоторые нечеткие темы, которые я имею в виду: Presburger artihm., PA, ZF, ZFC, HOL Теория множеств, Теория типов Моделирование вычислений (машины Тьюринга) в разных теориях Связи с вычислительной сложностью (FMT, описательная сложность)

11 reference-request  logic  books 

Хотите улучшить этот пост? Предоставьте подробные ответы на этот вопрос, включая цитаты и объяснение того, почему ваш ответ правильный. Ответы без достаточной детализации могут быть отредактированы или удалены. Мне было поручено создать библиотеку книг по алгоритмам для нашей небольшой компании (около 15 человек). Бюджет более чем 5k, но, конечно, меньше, …

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 if x then …

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 

Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 4 года назад . Я увлекаюсь математической элегантностью и строгостью, и сейчас ищу такую ​​литературу по алгоритмам …

11 algorithms  algorithm-analysis  reference-request  books 

Я хочу предоставить доказательства для частей программы на Haskell, которую я пишу, как часть моей диссертации. Однако до сих пор мне не удалось найти хорошую справочную работу. Вступительная книга Грэма Хаттона « Программирование на Haskell» ( Google Books ), которую я читаю, изучая Haskell, затрагивает несколько методов рассуждения о таких …

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

Умный 15-летний парень, которого я знаю, интересуется как информатикой, так и генетикой. Я сказал ей, что эти поля составляют отличную комбинацию. Я хотел бы дать ей книгу по биоинформатике или вычислительной геномике. Я ищу забавную книгу, а не учебник. В частности, это должно вдохновлять людей желать изучать эту область, а …

9 education  books  bioinformatics