Сайт управляется системой uCoz Сайт управляется системой uCoz искать на Books.Ru: в интернете на сайте

Ю. Капитонова ISBN 5-94157-546-7, 550 стр. купить в Books.Ru купить в OZON-e Изложены методы и средства дискретной математики как инструментария при обработке информации в компьютерах. Книга состоит из трех частей: математические основы, математические модели и приложения, в которых представлены наиболее часто употребляемые в теоретической и прикладной информатике математические конструкции. Освещаются основные математические свойства той или иной теории вместе с данными, необходимыми для решения упражнений. Материал пособия построен на использовании аксиоматического метода и может служить основой для таких курсов как базы данных и базы знаний, теории сетей Петри и др. Краткое содержание Предисловие ЧАСТЬ I. МАТЕМАТИЧЕСКИЕ ОСНОВЫ Глава 1. Множества, отношения, комбинаторика Глава 2. Основные понятия общей алгебры Глава 3. Элементы теории алгоритмов и математической логики Глава 4. Элементы теории графов ЧАСТЬ II. МАТЕМАТИЧЕСКИЕ МОДЕЛИ Глава 5. Абстрактная теория автоматов Глава 6. Теория конечных автоматов Глава 7. Модели алгоритмов и программ Глава 8. Формальные грамматики и формальные языки ЧАСТЬ III. ПРИЛОЖЕНИЯ Глава 9. Алгебры в компьютерных информационных технологиях Глава 10. Теория автоматов и графов в компьютерных информационных технологиях Глава 11. Методы поиска доказательств теорем в логике предикатов Глава 12. Основные понятия теории программных инвариантов Список литературы

главная

авторам

наши книги

обратная связь