Книга: Хаггарти Р. «Дискретная математика для программистов»
|
|
Серия: "Мир программирования" Основополагающее введение в дискретную математику, без знания которой невозможно успешно заниматься информатикой и программированием. Ни одно из многочисленных изданий по этой дисциплине, вышедших на русском языке, не читается с таким удовольствием и пользой. В доступной и весьма увлекательной форме автор рассказывает о фундаментальных понятиях дискретной математики - о логике, множествах, графах, отношениях и булевых функциях. Теория изложена кратко и иллюстрируется многочисленными простыми примерами, что делает ее доступной даже школьнику. После каждой главы (начиная со второй) рассматривается приложение описанных методов к информатике. Содержание:Указатель обозначений...... 6 Предисловие...... 9 Глава 1. Введение...... 11 1. 1. Моделирование...... 11 1. 2. Псевдокод...... 14 Набор упражнений 1...... 19 Краткое содержание главы...... 21 Глава 2. Логика и доказательство...... 23 2. 1. Высказывания и логика...... 23 2. 2. Предикаты и кванторы...... 27 2. 3. Методы доказательств...... 30 2. 4. Математическая индукция...... 32 Набор упражнений 2...... 35 Краткое содержание главы...... 38 Приложение. Корректность алгоритмов...... 39 Глава 3. Теория множеств...... 44 3. 1. Множества и операции над ними...... 44 3. 2. Алгебра множеств...... 51 3. 3. Дальнейшие свойства множеств...... 53 Набор упражнений 3...... 58 Краткое содержание главы...... 61 Приложение. Система с базой знаний...... 63 Глава 4. Отношения...... 68 4. 1. Бинарные отношения...... 68 4. 2. Свойства отношений...... 73 4. 3. Отношения эквивалентности и частичного порядка...... 77 Набор упражнений 4...... 82 Краткое содержание главы...... 85 Приложение. Системы управления базами данных...... 86 Глава 5. Функции...... 91 5. 1. Обратные отношения и композиция отношений...... 91 5. 2. Функции...... 96 5. 3. Обратные функции и композиция функций...... 102 5. 4. Принцип Дирихле...... 105 Набор упражнений 5...... 108 Краткое содержание главы...... 112 Приложение. Языки функционального программирования...... 113 Глава 6. Комбинаторика...... 117 6. 1. Правила суммы и произведения...... 117 6. 2. Комбинаторные формулы...... 120 6. 3. Бином Ньютона...... 128 Набор упражнений 6...... 131 Краткое содержание главы...... 135 Приложение. Эффективность алгоритмов...... 136 Глава 7. Графы...... 141 7. 1. Графы и терминология...... 142 7. 2. Гамильтоновы графы...... 147 7. 3. Деревья...... 152 Набор упражнений 7...... 158 Краткое содержание главы...... 163 Приложение. Сортировка и поиск...... 165 Глава 8. Ориентированные графы...... 171 8. 1. Ориентированные графы...... 171 8. 2. Пути в орграфах...... 175 8. 3. Кратчайший путь...... 181 Набор упражнений 8...... 184 Краткое содержание главы...... 187 Приложение. Коммуникационные сети...... 189 Глава 9. Булева алгебра...... 194 9. 1. Булева алгебра...... 194 9. 2. Карта Карно...... 200 9. 3. Функциональные схемы...... 205 Набор упражнений 9...... 208 Краткое содержание главы...... 211 Приложение. Проектирование 2-битного сумматора...... 212 Решения упражнений...... 217 Дополнение к первому изданию...... 275 Дополнение ко второму изданию...... 305 Литература...... 395 Предметный указатель...... 397 Издательство: "РИЦ "Техносфера"" (2012)
ISBN: 9785948363035 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Дискретная математика для программистов | Основополагающее введение в дискретную математику, без знания которой невозможно успешно заниматься… — Техносфера, Мир программирования Подробнее... | бумажная книга | ||
| Дискретная математика для программистов | Основополагающее введение в дискретную математику, без знания которой невозможно успешно заниматься… — (формат: Твердая глянцевая, 400 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
Дискретная математика — Дискретная математика область математики, занимающаяся изучением дискретных структур, которые возникают как в пределах самой математики, так и в её приложениях. К числу таких структур могут быть отнесены конечные группы, конечные графы, а… … Википедия
Мытищинская школа программистов — (МШП) некоммерческая образовательная организация, созданная в 2001 году. Руководителем Школы программистов является Шедов Сергей Валерьевич педагогический стаж 11 лет, учитель высшей квалификационной категории, председатель… … Википедия
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
Формальная теория — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… … Википедия
Формальное исчисление — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… … Википедия
МШП — Мытищинская Школа программистов (МШП) некоммерческая образовательная организация, созданная в 2001 году. Руководителем Школы программистов является Шедов Сергей Валерьевич педагогический стаж 11 лет, учитель высшей… … Википедия
