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