Базы данных и системы искусственного интеллекта

Вопросы к экзамену

Дискретная математика, математическая логика и теория алгоритмов

Логика высказываний; логика предикатов; исчисления.

Принцип логического программирования. Логика высказываний. Логическое следование, принцип дедукции. Метод резолюций.

Понятие алгоритмической системы. Рекурсивные функции. Формализация понятия алгоритма. Элементы алгоритмической логики.

Машина Тьюринга. Меры сложности алгоритмов. Понятие сложности вычислений; эффективные алгоритмы.

Множества и их спецификации; диаграммы Венна.

Отношения; свойства отношений; разбиения и отношение эквивалентности; отношение порядка; функции и отображения; операции.

Основные понятия теории графов.

Теорема о функциональной полноте; примеры функционально-полных базисов; разрешимые и неразрешимые проблемы.

Схемы алгоритмов; схемы потоков данных.

Языки, системы и технологии программирования

Языки программирования. Основные понятия и определения. История и эволюция.

Современные технологии программирования.

Критерии качества программы; жизненный цикл программы.

Задача проектирования программных систем; организация процесса проектирования программного обеспечения.

Методы проектирования структуры программного обеспечения. Декомпозиция и абстракция при проектировании ПО; специфики процедур и данных; декомпозиция системы;

Методология объектно-ориентированного программирования.

Технологические средства разработки программного обеспечения.

Параллельное программирование, языки параллельного программирования.

Организация ЭВМ и систем

Основные характеристики, области применения ЭВМ различных классов; архитектурные особенности организации ЭВМ различных классов.

Функциональная и структурная организация процессора.

Организация памяти ЭВМ.

Основные стадии выполнения команды.

Организация прерываний в ЭВМ; параллельные системы; понятие о многомашинных и многопроцессорных вычислительных системах.

Кластеры, высокопроизводительные вычислительные системы и высокопроизводительные вычисления.

Базы данных и системы искусственного интеллекта

Системы управления базами данных: виды и организация, современные СУБД.

Модели данных. Реляционная модель данных, реляционная алгебра и исчисление.

Нормализация структуры базы данных. Целостность данных.

Язык SQL. Транзакции. Объекты базы данных.

Модели представления знаний: алгоритмические, логические, сетевые и продукционные модели; сценарии.

Экспертные системы: классификация и структура; инструментальные средства проектирования, разработки и отладки; этапы разработки; примеры реализации.