Предисловие

Введение

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

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

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

• 2.1. Модели логической организации данных (50мин.)
• 2.2. Реляционная модель данных (176мин.)
• • 2.2.1. Реляционная алгебра (50мин.)
  • 2.2.2. Функциональные зависимости (50мин.)
  • 2.2.3. Полнота системы аксиом вывода (25мин.)
  • Упражнения (25мин.)
• 2.3. Информационно-графовая модель данных (628мин.)
• • Упражнения (25мин.)
  • 2.3.1. Критерий допустимости информационного графа (50мин.)
  • Упражнения (25мин.)
  • 2.3.2. Полнота для информационных графов (50мин.)
  • Упражнения (25мин.)
  • 2.3.3. Сложность информационных графов (151мин.)
  • Упражнения (25мин.)
  • 2.3.4. Мощностная нижняя оценка (25мин.)
  • Упражнения (25мин.)
• 2.4. Поиск идентичных объектов (226мин.)
• • 2.4.1. Бинарный поиск (75мин.)
  • Упражнение (25мин.)
  • 2.4.2. Константный в среднем алгоритм поиска (126мин.)
  • Упражнение (25мин.)
• 2.5. Одномерный интервальный поиск (276мин.)
• • 2.5.1. Логарифмический поиск (75мин.)
  • 2.5.2. Сверхлогарифмический поиск (100мин.)
  • 2.5.3. Мгновенное решение (75мин.)
• Тест:  Базы данных (38мин.)

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

• 3.1. Исчисление высказываний (327мин.)
• • 3.1.1. Язык логики высказываний (50мин.)
  • 3.1.2. Полнота исчисления высказываний (100мин.)
  • 3.1.3. Алгоритмы распознавания общезначимости формул логики высказываний (151мин.)
  • Упражнения (25мин.)
• 3.2. Исчисление предикатов (678мин.)
• • 3.2.1. Язык логики предикатов (75мин.)
  • 3.2.2. Полнота исчисления предикатов (25мин.)
  • 3.2.3. Доказательство общезначимости с помощью правила резолюции (226мин.)
  • 3.2.4. Связь с теоремой Геделя о полноте (50мин.)
  • 3.2.5. Неполнота формальной арифметики (126мин.)
  • 3.2.6. Эвристики в управлении выводом (126мин.)
  • Упражнения (50мин.)
• Самая короткая история интеллекта, наверное (0мин.)
• Тест:  Автоматизация решения задач. Логический подход (18мин.)

Литература

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

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

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

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