7.	
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Государственное образовательное учреждение высшего профессионального образования
РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ
Институт лингвистики
Отделение интеллектуальных систем в гуманитарной сфере

Программа междисциплинарного государственного экзамена

по специальности №031302 «Интеллектуальные системы в гуманитарной сфере»

Москва 2009

Программа государственного экзамена по специальности №031302 «Интеллектуальные системы в гуманитарной сфере»

Составители:
д.ф.-м.н., проф. О.М. Аншаков
д. ф.-м. н., проф. Е.М. Бениаминов,
к. ф.-м. н., доц. Д.В. Виноградов,
ст. преп. М.Е. Епифанов,
к. ф.-м. н., доц. Е.А. Ефимова,
д. т. н., проф. О.П. Кузнецов
д. ф.-м. н., проф. Д.Г. Лахути,
д. т. н., проф. В.К. Финн,

УТВЕРЖДЕНО
Протокол заседания кафедры
математики, логики и
интеллектуальных систем
в гуманитарной сфере
№ 3 от «08» декабря 2008 г.

Российский государственный
гуманитарный университет

Содержание
Вопросы к государственному экзамену по специальности «Интеллектуальные системы в гуманитарной сфере»
Элементы математической логики
Литература по разделу «Элементы математической логики»
Теория графов
Литература по разделу "Теория графов"
Логическое программирование
Литература по разделу «Логическое программирование»
Информационный поиск
Литература по разделу «Информационный поиск»
Базы данных
Литература по разделу «Базы данных»
Представление знаний и интеллектуальный анализ данных
Литература по разделу «Представление знаний и интеллектуальный анализ данных»
Элементы современных технологий программирования
Литература по разделу «Элементы современных технологий программирования»
Введение в теорию алгоритмов и теорию сложности вычислений
Литература по разделу «Введение в теорию алгоритмов и теорию сложности вычислений»

Вопросы к государственному экзамену по специальности «Интеллектуальные системы в гуманитарной сфере»
Элементы математической логики
1.	Основные понятия теории множеств. Теоретико-множественные операции и соотношения между ними. 
2.	Основные понятия теории множеств. Представление отношений в теории множеств. Аксиомы отношений порядка и эквивалентности. Фактор‑множества.
3.	Понятия функции и отображения. Композиция отображений. Тождественное отображение. Свойства отображений: инъекция, сюръекция, биекция.
4.	Теорема о представлении булевских функций посредством с.д.н.ф. и с.к.н.ф. 
5.	Предполные классы в алгебре двузначной логики. Теорема о фукнциональной полноте. 
6.	Метод аналитических таблиц. Лемма Хинтикки для логики предикатов 1-го порядка. Теорема о полноте логики предикатов 1-го порядка. 
8.	Эрбранов универсум. Семантические деревья. Теорема Эрбрана. 
9.	Алгоритм унификации. Теорема унификации. 
10.	Метод резолюций. Теорема о полноте метода резолюций. 
Литература по разделу «Элементы математической логики»
1.	Биркгоф Г., Барти Т. Современная прикладная алгебра, М.: Мир, 1976, гл. 2. Бинарные отношения и графы, стр. 39-72. 
2.	Вайнтроб А.Ю., Ганнушкина С.А. Элементы теории множеств (учебное пособие). 
РГГУ, 1992. 
3.	Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990. 
4.	Метакидес Г., Нероуд А. Принципы логики и логического программирования, М.: «Факториал», 1998 
5.	Непейвода Н.Н. Прикладная логика, Ижевск, 1997, стр. 7-252 
6.	Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем, М.: Наука, 1983, главы 1-5, стр. 11-101. 
7.	Яблонский С.В. Введение в дискретную математику, М.: Наука, 1986, гл. 1, стр. 942. 
Теория графов
1. Основные понятия теории графов. Неориентированные и ориентированные графы. Способы представления графов. 
2. Пути и связность в графах. Компоненты связности. Расстояния, радиус и центры неориентированного графа. Топологическая сортировка. Конденсация. 
3.	Деревья и их свойства. 
4.	Пространство циклов. 
5.	Кратчайшие пути. Алгоритм Дейкстры. 
6.	Потоки в сетях. 
7.	Сетевое планирование: нахождение критических путей и резервов. 
Литература по разделу "Теория графов"
1.	Оре О. Теория графов. М., Наука, 1968, 1980. 
2.	Харари Ф. Теория графов. М., Мир, 1973. 
3.	Майника Э. Алгоритмы оптимизации на сетях и графах. М., Мир, 1981. 
4.	Кузнецов О.П. Дискретная математика для инженера. СПб., Лань, 2004. 
5.	Свами М, Тхуласираман К. Графы, сети, алгоритмы. М., Мир, 1984. 
6.	Кормен Т., Лейзерсон Ч., Рuвест Р., Штайн К. Алгоритмы: построение и анализ. 2-е изд. - М.: Вильямс, 2008.
Логическое программирование
1.	Процедурные и декларативные составляющие в современных языках программирования. Мотивация логического программирования. Основные составляющие языка Пролог: термы, факты, правила, переменные в правилах, цель. Примеры программ родственных отношений: father, sister, grandfather. 
2.	Основные элементы языка Пролог. Структура программы Visual Prolog: domaines, predicates, clauses, goal. Примеры программ работы со списками: member, append 
Литература по разделу «Логическое программирование»
1.	Братко И. Программирование на языке Пролог для искусственного интеллекта. 
М.: Мир, 1990. 
2.	Клоксин У., Меллиш К. Программирование на языке Пролог. М.: Мир, 1987. 
3.	Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. М.: Мир, 1990. 
4.	Visual Prolog Version 5 Language Tutorial // Vip\Doc\Language.doc 
Информационный поиск
1.	Основные способы информационного поиска: предкоординационные (классификационные), посткоординационные (вербальные), отсылочные (гипертекстовые, методы цитирования). Промежуточные способы (предметный поиск). Смешанные (комбинированные) способы. Литература: [1], с. 31-36. [2], гл. 1. [7]. [8], гл. 1 (особ. раздел 11). 
2.	Оценка качества поиска. Полнота и точность (потери и шум) поиска. Полнота и точность ИПС. Устойчивость определения релевантности. Литература: [1], с. 120123. [2], 13-15. [5], с. 6,23-25. 
3.	Классификация ИПС; сходство и различия документальных и фактографических ИПС. Литература: [2], с. 16-31. [3]. [4], с. 7.
4.	Грамматические средства (ГС) ИПЯ: синтагматические отношения. Указатели связи; указатели роли. Уровни грамматики ИПЯ документов: мешочная ("без грамматики"), позиционно-скобочная (линейная), графовая (сетевая). Взаимосвязь с ГС ИПЯ запросов. Литература: [1], с. 30. [2], с. 45-50. [6], с. 89-93. [9]. 
5.	Грамматические средства ИПЯ запросов: операторы поиска. Типы операторов поиска: морфологические, логические, контекстные (синтаксические). Их взаимосвязь с ГС ИПЯ документов. Литература: [1], с. 74-83. [2], с. 50-54. [9]. 
6.	Средства повышения полноты и точности документальной (текстовой) ИПС. 
Семантическая сила ИПС. Литература: [10]. 
7.	Проблемы интеллектуализации ИПС: обработка документов. Литература: [11], особ. параграф 7, 9. 
8.	Проблемы интеллектуализации ИПС: обработка запросов. Литература: [11], особ. параграфы 8-9. 
Литература по разделу «Информационный поиск»
1.	Черный А.И Введение в теорию информационного поиска. М.: Наука, 1975. (chemy.txt) 
2.	Лахути Д.Г. Автоматизированные документально‑фактографические информационно‑поисковые системы // Итоги науки и техники. Сер. Информатика. Т. 12.- М.: ВИНИТИ, 1988. С. 6-79. (dl_08_54.txt) 
3.	Кристальный Б.В., Раскина А.А., Сидоров И.С. О понятии "фактографическая информация" //Вопр. инф. теории и практ.- 1976.- N 1(28). С. 7-16. (kris.txt) 
4.	Войскунский В.Г., Франц В.И. Коррекция поисковых предписаний в документальных ИПС //НТИ. Сер. 2.- 1974.- N 7.- С. 7-12. (probl_ip.txt) 
5.	Лахути Д.Г. Вопросы отладки и оценки дескрипторных поисковых систем // Семантические проблемы информатики.- М.: ВИНИТИ, 1971. С. 6-37. (barh&rs.txt) 
6.	Лахути Д.Г., Федоров Е.Б., Добронравов И.С., Пархоменко В.Ф. Автоматическое индексирование текстов в документальных ИПС // Кибернетическая лингвистика. - М.: Наука, 1983. С. 84-95. (auto_ind.txt). 
7.	Субботин М.М. Новая информационная технология: создание и обработка гипертекстов //НТИ. Сер. 2.- 1988.- N 5.- С. 2-6. 
8.	Пархоменко В.Ф. Работа с русскоязычными полнотекстовыми базами данных в ИПС АРТЕФАКТ // НТИ. Сер. 2.- 1998.- NQ 1.- С. 25-29. (artefact.txt). 
9.	Лахути Д.Г. АИПС с грамматикой и автоматическим индексированием в перспективе развития документальных ИПС / Проблемы автоматизированной обработки научно‑технической информации (тезисы докладов). Секция П. Ч. 2. С. 44-48. (dl_1976.txt) 
1 О. Лахути Д.Г. Проблемы интеллектуализации информационно-поисковых систем. 
Диссертация в виде научного доклада. М., 1999. (p_intell.txt) 
11.	Захаров В. П. Информационные системы (документальный поиск). СПб, 2002. 
Базы данных
1.	Общее понятие о БД. Предназначение; возможное окружение; основные задачи БД (функциональность); основные понятия, связанные с БД; основные требования к БД; иерархия абстракций в БД; концептуальная схема БД; наиболее популярные модели данных (реляционная, иерархическая, сетевая). 
2.	Физическое представление данных в БД (основные подходы). Файлы, записи. 
Ключи. Индексы. Основные задачи физического представления данных. Сортировка (алгоритмы: простые (квадратичные) и сортировка слиянием). Наилучшее время для сортировки. Хеширование. Двоичный поиск (алгоритм). Двоичные деревья. В-деревья. Сбалансированные деревья. 
3.	Реляционная алгебра. Определения и свойства основных операторов; классификация различных операторов селекции и соединения. Определение реляционной алгебры, ее выражения. Ограничение множества ее операторов (независимость). 
4.	Реляционное исчисление кортежей как логический язык. (Определить синтаксис и семантику). 
5.	Реляционное исчисление доменов как логический язык. (Определить синтаксис и семантику). 
6.	Системы и языки запросов. Системы запросов, их основные характеристики. 
Сравнить реляционную алгебру, реляционное исчисление кортежей и реляционное исчисление доменов. Языки SQL и QBE. 
7.	(Основные) проблемы проектирования РБД и методы их решения. 
Классификация зависимостей. Определение РБД. Зависимости между данными. Избыточность данных. Локальность представления данных. Основные виды зависимостей (определения) и связанные с ними нормальные формы. 
8.	Функциональные зависимости (ФЗ) и МV-зависимости РБД: определение, логическое следование, вывод на них, системы правил вывода, полнота вывода Алгоритмизация вывода (на примере ФЗ). 
9.	Разработка и реализация баз данных на практике. Комплексная среда разработки (IDЕ) MS Access. Основные элементы базы данных. Язык VВА (кратко охарактеризовать). Объектные модели: 1) среды Access, доступа к данным - 2) DAO и 3) ADO. Основные этапы разработки и реализации базы данных. Применение технологий визуального программирования в среде MS Access и IDE VBA. 
Литература по разделу «Базы данных»
К теоретической части раздела 
основная: 
1.	Мейер Д. Теория реляционных баз данных. - М.: Мир, 1987. 
2.	Ульман Дж. Основы систем баз данных. - М.: Финансы и статистика, 1983. 
дополнительная: 
3.	Дейт К.Дж. Введение в системы баз данных. - М.: Вильямс, 2006.
4.	Мартин Дж. Организация баз данных в вычислительных системах. - М.: Мир, 1980. 
5.	Тиори Т., Фрай Дж. Проектирование структур баз данных. - М.: Мир, 1985. 
для повторения по темам "Сортировки и поиск" и "Оценки сложности алгоритмов": 
6.	Ахо А., Ульман Дж., Хопкрофт Дж. Построение и анализ вычислительных алгоритмов. - М.: Мир, 1979. 
7.	Ахо А., Ульман Дж., Хопкрофт Дж. Структуры данных и алгоритмы - М.:Изд. дом "Вильямс", 2000
8.	Кормен Т., Лейзерсон Ч., Рuвест Р., Штайн К. Алгоритмы: построение и анализ. 2-е изд. - М.: Вильямс, 2008.
к практической части раздела 
основная: 
9.	Гандерлой М., Харкинз С.С. Автоматизация Microsoft Access с помощью VBA. - М.: Вильямс, 2006.
10.	Грох М., Стокман Дж., Пауэлл Г. Microsoft Office Access 2007. Библия пользователя. - М.: Изд. Диалектика, Вильямс, 2009, 1200 с.
11.	Кузин А.В., Демин В.М. Разработка баз данных в системе Мiсrоsоft Access: учебник. - М.:Форум, 2009, 224 с. 
12.	Официальный учебный курс Microsoft. Microsoft Office Access 2003. - М.: Эком, Бином. Лаборатория знаний, 2006, 528 с.
13.	MSDN Subscriptions Library, (не ранее Jan. 2001 Release) - распространяемая по подписке техническая документация фирмы Мiсrоsоft. 
дополнительная: 
12.	Гарнаев А.Ю. Самоучитель VBA. – 2-е изд., перераб. и доп. - СПб.: БХВ-Петербург, 2007, 560 с.
13.	Гурвиц Г.А. Microsoft Access 2007. Разработка приложений на реальном примере. - СПб.: БХВ-Петербург, 2007
14.	Дженнингс Р. Access 97 в подлиннике. ТТ.l,2. - СПб: ВНV - СанктПетербург,
15.	Дженнингс Р. Использование Microsoft Office Access 2003. - М.: Вильямс, 2006.
16.	Кошелев В.Е. Access 2007 - М.: ООО «Бином-Прес», 2008
17.	Санна П. и др. Visual Basic для приложений (версия 5) в подлиннике. - СПб.:ВНVСанкт-Петербург, 1997, 1999
Представление знаний и интеллектуальный анализ данных 
1.	Понятие продукции. Продукции в системах Поста. Продукции в формальных грамматиках. Продукции как хорновские формулы. 
2.	Структура продукционной экспертной системы. Области применения продукционных экспертных систем. Достоинства и недостатки продукционных экспертных систем. 
3.	Механизм вывода в продукционных экспертных системах. Прямой и обратный вывод. 
4.	Семантические сети. Области применения семантических сетей. Представление последовательности событий с помощью семантических сетей. 
5.	Представление структуры сложного объекта с помощью семантических сетей. 
6.	Семантические сети с фреймами. Представление формул логики предикатов с помощью семантических сетей с фреймами. 
7.	Нечеткие множества. Функция принадлежности. Основные понятия, связанные с нечеткими множествами. Операции над нечеткими множествами. 
8.	Нечеткие логики, t-нормы и s-нормы, нечеткое отрицание. Нечеткая импликация и нечеткий modus ponens. Примеры t-норм и s-норм. Основные результаты о t-нормах и s-нормах. 
9.	Лингвистическая переменная. Лингвистические термы. Терм‑множество лингвистической переменной. Лингвистические переменные и нечеткие множества.
10.	Структура системы нечеткого вывода. Основные этапы работы системы нечеткого вывода: фаззификация, нечеткий вывод, композиция, дефаззификация. Области применения систем нечеткого вывода. Примеры систем нечеткого вывода. 
11.	Разновидности систем нечеткого вывода. Методы дефаззификации. 
12.	Нейрон. Искусственный нейрон. Весовые коэффициенты синапсов. Функция активации. Примеры функций активации. Топология нейросетей. 
13.	Области применения нейросетей. Обучение искусственных нейронных сетей (с учителем). Обучающая последовательность. Функция ошибки. Переобучение. Алгоритм обратного распространения ошибки. 
14.	Персептрон. Проблема исключающего «ИЛИ». Обучение персептрона. 
15.	Интеллектуальный анализ данных. Задачи, решаемые с помощью ДСМ-системы. 
Структура ДСМ-системы. Основной алгоритм работы ДСМ-системы. 
16.	Правила правдоподобного вывода в ДСМ-системе. Решающие предикаты. 
17.	Обобщеный ДСМ-метод. 
18.	Алгоритмические проблемы ДСМ-метода. Связь ДСМ-метода с формальной теорией понятий. Алгоритмы поиска пересечений. 
Литература по разделу «Представление знаний и интеллектуальный анализ данных»
1.	Вагин В.Н. Дедукция и обобщение в системах принятия решений.- М.: Наука, 1988.- 384 с. (вопросы 3-5) 
2.	Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем.- СПб: 
Питер, 2000.- 384 с.: ил. 
3.	Григорьев П.А. Методы интеллектуального анализа данных в предметных областях с частично детерминированными свойствами объектов // Диссертация на соискание уч. степени кандидата техн. наук.- М.: РГГУ, 2000. (вопросы 12-14) 
4.	Джексон П. Введение в экспертные системы.: Пер. с англ. Уч. пос.- М.: 
Издательский дом «Вильямс», 2001.- 624 с.: ил. (вопросы 2,3) 

5.	Дюбуа Д., Прад А. Теория возможностей. Приложения к представлению знаний в информатике: Пер. с фр.- М.: Радио и связь, 1990.- 288 с.: ил. (вопросы 7-8) 
6.	Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений: Пер. с англ.- М.: Мир, 1976.-168 с.: ил. (вопрос 9) 
7.	Круглов В.В., Дли М.Н., Голунов Р.Ю. Нечеткая логика и искусственные нейронные сети: Учеб. пособие.- М.: Издательство физико-математической литературы, 2001.224 с.: ил. (вопросы 7-14) 
8.	Круглов В.В., Борисов В.В. Искусственные нейронные сети. Теория и практика.- М.: 
Горячая линия - Телеком, 2001.- 382 с.: ил. (вопросы 7-14) 
9.	Кузнецов С.О. Введение в ДСМ-метод // Семиотика и информатика.-1990.- вып. 31.- с. 3-40. (вопросы 15, 16) 
10.	Леоненков А.В. Нечеткое моделирование в среде MATLAB и fuzzyTECH.- СПб.: 
БХВ-Петербург. 2003.-736 с.: ил. (вопросы 7-11) 
11.	Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с фр. / Тейз А., Грибомон П., Луи Ж.. и др.М.: Мир, 1990.- 432 с.: ил. (вопросы 1-6) 
12.	Люгер Дж. Ф. Искусственный интеллект: стратегии и методы решения сложных проблем, 4-е издание.: Пер. с англ.- М.: Издательский дом «Вильямс», 2003.- 864 с.: ил. (вопросы 1-6) 
13.	Мартин-Лёф П. Очерки по конструктивной математике: Пер с англ.- М.: Мир, 1975.- 136 с.: ил. (вопрос 1) 
14.	Объедков С.А. Эффективное построение множества понятий по его диаграмме Хассе // КИИ-2000. VII национальная конференция по искусственному интеллекту. Труды конференции.- М.: Изд-во физ.-мат. лит. 2000.- Т. 1, с. 59-66. (вопрос 18) 
15.	Финн В.К. Правдоподобные выводы и правдоподобные рассуждения // Итоги науки и техники. Сер. Теория вероятностей. Математическая статистика. Теоретическая кибернетика. М.: ВИНИТИ, 1988, Т. 28, с. 3-84. (вопросы 15-17) 
16.	Частиков А.П., Гаврилова Т.А., Белов Д.Л. Разработка экспертных систем. Среда CLIPS.- СПб.: БХВ-Петербург, 2003.- 608 с.: ил. (вопросы 2,3) 
Элементы современных технологий программирования
1.	Языки разметки. Общее понятие о языках разметки. XМL - синтаксис; типы документов и прикладные языки, средства определения типа документа (грамматики прикладных языков): XDR- и XSD‑схемыI, DTD. HTML - синтаксис и основные элементы. Объектные модели документов XML и HTML. Применение языков разметки в современных технологиях программирования. 
2.	Разработка приложений на основе DHTML и XML. Документ DHTML и его структура. Таблицы стилей. Сценарии, языки JavaScript и VBScript. Модель событий DHTML. Окно браузера и фрейм. Объекты DHTML, работа с DOM из кода JavaScript. Программирование индивидуальных элементов. Динамические стили и анимация. 
3.	Работа с XML DOM из кода JavaScript. XSL - расширяемый язык таблиц стилей. 
Отображение XМL документа в документ DHTML. 
4.	Компонентный подход к программированию в DHTML. 
5.	Архитектура клиент-сервер. Внедрение AcxtiveX объектов и JАVА-апплетов в документ HTML.
6.	Модели СОМ и СОМ+. Бизнес-логика, контракты. Множественность интерфейсов в СОМ, наследование интерфейсов. Основные интерфейсы (IUnknоwn, ... ). Библиотеки типов, язык IDL (кратко охарактеризовать). Сервисы СОМ+ (кратко охарактеризовать). Реализация взаимодействия клиента с сервером. Реализация компонентов на языках С++, Java++, VВ. Компоненты сценариев Windows. 
7.	Применение СОМ и СОМ+. Технологии OLE и AcxtiveX. Двухуровневые (клиент-сервер) системы. Архитектура распределенных приложений Intemet (Windows DNA).
Литература по разделу «Элементы современных технологий программирования»
 Основная: 
1.	Айзекс С. Dynamic HTML. - СПб.:ВНV-Санкт-Петербург, 1998. 
2.	Бумфрей Ф., Диренцо О., Дакетт Й. и др. XМL. Новые перспективы WWW. М.:ДМК, 2000 
3.	Лалани С., Чандэк Р. Библиотека программиста AcxtiveX. - МН.: ООО «Попурри», 2000 
4.	Оберг Р. Технология СОМ+. Основы и программирование. - М.: Издательский дом «Вильямс», 2000 
5.	Питц-Моултис Н, Кирк Ч.  XМL. - СПб.:ВНV-Санкт-Петербург, 2000 
6.	Ринехарт М.  Программирование на Java с помощью Visual Java++. - Мн.: 000 "Попурри", 1998 
7.	Роджерсон Д. Основы СОМ - М.: Издательский отдел «Русская редакция» ТОО «Channel trading Ltd.», 1997 
8.	Федоров А. JavaScript для всех., - М.:КомпьютерПресс, 1998 
9.	Фролов А.В., Фролов Г.В. Сценарии JavaScript в активных страницах Web. М.:ДИАЛОГ-МИФИ,1998 
10.	Хефлин Д.,  Ней Т. Разработка Web-скриптов. Библиотека программиста. СПб.: Питер,2001 
11.	Хоумер А., Улмен К. Dynamic HTML: справочник. - СПб.:Питер, 2000 
12.	Чеппел Д. Технологии AcxtiveX и OLE - М.: Издательский отдел «Русская редакция» ТОО «Channel trading Ltd.», 1998 
13.	MSDN Subscriptions Library, (не ранее Jan. 2001 Release) - распространяемая по подписке техническая документация фирмы Мiсrоsоft. 
14.	XML (Extensible Markup Language) - техническая документация Мiсrоsоft XML Parser SDK 
15.	XML Schema - рабочий документ (рекомендация) консорциума W3C, опубликован (регулярно обновляется) на сайте консорциума (http://www.w3.org/): 
http://www.w3.org/TR/xmlschema/.
дополнительная: 
16. Даконта М., Саганич А. XML и JAVA 2 (серия "Библиотека программиста"). - 
СПб.:Питер,2001 
17. Деннинг А. AcxtiveX для профессионалов. - СПб.:Питер, 1998 
18.	Лавджой И. Web профессионалам ASP. - К:ВНV-Киев, 2001 
19.	Наварро Э. XHTML: Учебный курс. - СПб.:Питер, 1997 
20.	Ноутон П., Шuлдт Г. JAVA 2 - СПб.:ВНV-Санкт-Петербург, 2001 

21.	Рофэйл Э., Шохауд Я. СОМ и СОМ+. Полное руководство. – К.:ВЕК+, К.:НТИ, М.:Энтроп,2000 
22.	Руководство программиста по Мiсrоsоft Visual Java++ 6.0. - М.: Издательский отдел «Русская редакция» ТОО «Channel trading Ltd.», 1998 
23.	Уильямс Э., Барбер К. Active Server Pages - СПб.:ВНV- Санкт-Петербург, 2001 
Введение в теорию алгоритмов и теорию сложности вычислений
1.	Понятие алгоритма. Абстрактные вычислительные устройства. Детерминированная машина Тьюринга (ДМТ). Универсальная машина Тьюринга. Алгоритмически неразрешимые проблемы. Тезис Черча-Тьюринга.
2.	Конечные автоматы как алгоритмы с ограниченными возможностями. Что могут и чего не могут делать конечные автоматы.
3.	Сложность вычисления на ДМТ. Понятие сложности алгоритма (временная сложность и сложность по памяти). Полиномиальная функция (т.е. ограниченная полиномом). Понятие задачи. Массовая и индивидуальная задача. Класс Р. Язык машины Тьюринга. 
4.	Сведения языка к языку. Недетерминированная машина Тьюринга. Класс NP. Проблемы соотношения классов Р и NP. 
5.	Теорема Кука (сформулировать), ее значение. NP-полные задачи. Основные NP-полные задачи (сформулировать).
Литература по разделу «Введение в теорию алгоритмов и теорию сложности вычислений»
1.	Гэрu М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. - М.: 
Мир, 1982. 
2.	Кормен Т., Лейзерсон Ч., Рuвест Р., Штайн К. Алгоритмы: построение и анализ. 2-е изд. - М.: Вильямс, 2008.
3.	Кузнецов О.П. Дискретная математика для инженера. СПб., Лань, 2004.
4.	Разборов А.А. Основы теории сложности вычислений. - В сб. Студенческие чтения НМУ. вып 1 - М.: МНЦМО, 2000 
5.	Хопкрофт Дж., Мотвани Р., Ульман Дж. Введение в теорию автоматов, языков и вычислений. 2-е изд. - М.: Издательский дом "Вильямс", 2002.