Предисловие

Введение

Глава 1. Распознавание образов

• 1.1. Моделирование зрительного восприятия (390мин.)
• • 1.1.1. Кодирование изображений (182мин.)
  • 1.1.2. Теорема Козлова об аффинной эквивалентности изображений (78мин.)
  • 1.1.3. Распознавание и восстановление объемных изображений (104мин.)
  • Упражнения (26мин.)
• 1.2. Алгебро-геометрические методы распознавания (260мин.)
• • 1.2.1. Некоторые эвристические методы распознавания (78мин.)
  • 1.2.2. Модель персептрона Розенблатта (52мин.)
  • 1.2.3. Теорема Новикова (78мин.)
  • Упражнения (26мин.)
• 1.3. Статистический подход к распознаванию (182мин.)
• • 1.3.1. Качество и надежность решающего правила (52мин.)
  • 1.3.2. Байесовское решающее правило (52мин.)
  • 1.3.3. Метод минимизации эмпирического риска (78мин.)
  • Упражнения (26мин.)
• 1.4. Тестовый подход к распознаванию (338мин.)
• • 1.4.1. Понятие теста (26мин.)
  • 1.4.2. Линейные тестовые алгоритмы распознавания (26мин.)
  • 1.4.3. Алгоритм Кудрявцева голосования по тестам (52мин.)
  • 1.4.4. Теорема Анселя о числе монотонных функций (104мин.)
  • 1.4.5. Расшифровка монотонных функций (52мин.)
  • Упражнения (52мин.)
• Тест:  Распознавание образов (46мин.)

Глава 2. Базы данных

• 2.1. Модели логической организации данных (52мин.)
• 2.2. Реляционная модель данных (182мин.)
• • 2.2.1. Реляционная алгебра (52мин.)
  • 2.2.2. Функциональные зависимости (52мин.)
  • 2.2.3. Полнота системы аксиом вывода (26мин.)
  • Упражнения (26мин.)
• 2.3. Информационно-графовая модель данных (651мин.)
• • Упражнения (26мин.)
  • 2.3.1. Критерий допустимости информационного графа (52мин.)
  • Упражнения (26мин.)
  • 2.3.2. Полнота для информационных графов (52мин.)
  • Упражнения (26мин.)
  • 2.3.3. Сложность информационных графов (156мин.)
  • Упражнения (26мин.)
  • 2.3.4. Мощностная нижняя оценка (26мин.)
  • Упражнения (26мин.)
• 2.4. Поиск идентичных объектов (234мин.)
• • 2.4.1. Бинарный поиск (78мин.)
  • Упражнение (26мин.)
  • 2.4.2. Константный в среднем алгоритм поиска (130мин.)
  • Упражнение (26мин.)
• 2.5. Одномерный интервальный поиск (286мин.)
• • 2.5.1. Логарифмический поиск (78мин.)
  • 2.5.2. Сверхлогарифмический поиск (104мин.)
  • 2.5.3. Мгновенное решение (78мин.)
• Тест:  Базы данных (38мин.)

Глава 3. Автоматизация решения задач. Логический подход

• 3.1. Исчисление высказываний (338мин.)
• • 3.1.1. Язык логики высказываний (52мин.)
  • 3.1.2. Полнота исчисления высказываний (104мин.)
  • 3.1.3. Алгоритмы распознавания общезначимости формул логики высказываний (156мин.)
  • Упражнения (26мин.)
• 3.2. Исчисление предикатов (703мин.)
• • 3.2.1. Язык логики предикатов (78мин.)
  • 3.2.2. Полнота исчисления предикатов (26мин.)
  • 3.2.3. Доказательство общезначимости с помощью правила резолюции (234мин.)
  • 3.2.4. Связь с теоремой Геделя о полноте (52мин.)
  • 3.2.5. Неполнота формальной арифметики (130мин.)
  • 3.2.6. Эвристики в управлении выводом (130мин.)
  • Упражнения (52мин.)
• Самая короткая история интеллекта, наверное (0мин.)
• Тест:  Автоматизация решения задач. Логический подход (18мин.)

Литература

Актуальные издания по направлению «Интеллектуальные системы»

Новые издания по дисциплине «Интеллектуальные системы» и смежным дисциплинам

Завершение курса

• Тест:  Итоговое тестирование (18мин.)