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

[ Хронология ] Этот вопрос имеет тот же дух, что и газеты должны читать все, и какие видео должны смотреть все . Он просит замечательных книг в различных областях теоретической информатики. Книги могут быть ориентированы на математику, но вы можете найти это замечательно для компьютерного ученого. Примеры: Вероятность Неравенства логика …

229 reference-request  soft-question  big-list  books 

После публикации « Что должны читать все книги» я заметил, что есть недавние книги, черновики которых доступны в Интернете. Например, в статье « Алгоритмы аппроксимации» вышеприведенного поста цитируется книга 2011 года (еще не опубликованная) под названием «Разработка алгоритмов аппроксимации» . Я думаю, что знание последних работ действительно полезно для тех, …

99 reference-request  big-list  books 

Несмотря на то, что я прошел несколько курсов по теории вероятностей, как в старшей школе, так и в университете, мне трудно читать документы TCS, когда речь идет о вероятности. Кажется, что авторы работ TCS очень знакомы с вероятностью. Они волшебным образом работают с формулами вероятности и очень легко доказывают теоремы; …

32 reference-request  big-list  pr.probability  books 

Я читал « Семантику с приложениями » от Nielson & Nielson , и мне очень нравится эта тема. Я хотел бы иметь еще одну книгу по семантике языка программирования - но я действительно могу получить только одну. Я взглянул на книгу « Турбак / Гиффорд» , но она слишком многословна; …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Я ищу книгу о продвинутых структурах данных, которая выходит за рамки того, что описано в стандартных учебниках, таких как Cormen, Leiserson, Rivest и Stein "Введение в алгоритмы". Книга, которую можно использовать для преподавания курса для выпускников по продвинутым структурам данных, таким как курс Advanced Data Structures Эрика Демайна и MIT …

24 soft-question  ds.data-structures  survey  books 

Существует репутация, что в информатике у нас нет научно-популярных книг. Конечно, это не совсем так! (В том же духе из списка « Какие книги должен читать каждый?» , « Какие газеты должен читать каждый?» , « Какие видео должен смотреть каждый?», Созданный по мотивам « Любимой популярной математической книги» ) …

24 big-list  books 

Я буду преподавать стандартный курс для студентов по языкам и автоматам в следующем семестре и предпочел бы использовать законный бесплатный или недорогой текст. Какие-либо предложения? Мне нравится текст Sipser, но последнее издание стоит 196 долларов, что трудно сказать с неприкрытым лицом в эпоху бесплатных курсов.

21 soft-question  teaching  books 

Я аспирант по математике с твердым опытом в логике. Я прошел годичный курс для выпускников по логике вместе с курсами для выпускников по теории конечных моделей и другим курсам по принуждению и теории множеств. Большинство текстов CS, кажется, предполагают только очень скромный фон в логике, который в основном охватывает основы …

17 lo.logic  soft-question  big-list  books  formal-methods 

Я аспирант по математике, и теоретическая информатика - это область, в которой я никогда не понимал, о чем она, потому что не мог найти хорошее прочтение по этой теме. Я хочу знать, о чем этот домен на самом деле, какие темы он затрагивает, какие предпосылки необходимы для его запуска и …

15 reference-request  soft-question  books 

Я довольно опытный инженер-программист, но я не знаю много теории. Я хочу узнать больше теории. Конкретные темы, которые меня интересуют: вычислительная сложность, формальные языки и теория типов. Но я не знаю, как начать изучать эти области. Какие ресурсы вы бы порекомендовали кому-то, кто хочет узнать больше теории через самообучение? Существуют …

14 soft-question  teaching  books 

Я интересуюсь математикой на TCS. Я хочу самостоятельно изучить алгоритмы и их сложность для решения групповых теоретических задач, таких как поиск порядка элементов, перечисление смежных классов, поиск генератора, проверка, генерирует ли данное подмножество группу. Какую книгу я должен прочитать?

12 ds.algorithms  reference-request  gr.group-theory  books 

Мне недавно напомнили о проблеме против N P, как объяснил Стивен А. Кук в Математическом институте Клея.пP\mathsf{P}Н ПNP\mathsf{NP} Это вызвало у меня интерес, и я хотел бы узнать об этом больше. Первым шагом будет более глубокое понимание проблемы и понимание области в целом. Можете ли вы порекомендовать какие-либо книги или …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Я ищу ресурсы (желательно справочник) по сложным темам в алгоритмах (темам, выходящим за рамки учебников по алгоритмам, таким как CLRS и DPV). Тип материала, который можно использовать для преподавания таких тем в курсе алгоритмов, как курс Эрика Демейна и Дэвида Каргера « Расширенные алгоритмы» . Ресурсы, которые дают обзор области …

11 ds.algorithms  reference-request  survey  books 

Недавно я прочитал приличное количество статей CoLT. Хотя я не борюсь с отдельными статьями (по крайней мере, не больше, чем я обычно борюсь с другими теоретическими работами), я не чувствую, что у меня есть хорошее широкое понимание области в целом. Существуют ли стандартные тексты, обзоры или конспекты лекций для введения …

10 reference-request  machine-learning  lg.learning  survey  books 

Я довольно хорошо знаком с теорией, лежащей в основе VC-Dimension, но сейчас я смотрю на последние (последние 10 лет) достижения в теории статистического обучения: (локально) средние Радемахера, лемма о конечных классах Массарта, Покрывающие числа, Цепочки, Дадли Теорема, псевдоразмерность, размерность, разбивающая жир, номера упаковок, состав Радемахера и, возможно, другие результаты / …

10 reference-request  machine-learning  lg.learning  books  vc-dimension