- Раздел 1. Моделирование зрительного восприятия
- Тема 1. Кодирование изображений
- Тема 2. Теорема Козлова об аффинной эквивалентности изображений
- Тема 3. Распознавание и восстановление объемных изображений
- Раздел 2. Алгебро-геометрические методы распознавания
- Тема 1. Некоторые эвристические методы распознавания
- Тема 2. Модель персептрона Розенблатта
- Тема 3. Теорема Новикова
- Раздел 3. Статистический подход к распознаванию
- Тема 1. Качество и надежность решающего правила
- Тема 2. Байесовское решающее правило
- Тема 3. Метод минимизации эмпирического риска
- Раздел 4. Тестовый подход к распознаванию
- Тема 1. Понятие теста
- Тема 2. Линейные тестовые алгоритмы распознавания
- Тема 3. Алгоритм Кудрявцева голосования по тестам
- Тема 4. Теорема Анселя о числе монотонных функций
- Тема 5. Расшифровка монотонных функций
- Раздел 5. Модели логической организации данных
- Раздел 6. Реляционная модель данных
- Тема 1. Реляционная алгебра
- Тема 2. Функциональные зависимости
- Тема 3. Полнота системы аксиом вывода
- Раздел 7. Информационно-графовая модель данных
- Тема 1. Критерий допустимости информационного графа
- Тема 2. Полнота для информационных графов
- Тема 3. Сложность информационных графов
- Тема 4. Мощностная нижняя оценка
- Раздел 8. Поиск идентичных объектов
- Тема 1. Бинарный поиск
- Тема 2. Константный в среднем алгоритм поиска
- Раздел 9. Одномерный интервальный поиск
- Тема 1. Логарифмический поиск
- Тема 2. Сверхлогарифмический поиск
- Тема 3. Мгновенное решение
- Раздел 10. Исчисление высказываний
- Тема 1. Язык логики высказываний
- Тема 2. Полнота исчисления высказываний
- Тема 3. Алгоритмы распознавания общезначимости формул логики высказываний
- Раздел 11. Исчисление предикатов
- Тема 1. Язык логики предикатов
- Тема 2. Полнота исчисления предикатов
- Тема 3. Доказательство общезначимости с помощью правила резолюции
- Тема 4. Связь с теоремой Геделя о полноте
- Тема 5. Неполнота формальной арифметики
- Тема 6. Эвристики в управлении выводом