Учебно- методический комплекс учебной дисциплины дпп. 04"Теоретические основы информатики" подготовки бакалавра по направлению 050200 «Физико-математическое образование» Работа принята в фонд учебно-методического управления пи юфу

Вид материала

Учебно-методический комплекс

Содержание Контрольные вопросы и задания для самостоятельной работы по теме: «Моделирование как основной метод научного познания» ТЕСТ для проверки уровня знаний по дисциплине Шкала оценки Критерии оценки самостоятельной работы Ключевые понятия учебной дисциплины (глоссарий) Алгоритм структурный Анализ - метод исследования, основанный на выделении отдельных компонентов системы и рассмотрении их свойств и связей. Бит Внешние запоминающие устройства (ВЗУ) Дискретные устройства Запись логическая Запоминающие устройства с произвольным доступом Избыточность кода относительная Информация (статистическое определение) Информационный процесс Источник информации Конечным автомат - система Массив - упорядоченная линейная совокупность однородных данных. Материальный носитель информации Машинное слово Моделирование имитационное Модель математическая ... Полное содержание

Подобный материал:

• Учебно-методический комплекс учебной дисциплины ен. В. 01 по выбору (информатика) «Программирование, 553.96kb.
• Учебно-методический комплекс учебной дисциплины сдм. 02 «программирование» подготовки, 879.43kb.
• Магистерская программа «Языковое образование (русский язык)» умк принят в фонд учебно-методического, 541.81kb.
• Учебно-методический комплекс дпп ф. 03. Старославянский язык Специальность 050301 Русский, 2969.23kb.
• Учебно-методический комплекс дпп. Ф. 01. Теория языка Специальность 050301 Русский, 889.66kb.
• Учебно-методический комплекс дисциплины теоретические основы современного языкознания, 858.32kb.
• Программа вступительного экзамена в магистратуру по направлению 050200 «Физико-математическое, 500.22kb.
• Учебно-методический комплекс курса по выбору (опд) Направление подготовки 050202., 311kb.
• Контрольная работа по дисциплине «Теоретические основы информатики» направление 050200., 66.3kb.
• Учебно-методический комплекс опд. Ф. 04 Теория и методика обучения русскому языку Специальность, 658.5kb.

^ Контрольные вопросы и задания для самостоятельной работы по теме: «Моделирование как основной метод научного познания»


1. Являются ли моделями:

a) фоторобот преступника;

b) корреспонденции журналистов;

c) схема компьютера;

d) компьютерное изображение разрабатываемого автомобиля?

25. Приведите примеры множественности моделей для одного прототипа.
    
26. Как соотносятся понятия «модель», «макет», «схема»?
    
27. Постройте граф математической модели и охарактеризуйте отношения:
    

a) для описания: «АА и ВВ являются родителями для С и D»;

b) четные числа;

c) функция у = x²;

d) а ≥ b.

28. Приведите несколько примеров, когда некоторая сущность в одних задачах может считаться объектом, а в других - нет.
    
29. Приведите примеры классов объектов с указанием общих и индивидуальных свойств.
    
30. Имеет ли смысл сочетание «модель объекта»? Ответ обоснуйте.
    
31. Имеет ли смысл сочетание «сложная система»? Ответ обоснуйте.
    
32. Для нескольких систем выделите их компоненты с разнесением на объекты и подсистемы.
    
33. Являются ли системами:
    

a) природа в целом;

b) компьютер;

c) компьютерная программа;

d)учебник по информатике?

34. Поясните соотношение понятий «модель» и «система».
    
35. Являются ли формальными системами:
    

a) уголовный кодекс;

b) детский конструктор;

c) правила правописания;

d) текстовый редактор Word?

36. Опишите формальную систему игры в «крестики-нолики». Постройте программную реализацию на каком-либо языке программирования для полей 3 × 3 и 4 × 4 клетки.
    
37. Постройте конкретизацию последовательности решения задачи на компьютере в следующих ситуациях:
    

a) создание документа с помощью текстового редактора;

b) разработка программы, описывающей взаимодействие и движение нескольких тел;

c) создание базы данных для отдела кадров предприятия;

d) разработка игровой программы.

38. В чем суть объектного подхода в прикладной информатике? Каковы возможные альтернативные подходы?
    

^ ТЕСТ

для проверки уровня знаний по дисциплине

Тестовые задания направлены на выявление уровня теоретической подготовки студентов по дисциплине «Теоретические основы информатики». Каждое тестовое задание содержит по три варианта ответов, из которых необходимо выбрать единственно верный. Каждый правильный ответ оценивается в один бал, соответственно, неверный - даёт нуль баллов. После прохождения всего теста подсчитывается общее число верных ответов.

1. Информация - это
   

1. одно из наиболее общих понятий науки, обозначающее некоторые сведения, совокупность каких-либо данных, знаний и т.п.
   
2. область знания, изучающая способы передачи опыта.
   
3. характеристика способов взаимодействия отдельных элементов компьютера.
   

2. Современные информационные технологии - это
   

1. компьютер и его периферийные устройства.
   
2. машинизированные способы обработки, хранения, передачи и использования информации в виде знаний.
   
3. локальные и глобальные информационные сети.
   

3. Информатика - это
   

1. наука о компьютерных системах и информационных сетях.
   
2. наука о совокупности процессов получения, передачи, обработки, хранения, представления и распространения информации.
   
3. область знания о современных информационных технологиях
   

4. Персональный компьютер - это

а) устройство преобразования информации посредством выполнения управляемой программой последовательности операций.

б) устройство для решения математических задач и применения в обучении.

в) техническое средство, выполняющее строго заданный алгоритм последовательности действий.


5. К устройствам ввода информации относятся:

а) системный блок, мышь, клавиатура, графопостроитель, микрофон.

б) клавиатура, CD ROM, мышь, стриммер, монитор.

в) мышь, шар, сенсорный экран, микрофон.


6. Мультимедиа - это

а) интерактивная технология, обеспечивающая работу с неподвижными изображениями, видеоизображением, анимацией, текстом и звуковым рядом.

б) технические средства, позволяющие вводить и выводить статические и динамические графические образы.

в) программы операционной системы Windows, обеспечивающие прослушивание и просмотр звуковых и видео файлов.


7 Алгоритм – это

1. метод решения задачи, записанный по определённым правилам, обеспечивающим однозначность его понимания и механического исполнения.
   
2. способ решения задач, предусматривающий логическое достижение желаемого результата.
   
3. последовательное выполнение операций, представляющие заданные действия в математической науке.
   

8. Каким из перечисленных требований алгоритм не должен удовлетворять:

1. корректность и однозначность;
   
2. общность и многообразие;
   
3. наличие ввода исходных данных и эффективность.
   

9. В графическом алгоритме циклическое действие обозначается

1. прямоугольником.
   
2. ромбом.
   
3. овалом.
   

10. Функция называется эффективно вычислимой, если

1. существует численный алгоритм, позволяющий вычислять значения на компьютере.
   
2. существует алгоритм, позволяющий вычислять ее значения.
   
3. существует алгоритм минимизации поиска.
   

11. «Проблема распознавания выводимости алгоритмически не разрешима» - так звучит:

1. теорема Черча;
   
2. постулат Маркова;
   
3. тезис Тьюринга.
   

12. Всякий алгоритм может быть задан посредством тьюринговой функциональной схемы и реализован в соответствующей Машине Тьюринга. – это

1. теорема Тьюринга.
   
2. алгоритм Тьюринга.
   
3. тезис Тьюринга.
   

13. Процесс перестановки элементов массива в определенном порядке — это

1. сортировка;
   
2. перестановка;
   
3. поиск.
   

14. Множество — это

1. набор однотипных элементов базового типа, каким-то образом связанных друг с другом.
   
2. последовательность символов, принадлежащих конечному множеству символов, или алфавиту.
   
3. типизированный файл.
   

15. Непустое конечное множество элементов, один из которых называется корнем, а остальные делятся на несколько непересекающихся подмножеств, каждое из которых является деревом - это

1. стек;
   
2. очередь;
   
3. дерево.
   

16. Для графа G = (V,E) такой граф H = (W,U), у которого множество вершин W есть подмножество вершин графа G, W V, множество ребер/дуг U есть подмножество множества ребер/дуг E,U  E, причем если (x, y) E и x, yW, то обязательно (x, y) U - это

1. подграф;
   
2. часть дерева;
   
3. матроид.
   

17. Дерево(Tree) – это

1. граф Эйлера;
   
2. частичный граф;
   
3. связный граф без циклов.
   

18. Граф, вершинам которого приписаны метки, например номера 1, 2, ... , n или символы из какого-нибудь алфавита.

1. частичный граф;
   
2. контур;
   
3. помеченный граф.
   

19 Математическая модель – это

а) формализованное описание системы с помощью некоторого абстрактного языка.

б) математическое представление свойств системы через набор математических символов.

в) описание физического объекта с помощью математического языка.

20. Моделирование – это

а) наделение объекта или явления специфическими свойствами, позволяющими в дальнейшем исследовать эти свойства как свойства модели.

б) придание модели различных динамических форм с целью изучения ее свойств.

в) замещение исследуемого объекта его услов­ным образом или другим объектом и изучение свойств оригинала путем исследования свойств модели.

21. Компьютерное моделирование – это

а) описание математической модели на языке программирования высокого уровня.

б) математическое моделирование с использованием средств вычислительной техники.

в) использование современных информационных технологий в процессе математического моделирования.

22. Алгоритм комбинаторной оптимизации отыскания подмножества максимального веса заданного множества, элементам которого приписаны неотрицательные веса.

1. сортировочный алгоритм;
   
2. жадный алгоритм;
   
3. алгоритм поиска.
   

23. Поиск по ключу элемента в информационном множестве.

1. перечисление;
   
2. ассоциативный поиск;
   
3. связность.
   

24. Множество, элементам которого ставятся во взаимно однозначное соответствие так называемые ключи - информационные элементы без внутренней структуры, называется именованным множеством (И.м.). Замена прямого поиска по элементу поиском элемента по ключу, имеющему более простую природу и связанному определенными отношениями с другими ключами, позволяет сделать поиск (и другие операции над множеством) более эффективным. Другая причина введения такого понятия как ключ состоит в том, что содержательная трактовка элементов И.м. (в силу сложной их природы) может зависеть от характера работы с И.м., и иногда возникает необходимость в зависимости от трактовки сопоставлять элементам различные системы ключей. Как правило, ключи в И.м. вводятся таким образом, что имеется простая процедура порождения ключа по информационному элементу (например, в качестве ключей могут рассматриваться некоторые части информационных элементов). Что представляет собой множество ключей

1. геометрический граф;
   
2. подмножество;
   
3. информационное множество.
   

Ключ к тесту

Правильные ответы: 1-a, 2-b, 3-b, 4-а, 5-в, 6-а, 7-а, 8-b, 9-b, 10-b, 11-a, 12-с, 13-a, 14-a, 15-с, 16-а, 17-b, 18-c, 19-а, 20-в, 21-б, 22-b, 23-b, 24-с.


^ Шкала оценки:

«отлично» - за 90-100% правильных ответов

«хорошо» - за 75-90% правильных ответов

«удовлетворительно» - за 50-75% правильных ответов

«неудовлетворительно» - если < 50% правильных ответов


Задания для самостоятельной работы студентов

Темы рефератов

1. 
   Анализ различных подходов к введению единицы измерения информации.
   
2. История развития информатики как науки.
   
3. Наука информатика, ее современное состояние и перспективы развития.
   
4. Перспективы развития информатизации общества в России.
   
5. «Информационные» революции, их роль в развитии человеческой цивилизации.
   
6. История способов накопления, обработки и передачи информации, перспективы их развития.
   
7. Понятие «алгоритма» в математике и информатике, история и современное понимание.
   
8. Математическое моделирование в современной науке.
   
9. Суперкомпьютер и математическое моделирование.
   
10. Математического моделирования и современном естествознании.
    
11. Роль математическое моделирование в современном естествознании.
    
12. Математическое моделирование в живых процессах.
    
13. Применение методов моделирования при решении различных задач.
    
14. Объектно-ориентированные языки программирования.
    
15. Проектирование и разработка программ (метод пошаговой детализации).
    
16. Библиотека методов численного решения алгебраических уравнений.
    
17. Анализ алгоритмов решения задач, имеющих экспоненциальную сложность.
    

^ Критерии оценки самостоятельной работы

«Отлично» - если тема раскрыта полностью и в изложении имеются самостоятельные суждения или элементы новизны.

«Хорошо» - реферат соответствует теме, и она раскрыта полностью.

«Удовлетворительно» - тема раскрыта примерно на три четверти, или имеется ряд негрубых ошибок.

«Неудовлетворительно» - тема раскрыта примерно на половину, или имеются грубые ошибки.

Примерный перечень вопросов к экзамену

1. Информация, способы обработки и накопления информации.

2. Информатизация общества и образования, перспективы развития.

3. Современные информационные технологии, их виды и характеристики.

4. Информатика, её характеристика как науки.

5. Связь информатики с другими науками.

6. Интуитивное понятие алгоритма.

7. Характерные черты понятия алгоритма.

8. Теорема свойств двух эффективно перечислимых множеств.

9. Теорема Поста, пример.

10. Теорема о существовании перечислимого неразрешимого множества натуральных чисел.

11. Уточнение понятия алгоритма, основные направления развития этой проблемы.

12. Понятие эффективно вычислимой функции.

13. Операции суперпозиции над функциями.

14. Схема примитивной рекурсии.

15. Операция минимизации (m-оператор). Определение частично рекурсивной функции, общерекурсивной. Теорема Чёрча.

16. Машина Тьюринга. Основная гипотеза теории алгоритмов.

17. Нормальный алгоритм Маркова.

18. Неразрешимые алгоритмические проблемы.

19. Определение сходящегося итерационного метода.

20. Фактор - сходящийся итерационный метод.

21. Средние и асимптотические скорости сходимости.

22. Свойство скоростей сходимости о независимости выбора нормы. (Лемма 1)

23. Свойство асимптотической скорости сходимости. (Лемма 2)

24. Свойство связи скорости сходимости и оператора. (Лемма 3) Примечание к Лемме 3.

25. Определение стационарного итерационного метода.

26. Лемма сходимости последовательности матриц (Лемма 1.1, Лемма 1.2)

27. Необходимое и достаточное условие сходимости итерационного метода в пространстве E_n. (Теорема 1.1)

28. Лемма о подпространстве (Лемма 1.3, Теорема 1.2)

29. Сходимость стационарного метода для начального приближения (Теорема 1.3)

30. Фактор-сходимости итерационного метода (Теорема 2.1)

31. Достаточное условие сходимости итерационного метода (Теорема 2.2)

32. Исследование сходимости итерационных методов.

33. Числа с плавающей точкой.

34. Абсолютная и относительная погрешность.

35. Множество нормализованных чисел с плавающей запятой.

36. Определение графа.

37. Локальные характеристики графа.

38. Геометрические графы. Пути, цепи, контуры, циклы.

39. Подграф, частичный граф.

40. Матрицы графов. Матроиды.

^ КЛЮЧЕВЫЕ ПОНЯТИЯ УЧЕБНОЙ ДИСЦИПЛИНЫ (ГЛОССАРИЙ)

Алгоритм (нестрогое определение) - это точно определенная (однозначная) последовательность простых (элементарных) действий, обеспечивающих решение любой задачи из некоторого класса.

Алгоритм - это любая конечная система правил преобразования информации (данных) над любым конечным алфавитом (определение В.М.Глушкова).

^ Алгоритм структурный, если он может быть представлен стандартным функциональным блоком.

Алфавит - набор знаков, в котором установлен порядок их следования (лексикографический порядок).

^ Анализ - метод исследования, основанный на выделении отдельных компонентов системы и рассмотрении их свойств и связей.

Бит - единица измерения энтропии при двух возможных равновероятных исходах опыта.

^ Внешние запоминающие устройства (ВЗУ) - устройства, выполняющие операции, связанные с сохранения и считывания данных на материальном носителе.

Данные - это сведения, характеризующие какую-то систему, явление, процесс или объект, представленные в определенной форме и предназначенные для дальнейшего использования.

Декодирование - операция, обратная кодированию, т.е. восстановление информации в первичном алфавите по полученной последовательности кодов.

^ Дискретные устройства - те, у которых дискретны множества внутренних состояний, входных и выходных сигналов, а также множество моментов времени, в которые поступают входные сигналы, меняются внутренние состояния и выдаются выходные сигналы.

Документ - продукт, сформированный в результате исполнения некоторой программы.

^ Запись логическая - поименованная совокупность элементарных данных, имеющая смысловую завершенность.

Запись физическая - элемент поверхности носителя, на котором в соответствии с физическими принципами функционирования носителя размещаются данные, составляющие логическую запись.

^ Запоминающие устройства с произвольным доступом - те, в которых доступ к данным осуществляется по адресу ячейки, где они хранятся.

Знак - элемент некоторого конечного множества отличных друг от друга сущностей, используемого для представления дискретных сигналов.

^ Избыточность кода относительная - характеристика, показывающая, во сколько раз требуется удлинить сообщение, чтобы обеспечить его надежную (безошибочную) передачу (хранение).

Информатика - фундаментальная естественная наука, изучающая общие свойства информации, процессы, методы и средства ее обработки (сбор, хранение, преобразование, перемещение, выдача) (определение А.П. Ершова и Б.Н. Наумова).

^ Информация (статистическое определение) - это содержание сообщения, понижающего неопределенность некоторого опыта с неоднозначным исходом; убыль связанной с ним энтропии является количественной мерой информации.

^ Информационный процесс - это изменение с течением времени содержания информации или представляющего его сообщения.

Исполнитель алгоритма - это субъект или устройство, способные правильно интерпретировать описание алгоритма и выполнить содержащийся в нем перечень действий.

^ Источник информации - это субъект или объект, порождающий информацию и представляющий ее в виде сообщения.

Класс - это множество объектов, обладающих одним или несколькими одинаковыми атрибутами; эти атрибуты называются полем свойств класса.

Классификация - это распределение однотипных объектов в соответствии с выделенными свойствами (признаками, категориями, классами).

^ Конечным автомат - система , в которой X и Y являются конечными входным и выходным алфавитами, Q - конечным множеством внутренних состояний, Ψ(х, q) - функцией переходов и Θ(x, q) - функцией выходов.

Код - (1) правило, описывающее соответствие знаков или их сочетаний одного алфавита знакам или их сочетаниям другого алфавита.

(2) знаки вторичного алфавита, используемые для представления знаков или их сочетаний первичного алфавита.

Кодирование - перевод информации, представленной посредством первичного алфавита, в последовательность кодов.

^ Массив - упорядоченная линейная совокупность однородных данных.

Материальный носитель информации - материальный объект или среда, которые служат для представления или передачи информации.

^ Машинное слово - (1) совокупность двоичных элементов, обрабатываемая как единое целое в устройствах и памяти компьютера; (2) данные, содержащиеся в одной ячейке памяти компьютера.

Моделирование - построение упрощенного варианта прототипа, обеспечивающего приемлемую для данной задачи точность описания его строения или поведения.

^ Моделирование имитационное - метод исследования, основанный на том, что изучаемый прототип заменяется ее имитатором - натурной или информационной моделью - с которым и проводятся эксперименты с целью получения информации об особенностях прототипа.

Модель - это объединение составных частей (элементов) и связей между ними, отражающая существенные для данной задачи свойства прототипа.

^ Модель математическая - это множество элементов произвольной природы, на которых определено конечное множество отношений.

Модель проверяемая - та, у которой результат ее использования может быть соотнесен (сравнен) с прототипом/

^ Набор знаков - набор знаков, в котором установлен порядок их следования.

Объект - простейшая составляющая сложного объединения, обладающая следующими качествами:

• в рамках данной задачи он не имеет внутреннего устройства и рассматривается как единое целое;

• у него имеется набор свойств (атрибутов), которые изменяются в результате внешних воздействий;

• он идентифицирован, т.е. имеет имя (название).

^ Правило интерпретации сообщения - соотношение (закон), устанавливающий соответствие между сообщением и содержащейся в нем информацией.

Приемник информации - это субъект или объект, способный принять сообщение и правильно его интерпретировать.

Программа - последовательность действий по обработке информации исполнителем «компьютер».

^ Программный объект - это совокупность некоторого набора данных и процедур, определяющих возможности их изменения.

Свойство (атрибут) - качество объекта, для которого установлена мера.

^ Сигнал - изменение характеристики материального носителя, которое используется для представления информации.

Сигнал непрерывный (аналоговый) - его параметр может принимать любое значение в пределах некоторого интервала.

^ Сигнал дискретный - его параметр может принимать конечное число значений в пределах некоторого интервала.

Синтез - (1) метод исследования (изучения) системы в целом (т.е. компонентов в их взаимосвязи), сведение в единое целое данных, полученных в результате анализа; (2) создание системы путем соединения отдельных компонентов на основании законов, определяющих их взаимосвязь.

Система - совокупность взаимодействующих компонентов, каждый из которых в отдельности не обладает свойствами системы в целом, но является ее неотъемлемой частью.

^ Система счисления - это правило записи чисел с помощью заданного набора специальных знаков - цифр.

Система счисления позиционная - те, в которых значение каждой цифры в изображении числа определяется ее положением (позицией) в ряду других цифр.

^ Сложность алгоритма временная - это функция, которая каждой входной длине слова n ставит в соответствие максимальное (для всех конкретных однотипных задач длиной n) время, затрачиваемое алгоритмом на ее решение.

Сообщение - последовательность сигналов.

Сообщения шенноновские - те, в которых вероятность появления каждого отдельного знака не меняется со временем.

^ Структура данных - перечень объединяемых одиночных данных, их характеристики, а также особенности связей между ними образуют.

Схема - это комбинация базисных элементов, в которой выходы одних элементов присоединяются к входам других.

Тезиса Тьюринга: всякий алгоритм может быть задан посредством тьюринговои функциональной схемы и реализован в соответствующей машине Тьюринга.

^ Тезис Черча: Класс алгоритмически (или машинно) вычислимых частичных числовых функций совпадает с классом всех частично рекурсивных функций.

Теорема Бома-Джакопини: любой алгоритм может быть сведен к структурному..

^ Теорема Котельникова (теорема отсчетов): Непрерывный сигнал можно полностью отобразить и точно воссоздать по последовательности измерений или отсчетов величины этого сигнала через одинаковые интервалы времени, меньшие или равные половине периода максимальной частоты, имеющейся в сигнале.

^ Терема Шеннона (первая): при отсутствии помех передачи всегда возможен такой вариант кодирования сообщения, при котором среднее число знаков кода, приходящихся на один знак кодируемого алфавита, будет сколь угодно близко к отношению средних информации на знак первичного и вторичного алфавитов.

^ Терема Шеннона (вторая): при передаче информации по каналу с шумом всегда имеется способ кодирования, при котором сообщение будет передаваться со сколь угодно высокой достоверностью, если скорость передачи не превышает пропускной способности канала.

^ Условие Фано: неравномерный код может быть однозначно декодирован, если никакой из кодов не совпадает с началом какого-либо иного более длинного кода.

Файл - определенным образом оформленная совокупность физических записей, рассматриваемая как единое целое и имеющая описание в системе хранения информации.

^ Формальная грамматика - система правил, описывающая множество конечных последовательностей символов формального алфавита.

Формальный исполнитель - субъект или устройство, способные воспринимать и анализировать указания алгоритма, изменять в соответствии с ним свое состояние, а также обладающие механизмом исполнения, способным производить пошаговую обработку информации.

^ Формальная система - это математическая модель, задающая множество дискретных компонентов путем описания исходных объектов и правил построения новых компонентов из исходных и уже построенных.

^ Функциональный блок - часть алгоритма, организованная как простое действие, т.е. имеющая один вход (выполнение начинается всегда с одного и того же действия) и один выход.

^ Черный ящик - это система, строение которой неизвестно пользователю, однако, известна ее реакция на определенные внешние воздействия.

Ширина полосы пропускания - интервал частот, используемый данным каналом связи для передачи сигналов.

^ Экономичность системы счисления - то количество чисел, которое можно записать в данной системе с помощью определенного количества цифр.

Энтропия есть мера неопределенности опыта, в котором проявляются случайные события, равная средней неопределенности всех возможных его исходов.


^ ПОЛНЫЙ СПИСОК РЕКОМЕНДОВАННОЙ ЛИТЕРАТУРЫ

Основная литература

1) Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. - М.: Мир, 1979.

2) Басакер Р., Саати Т. Конечные графы и сети. - М.: Наука, 1975.

3) Белов В.В., Воробьев Е.М., Шаталов В.Е. Теория графов. - М.: Высш. шк., 1976.

4) Берж К. Теория графов и ее применения. - М.: Изд-во иностр. лит., 1962.

5) Евстигнеев В.А. Применение теории графов в программировании. - М.: Наука, 1985.

6) Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. - Новосибирск: Наука, 1994.

7) Ершов А.П. Введение в теоретическое программирование. Беседы о методе. - М.: Наука, 2004.

8) Зыков А.А. Теория конечных графов. - Новосибирск: Наука, 1969.

9) Зыков А.А. Основы теории графов. - М.: Наука, 1984.

10) Касьянов В.Н. Оптимизирующие преобразования программ. - М.: Наука, 1988.

11) Касьянов В.Н., Потосин И.В. Методы построения трансляторов. - Новосибирск: Наука, 1986.

12) Кнут Д. Искусство программирования для ЭВМ. Т. 3. Сортировка и поиск. - М.: Мир, 2002.

Дополнительная литература

1) Демидович Б.Н., Марон И.А. «Основы вычислительной математики». М. 1978 г.

2) Березин И.С., Жидков Н.П. «Методы вычислений», 4.1. М. 1966 г.

3) Самарский А.А. Введение в численные методы. - M. 1987 г.

4) Марчук Г.И., Кузнецов Ю.А. Итерационные методы и квадратичные функционалы. – Новосибирск: Наука, 1972 г.

5) Жуков М.Ю., Маркман Г.С. Лабораторные задания по методам вычислений для III курса. ГРУ, 1979 г.

6) Мудров А.Е. Численные методы для ПЭВМ на языках Бейсик, Фортран и Паскаль. – Томск: МП «Раско», 1992 г.

7) Беленькая Л.Х., Овчинникова С.Н. Методические указания: вычислительная погрешность при расчетах на ЭВМ, ГРУ, 1994 г.

8) Файнстейн В. А., Основы теории информации. – М.: ИЛ, 1960. – 233с.

9) Вербицкий В.М. Численные методы: линейная алгебра и нелинейные уравнения. – М.: Высшая школа, 2000 г.

10) Каханер Дэвир и др. Численные методы и программное обеспечение. М. 1998 г.

11) Рапитин В.И., Первушин В.Е. Практическое руководство по методам вычислений с приложением программ для персонального компьютера. М. 1989 г.

12) Лавров И.А., Максимов Л.А. Задачи по теории множеств, математической логике и теории алгоритмов. М. 1995 г.

13) Лихтарников Л.М., Сукачева Т.Г. Математическая логика, М. 1988 г.

14) Шагинян В.И. Математическая логика, теория алгоритмов. М. 1985г.