Наука

Методическое обеспечение по курсу "Системы искусственного интеллекта"

Методическое обеспечение по курсу "Функциональное и логическое программирование"

Электронные копии рекомендуемых книг

1. Хювёнен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.1: Введение в язык Лисп и функциональное программирование. - М.: Мир, 1990
2. Хювёнен Э., Сеппянен Й. Мир Лиспа. В 2-х т. Т.2: Методы и системы программирования. - М.: Мир, 1990
3. Клоксин У., Меллиш К. Программирование на языке Пролог: - М.: Мир, 1987
4. Васильев Н.Б., Гутенмахер В.Л., Раббот Ж.М., Тоом А.Л. Заочные математические олимпиады. - М.: Наука, 1987
5. Демидович Б.П. Сборник задач и упражнений по математическому анализу. - М.: Издательство Московского университета, ЧеРо, 1997
6. Кнут Д. Искусство программирования. В 4-х т. Т.3: Сортировка и поиск. - М.: Мир, 1978
7. Нильсон Н. Искусственный интеллект. Методы поиска решений. - М.: Мир, 1973
8. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. - М.: Мир, 1990
9. Попов Э.В. Общение с ЭВМ на естественном языке. - М.: Наука, 1982
10. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. - М.: Мир, 1982
11. Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация. Алгоритмы и сложность. - М.: Мир, 1985
12. Марселлус Д. Программирование экспертных систем на Турбо Прологе. - М.: Финансы и статистика, 1994
13. Представление и использование знаний / Под ред. Х. Уэно, М. Исидзука. - М.: Мир, 1989
14. Сойер Б., Фостер Д.Л. Программирование экспертных систем на Паскале. - М.: Финансы и статистика, 1990
15. Белоногов Г.Г., Богатырев В.И. Автоматизированные информационные системы. Под. ред. К.В. Тараканова. - М.: Сов. радио, 1973. – С. 94-162, 176-195, 304-313
16. Белоногов Г.Г., Кузнецов Б.А. Языковые средства автоматизированных информационных систем. - М.: Наука, 1983
17. Мандел Т. Разработка пользовательского интерфейса. - М.: ДМК Пресс, 2001
18. Тидвелл Дж. Разработка пользовательских интерфейсов. - СПб.: Питер, 2008
19. Купер А., Рейман Р., Кронин Д. Алан Купер об интерфейсе. Основы проектирования взаимодействия. - СПб.: Символ-Плюс, 2010
20. Sauro J., Kindlund E. A Method to Standardize Usability Metrics Into a Single Score
21. Сергеев С.Ф., Падерно П.И., Назаренко Н.А. Введение в проектирование интеллектуальных интерфейсов. - СПб.: СПбГУ ИТМО, 2011
22. Влад В. Головач. Дизайн пользовательского интерфейса: искусство мыть слона
23. Розенфельд Л., Морвиль П. Информационная архитектура в Интернете, 2-е издание. - СПб.: Символ-Плюс, 2005
24. Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. - СПб.: Питер, 2000
25. Шеннон К. Работы по теории информации и кибернетике. - М.: Изд-во иностр. лит-ры, 1963
26. [Турдаков Д.] Texterra: инфраструктура для анализа текстов / Д. Турдаков, Н. Астраханцев, Я. Недумов, А. Сысоев, И. Андрианов, В. Майоров, Д. Федоренко, А. Коршунов, С. Кузнецов // Труды ИСП РАН. 2014. Т.26, Вып. 1. С. 421-438
27. Кузнецов С.О. Решётки формальных понятий в современных методах анализа и разработки данных // Поспеловские чтения: презентации докладов. М., 2011

Электронные ресурсы

1. Национальный корпус русского языка
2. Тезаурус РуТез
3. Библиотека русской морфологии
4. АОТ: Автоматическая Обработка Текстов
5. Serelex: поиск семантически связанных слов
6. The Concept Explorer
7. ToscanaJ: Welcome to the ToscanaJ Suite

Некоторые дополнительные главы к курсу интеллектуальных систем

1. Вывод экспертного заключения и объяснение полученного решения в системе, основанной на знаниях: проблемы и перспективы
2. Элементы нечётких множеств
3. Уровень глубинного синтаксиса и выделение сверхфразовых единств в текстах

Дополнения к лабораторному практикуму по курсу интеллектуальных систем

• Продукционная модель представления знаний
• Представление знаний на основе семантической сети

Материалы к лабораторным работам по дисциплине "Человеко-машинное взаимодействие"

1. Лабораторная работа №1
2. Лабораторная работа №2
3. Лабораторная работа №3
4. Лабораторная работа №4
5. Лабораторная работа №5

             Приложение. Human-Centered Design. Стандарт ISO 9241-210. Краткие сведения.