Предлагаемая книга написана на основе специальных курсов Теория баз данных и Интеллектуальные системы , читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Книга рассчитана на студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.