Запитання з тегом «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 

Я читав " Семантику з додатками " Нільсона та Нільсона , і мені дуже подобається тема. Я хотів би мати ще одну книгу з семантики мови програмування - але я дійсно можу отримати лише одну. Я поглянув на книгу Турбака / Гіффорда , але це занадто довго. Я думав, що …

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

Існує репутація, що в галузі інформатики у нас немає науково-популярних книг. Звичайно, це не зовсім так! (В тому ж дусі списку Що книги повинні все читали? , Які документи повинні все читати? , Які відео повинні всі годинники? І надихнули з Favorite популярної математичної книги ) Які науково-популярні книги чи …

24 big-list  books 

Я шукаю книгу про вдосконалені структури даних, що виходить за рамки того, що охоплено стандартними підручниками, такими як «Вступ до алгоритмів» Кормена, Лейзерсона, Рівеста та Штейна. Книга , яка може бути використана для викладання курсу на рівень випускника на складних структури даних , такі як Ерік Демейн і Андре Шульц …

24 soft-question  ds.data-structures  survey  books 

Я буду викладати стандартний бакалавратський клас з мов та автоматів наступного семестру, і вважаю за краще використовувати законний безкоштовний або недорогий текст. Будь-які пропозиції? Я люблю текст Шипсера, але остання редакція коштує 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 

Нещодавно мені нагадали про проблему vs. як пояснив Стівен А. Кук з Математичного інституту глини.Н ПPP\mathsf{P}NPNP\mathsf{NP} Це викликало мій інтерес, і я хотів би дізнатися більше про нього. Першим кроком було б глибше розуміння проблеми та розуміння області загалом. Чи можете ви порекомендувати будь-які книги чи інші ресурси, де я …

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

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

11 ds.algorithms  reference-request  survey  books 

Нещодавно я читав пристойну кількість статей CoLT. Хоча я не борюся з окремими роботами (принаймні, не більше, ніж я зазвичай борюся з іншими теоретичними документами), я не відчуваю, що я добре розумію цю сферу в цілому. Чи є стандартний текст, опитування чи конспекти лекцій для введення CoLT на рівні випускників? …

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

Я досить знайомий з теорією VC-Dimension, але зараз я дивлюся на останні (останні 10 років) досягнення в галузі теорії статистичного навчання: (місцеві) середні показники Rademacher, лема кінцевого класу Массарта, покриття чисел, ланцюжок, Дадлі Теорема, псевдомірність, розмір руйнування жирів, номери упаковки, склад радімахера та, можливо, інші результати / інструменти, про які …

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