Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Предлагаемый курс основан на материале специальных курсов «Распознавание образов», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Предлагаемый курс основан на материале специальных курсов «Теория автоматов», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
В учебнике дается представление об основных разделах теории интеллектуальных систем, таких как распознавание образов, теория баз данных и математическая логика. Издание содержит аналитические и описательные практические примеры. Соответствует актуальным требованиям Федерального государственного образовательного стандарта среднего профессионального образования и профессиональным требованиям. Для студентов, специализирующихся в области математической кибернетики, дискретной математики и математической информатики.
Вошедший в книгу материал содержит основные факты по теории однородных структур. Излагаются результаты, связанные с восстановлением свойств однородных структур по графам переходов состояний, анализом явления роста конфигураций состояний однородных структур, имитацией изменения геометрических форм с помощью эволюции конфигураций. Изучается явление моделирования процессов в одной однородной структуре с помощью процессов в другой однородной структуре. Отдельная часть посвящена однородным структурам со входами и выходами. Исследуются возможности однородных структур и однородных структур со входами и выходами для решения некоторых характерных задач вычислительной математики.
Содержание книги представляет собой материал, который использовался при чтении курсов в Московском государственном университете имени М. В. Ломоносова на механико-математическом факультете и факультете вычислительной техники и кибернетики. В учебнике вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающей известные ранее модели. Рассматриваются основные типы задач поиска информации в базах данных, исследуются проблемы сложности решения этих задач применительно к информационно-графовой модели.
В учебнике дается представление об основных разделах теории интеллектуальных систем, таких как распознавание образов, теория баз данных и математическая логика. Издание содержит аналитические и описательные практические примеры.