Книга «Теоретические основы информатики» под авторством Б.Е. Стариченко представляет собой фундаментальный труд, охватывающий широкий спектр теоретических аспектов современной информатики. Это не просто учебник, а скорее всеобъемлющее руководство, предназначенное для студентов, аспирантов, преподавателей и специалистов, стремящихся к глубокому пониманию принципов, лежащих в основе компьютерных наук. В книге последовательно и систематично излагаются ключевые понятия и методы, необходимые для анализа, проектирования и разработки сложных информационных систем. Особое внимание уделяется формальным моделям, алгоритмам и структурам данных, которые являются краеугольными камнями теоретической информатики. Первые главы посвящены математическим основам информатики, включая теорию множеств, математическую логику, теорию графов и теорию формальных языков и автоматов. Эти разделы обеспечивают необходимую базу для понимания более сложных концепций, представленных далее в книге. Автор подробно рассматривает различные типы формальных языков, их грамматики и автоматы, распознающие эти языки. Особое внимание уделяется связи между формальными языками и алгоритмами, а также их применению в разработке компиляторов и других программных инструментов. Следующий блок посвящен алгоритмам и структурам данных. Здесь рассматриваются различные алгоритмы сортировки, поиска, обработки графов и строк, а также их временная и пространственная сложность. Автор анализирует различные типы структур данных, такие как массивы, списки, деревья, графы и хеш-таблицы, и обсуждает их преимущества и недостатки в зависимости от конкретных задач. Акцент делается на эффективности алгоритмов и структур данных, а также на методах оптимизации производительности. Важное место в книге занимает теория вычислимости и сложности. Автор представляет основные понятия, такие как машина Тьюринга, алгоритмическая разрешимость и неразрешимость, классы сложности P и NP, NP-полные задачи. Рассматриваются различные методы доказательства NP-полноты задач и способы обхода NP-полных задач на практике. Эти разделы позволяют читателю понять границы вычислимости и сложности, а также разрабатывать эффективные алгоритмы для решения сложных задач. Книга также охватывает такие важные темы, как теория информации, теория кодирования и криптография. Автор рассматривает различные меры информации, такие как энтропия и количество информации, и обсуждает их применение в задачах сжатия данных и передачи информации по каналам с шумом. Представлены различные методы кодирования, такие как коды Хаффмана, коды Шеннона-Фано и коды Рида-Соломона, а также их свойства и применение. В разделе, посвященном криптографии, рассматриваются различные криптографические алгоритмы, такие как RSA, DES и AES, и обсуждаются вопросы безопасности и надежности. Отличительной особенностью книги является ее строгий математический подход. Все утверждения и результаты строго доказываются, что позволяет читателю получить глубокое понимание предмета. Книга содержит большое количество примеров и задач, иллюстрирующих теоретические концепции и помогающих закрепить полученные знания. «Теоретические основы информатики» Б.Е. Стариченко – это не просто учебник, а ценный ресурс для всех, кто интересуется фундаментальными аспектами компьютерных наук. Она предоставляет прочную теоретическую базу, необходимую для успешной работы в области информационных технологий и научных исследований. Книга будет полезна студентам, аспирантам, преподавателям и специалистам, стремящимся к глубокому пониманию принципов, лежащих в основе современной информатики. Книга представляет собой серьезный и всесторонний труд, требующий от читателя определенного уровня математической подготовки. Однако, благодаря четкому и последовательному изложению материала, она доступна широкому кругу читателей, заинтересованных в изучении теоретических основ информатики. На сайте есть и другие пдф книги с учебниками, которые можно читать и скачать бесплатно.