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