Изложены методы и средства дискретной математики как инструментария при обработке информации в компьютерах. Книга состоит из трех частей: математические основы, математические модели и приложения, в которых представлены наиболее часто употребляемые в теоретической и прикладной математике математические конструкции. Освещаются основные математические свойства той или иной теории вместе с данными, необходимыми для решения упражнений. Материал пособия построен на использовании аксиоматического метода и может служить основой для таких курсов, как бызы данных и базы знаний, теории сетей Петри и транзиционных систем, методы оптимизации и обоснования алгоритмов и программ, системы искуственного интеллекта, компюьтерная алгебра и геометрия.
Оглавление.
1. Множества, отношения, комбинаторика.
2. Основные понятия общей алгебры.
3. Элементы теории алгоритмов и математической логики.
4. Элементы теории графов.
5. Абстрактная теория автоматов.
6. Теория конечных автоматов.
7. Модели алгоритмов и программ.
8. Формальные грамматики и формальные языки.
9. Алгебры в компьютерных информационных технологиях.
10. Теория автоматов и графов в компьютерных информационных технологиях.
11. Меиоды поиска доказательств теорем в логике предикатов.
12. Основные понятия теории программных инвариантов.
Формат - 165 х 240 мм
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже
