Исследование операций
Оптимизационные задачи в науке и технике. Линейное программирование. Геометрический смысл. Симплекс-метод решения задач линейного программирования. Задачи линейного программирования. Транспортная задача в матричной постановке и её свойства. Методы построения допустимого базисного плана. Методы проверки плана на оптимальность (метод потенциалов).
Введение в теорию игр. Игры с нулевой суммой. Игры с чистыми и смешанными стратегиями. Геометрический способ решения игр. Сведение решения матричной игры к задаче линейного программирования.
Основная литература:
Акулич И.Л. Математическое программирование в задачах и упражнениях. - М.: Высшая школа, 1993.
Давыдов Э.Г. Исследование операций. – М. Высш. школа, 1990.
Курицкий Б.К. Поиск оптимальных решений средствами Excel 7.0. - Спб.: BHV, 1997.
Мину М. Математическое программирование. Теория и алгоритмы. - М.: Наука, 1990.
Шикин Е.В. Чхартишвили А.Г. Математические методы и модели в управлении: Учебник для ВУЗов. - М.: Дело, 2000.
Дополнительная литература:
Горелик В.А., Ушаков И.А. Исследование операций. - М.: Машиностроение, 1986.
Вентцель Е.С. Исследование операций. - М.: Советское радио, 1972.
Беллман Р., Дрейфус С. Прикладные задачи динамического программирования. – М.:Наука,1965.
Вагнер Г. Основы исследования операций. Т.1-3. - М. Мир, 1972,1973.
Васильев Ф.П. Численные методы решения экстремальных задач. - М.: Наука, 1980.
Вилкас Э.И. Оптимальность в играх и решениях. - М.: Наука,1990.
Гермейер Ю.Б. Введение в теорию исследования операций. - М.: Наука, 1976.
Евтушенко Ю.Г. Методы решения экспериментальных задач и их применение в системах оптимизации. - М.: Наука, 1982.
Интрилигатор М. Математические методы оптимизации и экономическая теория. - М.: Прогресс, 1975.
Морозов В.В., Сухарев А.Г., Федоров В.В. Исследование операций в задачах и упражнениях. - М.: Высшая школа, 1986.
Мулен Э. Теория игр с примерами из математической экономики. - М.: Мир, 1985. Павловский Ю.Н. Имитационные модели и системы. - М.: Фазиз, 2000.
Петросян Л.А., Зенкевич Н.А., Семина Е.А. Теория игр: Учебное пособие для университетов. - М.: Высшая школа, Книжный дом “Университет”, 1998.
Таха Х. Введение в исследование операций. Т.1, 2. - М.: Мир, 1985.
Основы искусственного интеллекта
Основные направления исследований в области искусственного интеллекта. Классические задачи искусственного интеллекта. Система знаний. Модули представления знаний: логическая, сетевая, фреймовая, продукционная.
Понятие об экспертной системе. Общая характеристика экспертной системы. Виды экспертной системы и типы решаемых задач. Структура и режимы использования экспертной системы. Классификация инструментальных средств экспертной системы и организация знаний в экспертной системе. Интеллектуальные информационные экспертные системы.
Логическое и функциональное программирование. Общие представления. Представление знаний о предметной области в виде фактов и правил базы знаний Пролога. Дескриптивный, процедурный и машинный смысл программы на Прологе. Рекурсия и структуры данных в программах на Прологе.
Основные направления исследований в области искусственного интеллекта. Искусственные нейросети. Нейрокомпьютеры.
Основная литература:
Острейковский В.А. Информатика: Учеб. для вузов. - М.: Высшая школа, 1999.
Гаврилов Т.А., Хорошевский В.Ф. Базы знаний и интеллектуальные системы: Учебник. – С. Пб.: Питер, 2000.
Основы современных компьютерных технологий: Учебник/Под ред. Проф. А.Д. Хомоненко.-СПб.: КОРОНА принт,2005.
Дополнительная литература:
Могилев А.В., Пак Н.И., Хеннер Е.К. Информатика: Учебное пособие для студ. пед. вузов; под. Ред. Е.К. Хеннера. - М.: ACADEMIA, 1999.
Справочник по искусственному интеллекту в 3-х т., / Под ред. Э.В. Попова и Д.А.Поспелова, 1990.
Хант Э. Искусственный интеллект. – М.: Мир, 1978.
Уотермент Д. Руководство по экспертным системам / Пер. с англ. –М.: Мир, 1989.
Кузнецов В.Е. Представление в ЭВМ неформальных процедур: продукционные системы / С послесловием Д.А. Поспелова. –М.: Наука. Гл. ред. физ. - мат. лит. 1989.
Тей А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию / Пер. с франц. - М.: Мир, 1990.
Макаллистер Дж. Искусственный интеллект и Пролог на микр ЭВМ / Пер. с англ.; Под. ред. М.В. Сергиевского. – М.: Машиностроение, 1990.
Клоксин У., Меллиш К. Программирование на языке Пролог / Пер. с англ. – М.: Мир, 1987.
Филд А., Харрисон П. Функциональное программирование. / Пер. с англ. – М.: Мир, 1993.
Хьювёнен Э., Сеппянен Й. Мир Лиспа. В 2-х томах. / Пер. с финск. –М.: Мир, 1990.
Левин Р., Дранг Д., Эделлсон Б. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на бейсике / Пер. с англ. – М.: Финансы и статистика, 1991.
Любарский Ю.Я. Интеллектуальные информационные системы. – М.: Наука. Гл. ред. физ. - мат. лит., 1990.
Малпас Дж. Реляционный язык Пролог и его применение / Пер. с англ. Под. Ред. В.Н. Соболева. – М.: Наука. Гл. ред. физ. - мат. лит., 1990.
Нейлор К. Как построить свою экспертную систему / Пер. с англ. – М.: Энергоатомиздат, 1991.
Стобо Дж. Язык программирования Пролог / Пер. с англ. – М.: Радио и связь, 1993.
Ин Ц., Соломон Д. Использование Турбо-Пролога / Пер. с англ. – М.: Мир, 1993.