Учебник для студентов и аспирантов технических вузов. На украинском языке.
Институт Кибернетики АН Украины им. В. М. Глушкова.
Национальный Технический университет Украины (КПИ).
Может служить основой для курсов: базы данных, теория алгоритмов, компьютерная алгебра и геометрия, текстовые и графические редакторы и т. д.
Краткое с о д е р ж а н и е.
Часть I. Математические основы.
Раздел 1. Множества, отношения, комбинаторика.
Раздел 2. Основные понятия общей алгебры.
Раздел 3. Элементы теории алгоритмов и математической логики.
Раздел 4. Элементы теории графов.
Часть II. Математические модели.
Раздел 5. Абстрактная теория автоматов.
Раздел 6. Теория конечных автоматов.
Раздел 7. Модели алгоритмов и программ.
Раздел 8. Формальные грамматики и формальные языки.
Часть III. Применение.
Раздел 9. Алгебры в компьютерных информационных технологиях.
Раздел 10. Теория автоматов и графов в компьютерных информационных технологиях.
Раздел 11. Методы поиска доказательства теорем в логике предикатов.
Раздел 12. Основные понятия теории программных инвариантов.
Литература: 83 назв.
В конце каждого параграфа - контрольные вопросы, упражнения и задачи.
Дополнительно: ВНИМАНИЕ! В НАСТОЯЩЕЕ ВРЕМЯ ЗАКАЗЫ ОТ ПОКУПАТЕЛЕЙ ИЗ РФ и БЕЛАРУСИ НЕ ПРИНИМАЮ И НЕ ОТПРАВЛЯЮ В ЭТИ СТРАНЫ
Доставка ◆по всему миру ◆Укрпочтой или Новой почтой◆заказным отправлением ◆после полной предоплаты ◆по Украине Укрпочтой или Новой почтой - после оплаты
Способы оплаты ◆банковский перевод на карту Приватбанка (Украина)◆по международным системам д... [подробнее]