Перевод с английского Х.И.Килова, Г.Е.Минца, Под ред. Г.В.Орловского, А.О.Слисенко.Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования др. Эти же понятия становятся методологической основой описания, анализа и моделирования автоматизированых интегрированных производств. Описаны концепция Кодасил, функциональные языки запросов, модели баз данных. Для программистов, работающих в промышленности, преподавателей и студентов в области вычислительной техники и информатики.