Рассмотрены базы данных как часть корпоративных информационных систем. Проведён анализ методов проверки БД. Представлены основные принципы применения ИНС в задачах тестирования. Проведена классификация ошибок реляционных БД.

В компактной форме приводятся теоретические сведения дискретной математики, задания для выполнения практических работ и контрольные вопросы.

Изложены методы логического анализа функциональных свойств дискретных устройств объектов информатизации. Раскрыты логико-математические основы описания и преобразования моделей дискретных устройств комбинационного и последовательностного типов.