литература по информатике

[beroal]

На форуме есть списки литературы по математике для самообразования. Я не нашёл аналогичный список по информатике (computer science). Возможно, я не туда смотрел? Я смотрел в разделе «Computer Science». Только в его подразделе «Интернет-ресурсы (CS)» встречаются книги, но очень мало. Кстати, я не могу туда ничего добавить.

[Munin]

Боюсь, такой список будет чрезвычайно обширен из-за изобилия языков, платформ, целевых framework-ов и прикладных областей. Кроме того, он будет крайне быстро устаревать. Всё-таки математика гораздо более "вечная", и литература по ней - тоже.

[Pavia]

На самом деле структура по книгам не так сильно меняется. Да раз в 10 лет появляется много нового.

У меня к примеру такая вот структура по компьютерным технологиям.

1. Структуры данных
2. Алгоритмы
3. UML
4. ООП шаблоны архитектура, качественный код
5. Тестирование ПО
6. Сеть и интернет.
7. Численные методы
8. Цифровая обработка сигналов
9. СУБД
10. Параллельное программирование
11. Конструирование ОС
12. Существующие ОС (Windows, Linux, Dos, Android)
13. ИИ, нейронные сети, нечёткая логика, логика предикатов и тд.
14. Компиляторы принципы создания
15. Языки программирования (Си, Паскаль,Ассемблер и тд)
16. Видео, графика и разработка игр.
17. Компьютерное зрение.
18. Информационная безопасность
19. Устройство компьютера и архитектура процессора

(Вроде дома список был по больше)

1. Структуры данных
Вирт Н.-Алгоритмы + структуры данных - программы-Мир (1985) Версия Паскаль.
Книжка не столько про структуры сколько все объемлющее введение в программирование. Тут есть всё и структуры и алгоритмы, и деревья и указатели, даже введение в планирование написание программ.
2. Алгоритмы
2.1 Теория алгоритмов
Т.Кормен, Ч.Лейзерсон, Р.Ривест, К.Штайн - Алгоритмы. Построение и анализ. Издание 3-е (2013)
С.М. Окулов -Программирование в алгоритмах-БИНОМ. Лаборатория знаний (2014)
Д. Кнут, "Искусство программирования"

У Кнута несколько томов и тома поделены на книги, лучше брать последнее издание с исправленными опечатками.
Окулов представляет собой введение для школьников в алгоритмы могу рекомендовать как учебник для подготовке к Олимпиадам.
2.2 Справочники:
Р. Стивин Delphi Готовые алгоритмы
Уилкинсон Дж.Х., Райнш С.-Справочник алгоритмов на языке Алгол. Линейная алгебра
Журнал ACM - сборник алгоритмов 1-500.

3. UML
Вендров А.М.-Объектно-ориентированный анализ и проектирование с использованием языка UML и Rational Rose(2009)
Гради Буч, Джеймс Рамбо, Ивар Якобсон-Язык UML. Руководство пользователя-ДМК Пресс (2006)
Miro Samek-Practical UML statecharts in C_C++_ event-driven programming for embedded systems-Newnes (2008)

4. ООП шаблоны архитектура, качественный код
(Библиотека программиста) Э. Гамма, Р. Хелм, Р. Джонсон, Д. Влиссидес-Приемы объектно-ориентированного проектирования. Паттерны проектирования-ДМК Пресс (2010)
(Профессионально) Брукс.-Мифический человеко-месяц или как создаются программные системы-Символ (2003)
Август-Вильгельм Шеер-Моделирование бизнес-процессов-Весть-МетаТехнология (2000)
Буч Г., Максимчук Р., и др.(Booch)-Объектно-ориентированный анализ и проектирование с примерами приложений-Вильямс (2008)
Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж.-Приемы объектно-ориентированного проектирования (2001)
Гради Буч-Объектно-ориентированный анализ и проектирование с примерами на С++-Невский Диалект (2000)
Кент Бек-Экстремальное программирование. Разработка через тестирование (2003)
Реймонд Эрик - Искусство программирования для Unix_(2005)
Стивен МакКонналл Совершенный код (2005)
Фаулер Мартин (Fowler Martiп)-Рефакторинг - улучшение существующего кода-Символ-Плюс (2003)
5. Тестирование ПО
Майерс Г. -Искусство тестирования программ (1982)
Ошероув Рой.-Искусство автономного тестирования с примерами на С_(2014)
Charles E. Stroud - A designer's guide to built-in self-test ()

Майерс приведён как исторический памятник, с тех пор появилось больше качественных книг и больше более продуктивных подходов.
6. Сеть и интернет.
В.Г. Олифер, Н.А Олифер - Компьютерные сети. Принипы, технологии, протоколы. 4-ое изд. (2010)
Стивенс. UNIX. Разработка сетевых приложений()
Джонис А., Оланд Дж.-Программирование в сетях Microsoft Windows-Питер(2002)

Книга Олиферов рассказывает о устройстве сетей. И является утверждённым учебником для школ и вузов.

7. Численные методы
Каханер, Моулер, Наш.-Численные методы и программное обеспечение-Мир (1998)
Matthew N.O. Sadiku - Numerical Techniques in Electromagnetics-CRC Press (2000)
Golub G.H., Van Loan C.F.- Matrix Computations
Р. Блейхут Быстрые алгоритмы цифровой обработки сигналов
8. Цифровая обработка сигналов
Лем Г.-Аналоговые и цифровые фильтры-Мир (1982)
А.Б.Сергиенко_Цифровая обработка сигналов(2003)
Малла С.-Вэйвлеты в обработке сигналов-Мир (2005)
Дж. Бендат, А. Пирсол Прикладной анализ случайных данных
Смит. С Цифровая обработка сигналов. Практическое руководство для инженеров и научных работников.(2012).
9. СУБД

10. Параллельное программирование
Maurice Herlihy, Nir Shavit-The Art of Multiprocessor Programming [SMP]-Morgan Kaufmann (2008)
К. Хьюз, Т. Хьюз-Параллельное и распределенное программирование с использованием C++-Вильямс (2005)
Эндрюс Г.Р.(Andrews)-Основы многопоточного, параллельного и распределенного программирования-Вильямс (2003)
Энтони Уильямс-Параллельное программирование на С++ в действии. Практика разработки многопоточных программ-ДМК Пресс (2012)
Стажёр Вася и его истории об идемпотентности API _ Блог компании Яндекс _ Хабр
11. Конструирование ОС
Бар Р., Багатурова У.С. (пер.)-Язык Ада в проектировании систем (1988)
Бах Морис-Архитектура операционной системы UNIX-Prentice-Hall (1996)
Таненбаум Э.С.,Вудхалл А.С. Операционные системы Разработка и реализаци (2005)
(Классика программирования) Вирт Н., Гуткнехт Ю.-Разработка операционной системы и компилятора. Проект Оберон-ДМК Пресс (2012)
Иртегов Д.В. Введение в операционные системы, 2-е изд. (2008)
Как я, в итоге, написал новую RTOS, протестированную и стабильную _ Хабр
12. Существующие ОС (Windows, Linux, Dos, Android)
Д. Рихтер Windows для профессионалов. Создание эффективных Win32-пpилoжeний с учетом специфики 64-разрядной версии Windows(2001)
(Мастер-класс) Марк Руссинович, Дэвид Соломон, Алекс Ионеску-Внутреннее устройство Microsoft Windows. Основные подсистемы ОС-Питер (2014)
Руссинович М., Соломон Д., Ионеску А.-Внутреннее устройство Microsoft Windows, Часть 2 Основные подсистемы ОС
Хелен Кастер-Основы Windows NT и NTFS [Пер. с англ.]-Изд. отд. ''Рус. редакция'' ТОО ''Channel Trading'' (1996)

маны линукса на русском языке.

13. ИИ, нейронные сети, нечёткая логика, логика предикатов и тд.
Хараламбос Марманис, Дмитрий Бабенко. Алгоритмы интеллектуального Интернета (2011)
Тоби Сегаран, Программируем коллективный разум (2008)
Лорьер Ж.-Л. -Системы искусственного интеллекта (1991)
Хайкин С. (Haykin)-Нейронные сети. Полный курс-Вильямс (2005)
Тейз А., Грибомон П., Луи Ж. и др.-Логический подход к искусственному интеллекту. Книга 1_ От классической логики к логическому программированию-Мир (1990)
Тейз А., Грибомон П., Юлен Г. и др.-Логический подход к искусственному интеллекту. Книга 2_ От модальной логики к логике баз данных-Мир (1998)
фон Нейман Дж.-Теория самовоспроизводящихся автоматов-Мир (1971)
14. Компиляторы принципы создания
В.А.Серебряков, М.П.Галочкин Основы конструирования компиляторов
Свердлов С.З.-Языки программирования и методы трансляции-Питер (2007)
Альфред Ахо,Рави Сети,Джеффри Ульман Компиляторы (4-е издание)
/*Надо бы добавить ещё пару книг */
15. Языки программирования (Си, Паскаль,Ассемблер и тд)
16. Видео, графика и разработка игр.
/* Добавить ссылку на список книг */
17. Компьютерное зрение.

18. Информационная безопасность
Ross J. Anderson-Security engineering_ a guide to building dependable distributed systems-Wiley (2008)
Julia H. Allen, Sean J. Barnum, Robert J. Ellison, Gary McGraw, Nancy R. Mead-Software Security Engineering-Addison-Wesley Professional (2008)
Gary McGraw-Software Security_ Building Security In-Addison-Wesley Professional (2006)
Венбо Мао, Современная криптография. Теория и практика(2005)
/* Добавить книги */
19. Устройство компьютера и архитектура процессора

19.1. Дэвид М. Хэррис, Сара Л. Хэррис Цифровая схемотехника и архитектура компьютера
Основаанй учебник.
19.2. Библиотечка «Квант» Выпуск 65.
М.Е. Левинштейн, Г.С. Симин Барьеры(От кристалла до интегральной схемы)
Москва «Наука» Главная редакция физико-математической литературы 1987

Научно популярно о транзисторах. Книга читается легко на одном дыхании. Рассказывает о физике полу проводников
19.3.
Хоровиц П., Хилл У. Искусство схемотехники: В 3-х томах = The Art of Electronics: Second Edition (© Cambridge University Press, 1980, 1989) / Пер. с англ.: Б. Н. Бронина, И. И. Короткевич, А. И. Коротова, М. Н. Микшиса, Л. В. Поспелова, О. А. Соболевой, К. Г. Финогенова, Ю. В. Чечёткина, М. П. Шарапова. — Изд. 4-е, переработанное и дополненное. — М.: Мир, 1993
Электроника. Куда без неё? Книга носит учебный характер. Читается трудно.
Скажем так - это основы электроники там расписано всё чтобы спроектировать процессор.

19.4.
http://naf-st.ru/articles/digit/
Основные элементы, тригеры, счётчики и тд. Научно популярно.

19.5. Далее языки программирования VHDl и Verilog HDL и ПЛИС

Стандарты языков и руководство по синтезаторам.

Системы автоматизированного проектирования фирмы. Altera Max Plus II и Quartus II (Комолов).djvu
Вроде вот эта книга понравилась вечером уточню.

19.6.
Байков В. Д., Смолов В. Б. Аппаратурная реализация элементарных функций в ЦВМ, Ленинград, изд-во ЛГУ, 1975, 96 стр.
Байков В. Д., Селютин С. А., Вычисление элементарных функций в ЭКВМ, Москва, Радио и связь, 1982, 64 стр.
Байков В. Д., Смолов В. Б. Специализированные процессоры: итерационные алгоритмы и структуры, Москва, «Радио и связь», 1985, 288 стр.

Математика для создания сопроцессоров. Алгоритмы "Цифра за цифрой" (CORDIC) для математических операцияй sin,cos,arcsin, sqrt, и тому подобных.

19.7. Микроархитектура процессоров.
Хеннеси и Паттерсона "Архитектура компьютеров"
: John L. Hennessy , David A. Patterson Computer Architecture A Quantitative Approach

[Pavia]

Pavia в сообщении #1410106 писал(а):

16. Видео, графика и разработка игр.
/* Добавить ссылку на список книг */

Роджерс Д., Адамс Дж.-Математические основы машинной графики-Мир (2001)
Никулин Е.А. - Компьютерная геометрия и алгоритмы машинной графики(2005)
Ф.Хилл OpenGL. Программирование компьютерной графики(2002)
Первые три тома Graphics Gems:
- (The AP Professional graphics CD-ROM) Andrew S. Glassner-Graphics Gems. Volume 1-AP Professional (1995)
- James Arvo-Graphics Gems II (1991)
- (IBM Version Graphics Gems - IBM) David Kirk-Graphic Gems Package_ Graphics Gems III -Morgan Kaufmann (1994)


Полный список книг по этому разделу в виде картинки
https://github.com/miloyip/game-programmer

[Pphantom]

Тема перемещена из форума «Работа форума» в форум «Computer Science»
Причина переноса: это не совсем "работа форума", так что пока сюда.

[beroal]

Munin в сообщении #1410079 писал(а):

Боюсь, такой список будет чрезвычайно обширен из-за изобилия языков, платформ, целевых framework-ов и прикладных областей. Кроме того, он будет крайне быстро устаревать. Всё-таки математика гораздо более "вечная", и литература по ней - тоже.

Вот список и поможет отделить преходящую моду от вечного.

Pavia в сообщении #1410106 писал(а):

У меня к примеру такая вот структура по компьютерным технологиям.

Спасибо за список, но я искал нечто другое. Как вы сами написали, он по «компьютерным технологиям». Я хотел найти литературу по вычислимости-перечислимости, так как она является пререквизитом для математической логики. Понятно, что в вашем списке этого нет. Список, распределённый по разделам науки информатики, а не по приложениям, на базе вашей структуры выглядел бы примерно так.

• Формальные языки и форматы данных.
• Языки программирования, их синтаксис, семантика и трансляция. Спецификации программ, верификация и тестирование.
• Эффективность алгоритмов. Структуры данных и алгоритмы.
• Цифровая электроника.
• Сети и протоколы передачи данных.
• СУБД.
• Параллельное программирование.

Раздел «Логика» всё-таки принадлежит математике, поэтому я её в явном виде выбросил. Разделы ниже мне кажутся слишком узкоприкладными, поэтому их в отдельный список.

• ИИ.
• Криптография.
• Численные методы и цифровая обработка сигналов.
• Видео, графика и разработка игр.
• Написание и администрирование ОС.

В разделе «Информационная безопасность» всё ещё много болтологии и менеджмента. Те формальные вещи, которые там появляются, можно отнести к разделу «Сети и протоколы передачи данных». Та же проблема у раздела «ООП шаблоны архитектура, качественный код». Немногие идеи ООП типа наследования, object ownership или абстрактных типов данных можно отнести к языкам программирования. «Качественный код» — это изучение прихотей менеджера. Та же проблема у разделов «User experience/user interfaces» и «Software requirements». «Тестирование ПО» включено в «Спецификации программ, верификация и тестирование», так как тестирование без спецификации — это ни о чём.

Возвращаясь к вычислимости-перечислимости, есть часть 3 книги Верещагина и Шеня «Лекции по математической логике и теории алгоритмов», дальше, видимо, придётся копать англоязычную литературу. Материал у Sipser-а мне показался слишком поверхностным. Мне не нравится, что авторы сначала долго и нудно учатся программировать машину Тьюринга, а потом пишут: мы не будем писать программы явно, потому что это слишком трудоёмко. Так выбирайте нормальное определение алгоритма вместо машины Тьюринга, чтобы не было трудоёмко.

[Munin]

beroal в сообщении #1410125 писал(а):

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

А это вопросы математики, и искать их в Computer Science не вполне имеет смысл.

[Xaositect]

Конкретно по теме вычислимости я бы посоветовал:

Enderton "Computability theory"
Boolos, Burges, Geffrey "Computability and Logic"
Soare "Turing Computability"
Odifreddi. "Classical Recursion Theory" (2 тома)

[Pavia]

beroal в сообщении #1410125 писал(а):

В разделе «Информационная безопасность» всё ещё много болтологии и менеджмента. Те формальные вещи, которые там появляются, можно отнести к разделу «Сети и протоколы передачи данных».

Информационная безопасность(сокращённо ИБ) не ограничивается сетями и протоколами. Сети и протоколы это 1% максимум 3% от ИБ.
Взять хотя бы такую часть ИБ как доказательная безопасность. Вот какая к сетям она имеет отношение?
- верификация программы.
- верификация политик.

Электронный учебник по сетям и информационной безопасности:
http://book.itep.ru/6/secur_6.htm

Ещё книги по криптографии
Левин М.-PGP. Кодирование и шифрование информации с открытым ключом (2006)
Черемушкин А.В.-Криптографические протоколы. Основные свойства и уязвимости-Академия (2009)
Крэндалл Р., Померанс К.(R.Crandall,C.Pomerance)-Простые числа_ криптографические и вычислительные аспекты-УРСС (2011)

Немного научно популярных книг по шифрам:
Книга-шифров-Тайная-история-шифров-и-их-расшифровки
Encyclopedia-of-Cryptography-and-Security-2nd-Edition-

Все информационные технологии это болтология в той или иной степени. Причём болтологии тут скорее больше чем формальной стороны.

beroal в сообщении #1410125 писал(а):

«Качественный код» — это изучение прихотей менеджера.

Это не прихоть менеджеров. А прихоть здравого смысла. А на русском языке у вас чистописания не было? А на литературе за неправильные подобранные слова оценки не снижали? А на математики и физике за помарке оценку не снижали? Вот и на информатике следует делать так же.

https://sheba.spb.ru/shkola/ru-govorite-1969.htm

Цитата:

выборе и употреблении слов, грамматических форм и конструкций
Чтобы правильно и хорошо говорить, на-до ясно мыслить. Это требует умения выбирать и употреблять в речи наиболее точные и нужные слова. Если человек употребляет неточные или первые попавшиеся слова, значит, он не до конца продумал содержание своего выступления. Выдающийся советский писатель К. Федин говорит: «Точность слова является не только требованием стиля, требованием здравого вкуса, но прежде всего — требованием смысла». К сожалению, нам редко приходится слышать (особенно в стенах школы) содержательную, хорошо оформленную речь.
Учащиеся, даже старших классов, допускают большое количество ошибок, связанных с неправильным словоупотреблением. Причина этому — невнимательное отношение к значению слова, нежелание вдуматься в его смысл, или, как говорят ученые, в его семантику. Примеры неправильного употребления слов встречаются буквально на каждом шагу: «Комсомольцы шли на любое поручение» (вместо выполняли любое поручение); «Мы обратно вышли на бульвар» (вместо опять или снова). В этих предложениях слова употреблены без присущего им в литературном языке значения. «Краеведению и туризму в нашем кружке уделяется первоочередное внимание» (вместо главное или основное внимание). Здесь неправильное словоупотребление связано с неудачным выбором близкого по значению слова (синонима).
Большое количество ошибок возникает в результате смеше...

Так и Я, в информатике, считаю что надо снижать ошибки за некачественный код.

Цитата:

Немногие идеи ООП типа наследования, object ownership или абстрактных типов данных можно отнести к языкам программирования.

ООП это продвинутый уровень программирования.
Наследование это принцип Барбары Лисковы, формальное правило для снижения числа ветвлений (if и case в коде). Тут хватило бы графика однако обычно это расписывают листов на 10-30.
Могу сказать за себя пока я не прочитал книги правильно применять ООП я не мог. А после уже стало получаться.

beroal в сообщении #1410125 писал(а):

«Спецификации программ, верификация и тестирование», так как тестирование без спецификации — это ни о чём.

ИХМО это разные вещи. То что вы описали это приёмо-сдаточное тестирование. Это всего лишь одна ступенька в пирамиде тестирования.
Суть этой дисциплины рассказать что тестировать как тестировать и как правильно оформить тесты что-бы другие могли их читать правильно.
Учащийся должен уметь отличать подставки от заглушек. Чем неисправность отличается от работоспособности. Знать что такое вектор состояния
Тот же тест при подаче питания(POST) должен проверить линии связи и отзывчивость аппаратуры и не должен проверять её функциональность.

Ваше не о чём больше всего находит ошибок. Юнит-тесты не пользуются спецификацией программы. Достаточно знать название метода и отгадать его семантику, далее использовать тестирование по методу чёрного ящика. Либо использовать методологию серого ящика. Так что для них явно не нужна спецификация программы.
Видимо тут ошибка, так как Юнит-тесты используют спецификацию тестов. Да второе можно получить из спецификацией программы, но не автоматически. А во-вторых пока что это одна из практик https://ru.wikipedia.org/wiki/BDD_(программирование)

Pavia в сообщении #1410106 писал(а):

14. Компиляторы принципы создания
/*Надо бы добавить ещё пару книг */

Опалева Э.А., Самойленко В.П. -Языки программирования и методы трансляции-БХВ (2005)

По СУБД у меня нет особо литературы, если у кого-то есть качественная литература с описанием нормализации, уровней изоляции транзакций, оптимизации - отпишитесь в теме.

[beroal]

Pavia в сообщении #1410218 писал(а):

Могу сказать за себя пока я не прочитал книги правильно применять ООП я не мог. А после уже стало получаться.

Ну, приведите формальное определение этого принципа.

Pavia в сообщении #1410218 писал(а):

Наследование это принцип Барбары Лисковы, формальное правило для снижения числа ветвлений (if и case в коде).

Да-да, слышали. С ООП всё в порядке, просто его применяют неправильно. А чтобы применять правильно, надо читать много книг. А если прочитал и всё равно ООП приводит к хреновому программированию, значит, мало книг читал. И так до по кругу. Нефальсифицируемое утверждение.

[byzantine]

Не сочтите за некропостинг, тема актуальна.

Единственное, что мне удалось найти более-менее структурированное - https://habr.com/ru/post/251747/
Сразу оговорюсь, что я не являюсь специалистом и оценить адекватность плана и материалы, предлагаемые к изучению я не в состоянии. Тем не менее, от этого можно оттолкнуться.

[beroal]

byzantine в сообщении #1423094 писал(а):

Единственное, что мне удалось найти более-менее структурированное - https://habr.com/ru/post/251747/

Список весьма скромный, по каждой теме одна книга. Выбрать не из чего.

Цитата:

Надеюсь что эта статья будет полезна:
1. Студентам, которые хотят соответствовать высоким стандартам топ вузов США, или собирающиеся туда в аспирантуру по Computer Science

Вузы США требуют доказательства, что вы прослушали пререквизиты, то есть корочку. Очевидно, самообразование не даёт такую корочку, и даже сертификаты Курсеры не считаются такой корочкой.

Побуду Капитаном Очевидностью: раздела «Дискретная математика» не существует ни в математике, ни в информатике.