Я закончил большую часть материала в книге Кормена «Введение в алгоритмы» и ищу книгу по алгоритмам, которая охватывает материал, выходящий за рамки книги Кормана. Есть какие-нибудь рекомендации? ПРИМЕЧАНИЕ: я спрашивал об этом в stackoverflow, но не слишком доволен ответом. ПРИМЕЧАНИЕ. Глядя на...
Я часто общаюсь с людьми, которые хотят попросить алгоритм вычислительной задачи (или его сложность), но они не выражают его строго для нас (ученых), чтобы понять. Ссылка на такие книги, как CLRS, бесполезна, потому что примеры там обычно имеют довольно простой способ строгого указания, например,...
Недавно я чрезвычайно заинтересовался пониманием и доказательством аспектов (функциональных) языков программирования. Однако, как я углублюсь в глубину, такие вещи, как исчисление , теория категорий и денотационная семантика, немного трудно найти без надлежащего объяснения.λλ\lambda Я читаю SICP...
Я не выпускник CS, и моя область исследований не связана с CS. Тем не менее, в рамках более крупного плана стать специалистом по информатике, я хочу получить солидный опыт в теоретической информатике и математике применительно к CS. Я провел много исследований и выбрал следующие лучшие /...
На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные 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 {...
Хотите улучшить этот пост? Предоставьте подробные ответы на этот вопрос, включая цитаты и объяснение того, почему ваш ответ правильный. Ответы без достаточной детализации могут быть отредактированы или удалены. Мне было поручено создать библиотеку книг по алгоритмам для нашей небольшой компании...
Можете ли вы дать мне несколько советов о хорошей вводной (но всеобъемлющей) книге о логике и вычислениях? Некоторые нечеткие темы, которые я имею в виду: Presburger artihm., PA, ZF, ZFC, HOL Теория множеств, Теория типов Моделирование вычислений (машины Тьюринга) в разных теориях Связи с...
Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 4 года назад . Я увлекаюсь математической элегантностью и строгостью, и сейчас ищу такую...
Я хочу предоставить доказательства для частей программы на Haskell, которую я пишу, как часть моей диссертации. Однако до сих пор мне не удалось найти хорошую справочную работу. Вступительная книга Грэма Хаттона « Программирование на Haskell» ( Google Books ), которую я читаю, изучая Haskell,...
Умный 15-летний парень, которого я знаю, интересуется как информатикой, так и генетикой. Я сказал ей, что эти поля составляют отличную комбинацию. Я хотел бы дать ей книгу по биоинформатике или вычислительной геномике. Я ищу забавную книгу, а не учебник. В частности, это должно вдохновлять людей...