WWW.PROGRAMMA.X-PDF.RU
БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Учебные и рабочие программы
 


«ПРОГРАММА-МИНИМУМ Введение В основу настоящей программы положены следующие дисциплины: математические основы программирования; вычислительные машины, системы и сети; языки и системы ...»

ПРОГРАММА-МИНИМУМ

Введение

В основу настоящей программы положены следующие дисциплины: математические основы

программирования; вычислительные машины, системы и сети; языки и системы программирования;

технология разработки программного обеспечения; операционные системы; методы хранения и

доступа к данным, организация баз данных и знаний; защита данных и программных систем.

Программа разработана экспертным советом Высшей аттестационной комиссии Министерства образования Российской Федерации по управлению, вычислительной технике и информатике при участии Московского государственного университета им. М.В. Ломоносова, Московского авиационного института (государственного технического университета), Московского государственного энергетического института (технического университета) и Института системного программирования РАН.



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

Понятие сложности алгоритмов. Классы P и NP. Полиномиальная сводимость задач. Теорема Кука об NP-полноте задачи выполнимости булевой формулы. Примеры NP-полных задач, подходы к их решению. Точные и приближенные комбинаторные алгоритмы.

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

Автоматы. Эксперименты с автоматами. Алгебры регулярных выражений. Теорема Клини о регулярных языках.

Алгебра логики. Булевы функции, канонические формы задания булевых функций. Понятие полной системы. Критерий полноты Поста. Минимизация булевых функций в классах нормальных форм.

Исчисление предикатов первого порядка. Понятие интерпретации. Выполнимость и общезначимость формулы первого порядка. Понятие модели. Теорема о полноте исчисления предикатов первого порядка.

Отношения и функции. Отношение эквивалентности и разбиения. Фактор множества.

Отношения частичного порядка. Теоретико-множественное и алгебраическое определения решетки, их эквивалентность. Свойства решеток. Булевы решетки. Полные решетки.

Формальные языки и способы их описания. Классификация формальных грамматик. Их использование в лексическом и синтаксическом анализе.

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

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

Коды с исправлением ошибок. Алфавитное кодирование. Методы сжатия информации.

Основы криптографии. Задачи обеспечения конфиденциальности и целостности информации.

Теоретико-информационный и теоретико-сложностный подходы к определению криптографической стойкости. Американский стандарт шифрования DES и российский стандарт шифрования данных ГОСТ 28147-89. Системы шифрования с открытым ключом (RSA). Цифровая подпись. Методы генерации и распределения ключей.

2. Вычислительные машины, системы и сети Архитектура современных компьютеров. Организации памяти и архитектура процессора современных вычислительных машин. Страничная и сегментная организация виртуальной памяти.

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

Классификация вычислительных систем (ВС) по способу организации параллельной обработки. Многопроцессорные и многомашинные комплексы. Вычислительные кластеры.

Проблемно-ориентированные параллельные структуры: матричные ВС, систолические структуры, нейросети.

Назначение, архитектура и принципы построения информационно – вычислительных сетей (ИВС). Локальные и глобальные ИВС, технические и программные средства объединения различных сетей.

Методы и средства передачи данных в ИВС, протоколы передачи данных.

Особенности архитектуры локальных сетей (Ethernet, Token Ring, FDDI).

Сеть Internet, доменная организация, семейство протоколов TCP/IP. Информационновычислительные сети и распределенная обработка информации.





3. Языки и системы программирования.

Технология разработки программного обеспечения Языки программирования. Процедурные языки программирования (Фортран, Си), Функциональные языки программирования (Лисп), логическое программирование (Пролог), объектно-ориентированные языки программирования (Ява).

Процедурные языки программирования. Основные управляющие конструкции, структура программы. Работа с данными: переменные и константы, типы данных (булевский, целочисленные, плавающие, символьные, типы диапазона и перечисления, указатели), структуры данных (массивы и записи). Процедуры (функции): вызов процедур, передача параметров (по ссылке, по значению, по результату), локализация переменных, побочные эффекты. Обработка исключительных ситуаций.

Библиотеки процедур и их использование.

Объектно-ориентированное программирование. Классы и объекты, наследование, интерфейсы.

Понятие об объектном окружении. Рефлексия. Библиотеки классов. Средства обработки объектов (контейнеры и итераторы).

Распределенное программирование. Процессы и их синхронизация. Семафоры, мониторы Хоара. Объектно-ориентированное распределенное программирование. CORBA. Параллельное программирование над общей памятью. Нити. Стандартный интерфейс Open MP. Распараллеливание последовательных программ. Параллельное программирование над распределенной памятью.

Парадигмы SPMD и MIMD. Стандартный интерфейс MPI.

Основы построения трансляторов. Структура оптимизирующего транслятора. Промежуточные представления программы: последовательность символов, последовательность лексем, синтаксическое дерево, абстрактное синтаксическое дерево. Уровни промежуточного представления: высокий, средний, низкий. Формы промежуточного представления.

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

Системы lex и yacc. Система Gentle.

Оптимизация программ при их компиляции. Оптимизация базовых блоков, чистка циклов.

Анализ графов потока управления и потока данных. Отношение доминирования и его свойства, построение границы области доминирования вершины, выделение сильно связанных компонент графа. Построение графа зависимостей. Перевод программы в SSA-представление и обратно.

Глобальная и межпроцедурная оптимизация.

Генерация объектного кода в компиляторах. Перенастраиваемые (retargetable) компиляторы, gcc (набор компиляторов Gnu). Переработка термов (term rewriting). Применение оптимизационных эвристик (целочисленное программирование, динамическое программирование) для автоматической генерации генераторов объектного кода (системы BEG, Iburg и др.).

Машинно-ориентированные языки, язык ассемблера. Представление машинных команд и констант. Команды транслятору. Их типы, принципы реализации. Макросредства, макровызовы, языки макроопределений, условная макрогенерация, принципы реализации.

Системы программирования (СП), типовые компоненты СП: языки, трансляторы, редакторы связей, отладчики, текстовые редакторы. Модульное программирование. Типы модулей. Связывание модулей по управлению и данным.

Пакеты прикладных программ (ППП). Системная часть и наполнение. Языки общения с ППП.

Машинная графика. Средства поддержки машинной графики. Графические пакеты.

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

Отладка, тестирование, верификация и оценивание сложности программ. Генерация тестов.

Системы генерации тестов. Срезы программ (slice, chop) и их применение при отладке программ и для генерации тестов.

Методы спецификации программ. Методы проверки спецификации. Схемное, структурное, визуальное программирование. Разработка пользовательского интерфейса, стандарт CUA, мультимедийные среды интерфейсного взаимодействия.

4. Операционные системы Режимы функционирования вычислительных систем, структура и функции операционных систем. Основные блоки и модули. Основные средства аппаратной поддержки функций операционных систем (ОС): система прерываний, защита памяти, механизмы преобразования адресов в системах виртуальной памяти, управление каналами и периферийными устройствами.

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

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

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

Операционные средства управления процессами при их реализации на параллельных и распределенных вычислительных системах и сетях: стандарты и программные средства PVM, MPI, OpenMP, POSIX.

Одноуровневые и многоуровневые дисциплины циклического обслуживания процессов на центральном процессоре, выбор кванта.

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

Управление внешними устройствами.

Оптимизация многозадачной работы компьютеров. Операционные системы Windows, Unix, Linux. Особенности организации, предоставляемые услуги пользовательского взаимодействия.

Операционные средства управления сетями. Эталонная модель взаимодействия открытых систем ISO/OSI. Маршрутизация и управление потоками данных в сети. Локальные и глобальные сети. Сетевые ОС, модель клиент — сервер, средства управления сетями в ОС UNIX, Windows NT.

Семейство протоколов TCP/IP, структура и типы IP-адресов, доменная адресация в Internet.

Транспортные протоколы TCP, UDP.

Удаленный доступ к ресурсам сети. Организация электронной почты, телеконференций.

Протоколы передачи файлов FTP и HTTP, язык разметки гипертекста HTML, разработка WEBстраниц, WWW-серверы.

5. Методы хранения данных и доступа к ним.

Организация баз данных и знаний Концепция типа данных. Абстрактные типы данных. Объекты (основные свойства и отличительные признаки).

Основные структуры данных, алгоритмы обработки и поиска. Сравнительная характеристика методов хранения и поиска данных.

Основные понятия реляционной и объектной моделей данных.

Теоретические основы реляционной модели данных (РДМ). Реляционная алгебра, реляционное исчисление. Функциональные зависимости и нормализация отношений.

CASE-средства и их использование при проектировании базы данных (БД).

Организация и проектирование физического уровня БД. Методы индексирования.

Обобщенная архитектура, состав и функции системы управления базой данных (СУБД).

Характеристика современных технологий БД. Примеры соответствующих СУБД.

Основные принципы управления транзакциями, журнализацией и восстановлением.

Язык баз данных SQL. Средства определения и изменения схемы БД, определения ограничений целостности. Контроль доступа. Средства манипулирования данными.

Стандарты языков SQL. Интерактивный, встроенный, динамический SQL.

Основные понятия технологии клиент—сервер. Характеристика SQL-сервера и клиента.

Сетевое взаимодействие клиента и сервера.

Информационно-поисковые системы. Классификация. Методы реализации и ускорения поиска.

Методы представления знаний: процедурные представления, логические представления, семантические сети, фреймы, системы продукций. Интегрированные методы представления знаний.

Языки представления знаний. Базы знаний.

Экспертные системы (ЭС). Области применения ЭС. Архитектура ЭС. Механизмы вывода, подсистемы объяснения, общения, приобретения знаний ЭС. Жизненный цикл экспертной системы.

Примеры конкретных ЭС.

6. Защита данных и программных систем Аппаратные и программные методы защиты данных и программ. Защита данных и программ с помощью шифрования.

Защита от несанкционированного доступа в OC Windows NT. Система безопасности и разграничения доступа к ресурсам в Windows NT. Файловая система NFTS и сервисы Windows NT.

Защита от несанкционированного копирования. Методы простановки некопируемых меток, настройка устанавливаемой программы на конкретный компьютер, настройка на конфигурацию оборудования.

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

Защита информации в вычислительных сетях Novell Netware, Windows NT и др.

7. Аналитические вычисления

Коммутативные кольца. Идеалы. Факторкольца. Евклидовы кольца. Кольца главных идеалов.

Евклидова норма кольца. Алгоритм Евклида. Решение уравнений в кольцах вычетов. Решение диофантовых уравнений.

Методы гомоморфных образов. КТО, решение КЗО для целых чисел в форме Лагранжа и в форме Ньютона.

Решение КЗО для полиномов в форме Лагранжа и в форме Ньютона.

Рациональные вычисления с отображением в Zp. Алгоритм Ванга восстановления дробей.

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

Матричные алгоритмы в коммутативных областях. Алгоритм Доджсона. Решение систем линейных уравнений. Вычисление присоединенной матрицы.

Быстрые алгоритмы умножения матриц и полиномов. Алгоритмы Карацубы и Штрассена.

Вопросы для кандидатского экзамена по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей»

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

2. Понятие сложности алгоритмов. Классы P и NP. Полиномиальная сводимость задач. Теорема Кука об NP-полноте задачи выполнимости булевой формулы. Примеры NP-полных задач, подходы к их решению. Точные и приближенные комбинаторные алгоритмы.

3. Примеры эффективных (полиномиальных) алгоритмов: быстрые алгоритмы поиска и сортировки; полиномиальные алгоритмы для задач на графах и сетях (поиск в глубину и ширину, о минимальном остове, о кратчайшем пути, о назначениях).

4. Автоматы. Эксперименты с автоматами. Алгебры регулярных выражений. Теорема Клини о регулярных языках.

5. Алгебра логики. Булевы функции, канонические формы задания булевых функций. Понятие полной системы. Критерий полноты Поста. Минимизация булевых функций в классах нормальных форм.

6. Исчисление предикатов первого порядка. Понятие интерпретации. Выполнимость и общезначимость формулы первого порядка. Понятие модели. Теорема о полноте исчисления предикатов первого порядка.

7. Отношения и функции. Отношение эквивалентности и разбиения. Фактор множества.

Отношения частичного порядка. Теоретико-множественное и алгебраическое определения решетки, их эквивалентность. Свойства решеток. Булевы решетки. Полные решетки.

8. Формальные языки и способы их описания. Классификация формальных грамматик. Их использование в лексическом и синтаксическом анализе.

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

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

11. Коды с исправлением ошибок. Алфавитное кодирование. Методы сжатия информации.

12. Основы криптографии. Задачи обеспечения конфиденциальности и целостности информации.

Теоретико-информационный и теоретико-сложностный подходы к определению криптографической стойкости.

13. Американский стандарт шифрования DES и российский стандарт шифрования данных ГОСТ 28147-89. Системы шифрования с открытым ключом (RSA). Цифровая подпись. Методы генерации и распределения ключей.

14. Архитектура современных компьютеров. Организации памяти и архитектура процессора современных вычислительных машин. Страничная и сегментная организация виртуальной памяти. Кэш-память. Командный и арифметический конвейеры, параллельное выполнение независимых команд, векторные команды.

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

16. Классификация вычислительных систем (ВС) по способу организации параллельной обработки. Многопроцессорные и многомашинные комплексы. Вычислительные кластеры.

Проблемно-ориентированные параллельные структуры: матричные ВС, систолические структуры, нейросети.

17. Назначение, архитектура и принципы построения информационно – вычислительных сетей (ИВС). Локальные и глобальные ИВС, технические и программные средства объединения различных сетей.

18. Методы и средства передачи данных в ИВС, протоколы передачи данных.

19. Особенности архитектуры локальных сетей (Ethernet, Token Ring, FDDI).

20. Сеть Internet, доменная организация, семейство протоколов TCP/IP. Информационновычислительные сети и распределенная обработка информации.

21. Языки программирования. Процедурные языки программирования (Фортран, Си), Функциональные языки программирования (Лисп), логическое программирование (Пролог), объектно-ориентированные языки программирования (Ява).

22. Процедурные языки программирования. Основные управляющие конструкции, структура программы. Работа с данными: переменные и константы, типы данных (булевский, целочисленные, плавающие, символьные, типы диапазона и перечисления, указатели), структуры данных (массивы и записи).

23. Процедуры (функции): вызов процедур, передача параметров (по ссылке, по значению, по результату), локализация переменных, побочные эффекты. Обработка исключительных ситуаций. Библиотеки процедур и их использование.

24. Объектно-ориентированное программирование. Классы и объекты, наследование, интерфейсы.

Понятие об объектном окружении. Рефлексия. Библиотеки классов. Средства обработки объектов (контейнеры и итераторы).

25. Распределенное программирование. Процессы и их синхронизация. Семафоры, мониторы Хоара. Объектно-ориентированное распределенное программирование. CORBA. Параллельное программирование над общей памятью. Нити.

26. Стандартный интерфейс Open MP. Распараллеливание последовательных программ.

Параллельное программирование над распределенной памятью. Парадигмы SPMD и MIMD.

Стандартный интерфейс MPI.

27. Основы построения трансляторов. Структура оптимизирующего транслятора. Промежуточные представления программы: последовательность символов, последовательность лексем, синтаксическое дерево, абстрактное синтаксическое дерево. Уровни промежуточного представления: высокий, средний, низкий. Формы промежуточного представления.

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

29. Нисходящие (LL(1)-грамматики) и восходящие (LR(1)-грамматики) методы синтаксического анализа. Атрибутные грамматики и семантические программы, построение абстрактного синтаксического дерева. Автоматическое построение лексических и синтаксических анализаторов по формальным описаниям грамматик. Системы lex и yacc. Система Gentle.

30. Оптимизация программ при их компиляции. Оптимизация базовых блоков, чистка циклов.

Анализ графов потока управления и потока данных. Отношение доминирования и его свойства, построение границы области доминирования вершины, выделение сильно связанных компонент графа. Построение графа зависимостей. Перевод программы в SSA-представление и обратно. Глобальная и межпроцедурная оптимизация.

31. Генерация объектного кода в компиляторах. Перенастраиваемые (retargetable) компиляторы, gcc (набор компиляторов Gnu). Переработка термов (term rewriting). Применение оптимизационных эвристик (целочисленное программирование, динамическое программирование) для автоматической генерации генераторов объектного кода (системы BEG, Iburg и др.).

32. Машинно-ориентированные языки, язык ассемблера. Представление машинных команд и констант. Команды транслятору. Их типы, принципы реализации. Макросредства, макровызовы, языки макроопределений, условная макрогенерация, принципы реализации.

33. Системы программирования (СП), типовые компоненты СП: языки, трансляторы, редакторы связей, отладчики, текстовые редакторы. Модульное программирование. Типы модулей.

Связывание модулей по управлению и данным.

34. Пакеты прикладных программ (ППП). Системная часть и наполнение. Языки общения с ППП.

Машинная графика. Средства поддержки машинной графики. Графические пакеты.

35. Технология разработки и сопровождения программ. Жизненный цикл программы. Этапы разработки, степень и пути их автоматизации. Обратная инженерия. Декомпозиционные и сборочные технологии, механизмы наследования, инкапсуляции, задания типов. Модули, взаимодействие между модулями, иерархические структуры программ.

36. Отладка, тестирование, верификация и оценивание сложности программ. Генерация тестов.

Системы генерации тестов. Срезы программ (slice, chop) и их применение при отладке программ и для генерации тестов.

37. Методы спецификации программ. Методы проверки спецификации. Схемное, структурное, визуальное программирование. Разработка пользовательского интерфейса, стандарт CUA, мультимедийные среды интерфейсного взаимодействия.

38. Режимы функционирования вычислительных систем, структура и функции операционных систем. Основные блоки и модули. Основные средства аппаратной поддержки функций операционных систем (ОС): система прерываний, защита памяти, механизмы преобразования адресов в системах виртуальной памяти, управление каналами и периферийными устройствами.

39. Виды процессов и управления ими в современных ОС. Представление процессов, их контексты, иерархии порождения, состояния и взаимодействие.

40. Многозадачный (многопрограммный) режим работы. Команды управления процессами.

Средства взаимодействия процессов. Модель клиент-сервер и ее реализация в современных ОС.

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

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

43. Операционные средства управления процессами при их реализации на параллельных и распределенных вычислительных системах и сетях: стандарты и программные средства PVM, MPI, OpenMP, POSIX.

44. Одноуровневые и многоуровневые дисциплины циклического обслуживания процессов на центральном процессоре, выбор кванта.

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

46. Управление внешними устройствами.

47. Оптимизация многозадачной работы компьютеров. Операционные системы Windows, Unix, Linux. Особенности организации, предоставляемые услуги пользовательского взаимодействия.

48. Операционные средства управления сетями. Эталонная модель взаимодействия открытых систем ISO/OSI. Маршрутизация и управление потоками данных в сети.

49. Локальные и глобальные сети. Сетевые ОС, модель клиент — сервер, средства управления сетями в ОС UNIX, Windows NT. Семейство протоколов TCP/IP, структура и типы IP-адресов, доменная адресация в Internet. Транспортные протоколы TCP, UDP.

50. Удаленный доступ к ресурсам сети. Организация электронной почты, телеконференций.

Протоколы передачи файлов FTP и HTTP, язык разметки гипертекста HTML, разработка WEBстраниц, WWW-серверы.

51. Коммутативные кольца. Идеалы. Факторкольца. Евклидовы кольца. Кольца главных идеалов.

52. Евклидова норма кольца. Алгоритм Евклида. Решение уравнений в кольцах вычетов. Решение диофантовых уравнений.

53. Методы гомоморфных образов. КТО, решение КЗО для целых чисел в форме Лагранжа и в форме Ньютона.

54. Решение КЗО для полиномов в форме Лагранжа и в форме Ньютона.

55. Рациональные вычисления с отображением в Zp. Алгоритм Ванга восстановления дробей.

Решение систем линейных уравнений с рациональными коэффициентами с помощью pадического подъема.

56. Матричные алгоритмы в коммутативных областях. Алгоритм Доджсона. Решение систем линейных уравнений. Вычисление присоединенной матрицы.

57. Быстрые алгоритмы умножения матриц и полиномов. Алгоритмы Карацубы и Штрассена.

Рекомендуемая литература. Основная литература:

1. Панкратьев Е.В. Элементы компьютерной алгебры. М.: Бином. 2007

2. Малашонок Г.И., Переславцева О.Н., Сажнева О.А., Старов М.В. Алгоритмы компьютерной алгебры. Часть 1. Учебное пособие. Тамбов: Издательский дом ТГУ им. Г.Р. Державина, 2008.

3. Г.И. Малашонок, М.В. Старов, А.А. Бетин, О.Н. Переславцева, А.Г. Поздникин Параллельная компьютерная алгебра. Часть 1. Учебное пособие. Тамбов: Издательский дом ТГУ им. Г.Р. Державина, 2009.

4. Иваницкий А.Ю., Васильев Ф.П. Линейное программирование. Факториал Пресс, 2008.

5. Ширяев В.И., Ширяев Е.В.Принятие решений: Динамические задачи. Управление фирмой:

уч.пос. ЛИБРОКОМ, 2009

6. Евгенев Г.Б. Интеллектуальные системы проектирования: Учебное пособие. М.: Изд-во МГТУ им. Н.Э. Баумана, 2009

7. Кнут, Д.Э. Искусство программирования: [Пер. с англ.] / Д.Э. Кнут ; Под общ. ред. Ю.В.

Козаченко.— М. и др. : Вильямс, 2005-Т.1: Основные алгоритмы.— [3-е изд.].— 2005.

8. Кнут, Д.Э. Искусство программирования : [Пер. с англ.] / Д.Э. Кнут ; Под общ. ред. Ю.В.

Козаченко.— М. и др. : Вильямс, Т.2: Получисленные алгоритмы.— [3-е изд.].— 2004.

9. Кнут, Д.Э. Искусство программирования: [Пер. с англ.] / Д.Э. Кнут ; Под общ. ред.

Ю.В.Козаченко.— М. и др. : Вильямс, Т.3: Сортировка и поиск.— 2-е изд. — 2005.

10. Малашонок Г.И. Руководство по языку «MATHPAR»: учебное пособие. Тамбов: Издательский дом ТГУ им. Г.Р. Державина, 2013.

11. Malashonok G.I. MATHPAR Language Guide: Study Guide. Tambov: the Publishing House of TSU named after G.R. Derzhavin.

12. Малашонок Г.И., Переславцева О.Н., Сажнева О.А., Старов М.В. Алгоритмы компьютерной алгебры. Часть 1. Учебное пособие. Тамбов: Издательский дом ТГУ им. Г.Р. Державина, 2008.

13. Малашонок Г.И. Дискретная математика с элементами компьютерной алгебры. Учебное пособие. Тамбов: Издательский дом ТГУ им. Г.Р. Державина, 2006.

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

1. Малашонок Г.И., Переславцева О.Н., Рыбаков М.А. Параллельное программирование на OpenMPI Java с приложением в Math Partner:. Учеб. пособие в 3 ч. Часть 1. Тамбов: Изд. дом ТГУ им. Г.Р. Державина, 2014.

2. Малашонок Г.И., Бетин А.А., Рыбаков М.А., Смирнов Р.А. Параллельная компьютерная алгебра: учебное пособие в 3 ч. Часть 3. Тамбов: Издательский дом ТГУ им. Г.Р. Державина, 2012.

3. Малашонок Г.И., Бетин А.А., Лапаев А.О. Параллельная компьютерная алгебра: учебное пособие в 3 ч. Часть 2. Тамбов: Издательский дом ТГУ им. Г.Р. Державина, 2011.

4. Малашонок Г.И., Старов М.В., Бетин А.А., Переславцева О.Н., Поздникин А.Г.

Параллельная компьютерная алгебра: учебное пособие в 3 ч. Часть 1. Тамбов: Издательский дом ТГУ им. Г.Р. Державина, 2010.

5. Малашонок Г.И., Валеев Ю.Д., Зуев М.С. Параллельная компьютерная алгебра. Введение.

Учебное пособие. Тамбов: Издательский дом ТГУ им. Г.Р. Державина, 2006.

6. Малашонок Г.И., Валеев Ю.Д., Зуев М.С. Параллельные вычисления на бинарных деревьях в задачах компьютерной алгебры. Учебное пособие. Тамбов: Издательский дом ТГУ им. Г.Р.

Державина, 2006.

Программа обсуждена и утверждена на заседании кафедры математического анализа Тамбовского государственного университета им. Г.Р.Державина 10 октября 2014 года, протокол № 3.

Зав. кафедрой математического анализа, д.ф.-м.н., проф. В.Ф. Молчанов



Похожие работы:

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Кемеровский государственный университет» Новокузнецкий институт (филиал) Факультет информационных технологий Рабочая программа дисциплины Б1.В.ОД.2. ПРАВОВЕДЕНИЕ Направление подготовки 09.03.01 Информатика и вычислительная техника Направленность (профиль) подготовки Автоматизированные системы обработки информации и управления Степень...»

«Балаковский инженерно-технологический институт филиал федерального государственного автономного образовательного учреждения высшего профессионального образования «Национальный исследовательский ядерный университет «МИФИ» УТВЕРЖДЕНА Зам. руководителя по УР В.М. Земсков (подпись) «_» 2015 г. РАБОЧАЯ ПРОГРАММА по дисциплине «Б2.П.2 Преддипломная практика» направления подготовки 27.03.04 Управление в технических системах Профиль «Управление и информатика в технических системах» форма обучения –...»

«Проект Указ Пре зидент а Ре спублики Беларусь № г. М и н с к О Государственной программе инновационного развития Республики Беларусь на 2011–2015 годы В целях системной модернизации национальной экономики иповышения конкурентоспособности белорусских товаров (работ, услуг) на внутреннем и мировом рынках постановляю:1. Утвердить прилагаемую Государственную программу инновационного развития Республики Беларусь на 2011–2015 годы* (далее — Государственная программа). 2. Определить заказчиками...»

«Муниципальное общеобразовательное учреждение «Большеврудская средняя общеобразовательная школа» Обсуждено на МО учителей Согласовано «Утверждено» естественнонаучного цикла Зам. директора по УВР Приказ № 200 _ М.В.Пятницкая от 27 августа 2015 г. РАБОЧАЯ ПРОГРАММА по элективному учебному курсу Подготовка к ЕГЭ по информатике и ИКТ 10 класс базовый уровень Разработана Васениной Верой Константиновной учителем информатики первой квалификационной категории д. Большая Вруда, 2015 год Рабочая...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Кемеровский государственный университет» Новокузнецкий институт (филиал) Физико-математический факультет УТВЕРЖДАЮ Декан факультета И.О. Фамилия 201_ г. Рабочая программа дисциплины (модуля) Б1.В.ОД.2 Культурология Направление подготовки (специальность) 09.03.03 Прикладная информатика Направленность (профиль) подготовки Прикладная...»

«Муниципальное образовательное учреждение высшего профессионального образования «Южно-Уральский профессиональный институт» УТВЕРЖДАЮ Проректор по УР Н.Л. Пальниченко «_»_2015_г. Программа вступительного испытания по предмету «Математика» Программа вступительных испытаний по математике для абитуриентов, поступающих на направления подготовки 080100.62 «Экономика», 080200.62 «Менеджмент», 230100.62 «Информатика и вычислительная техника» Челябинск ОДОБРЕНА Составлена в соответствии с Порядком...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное бюджетное образовательное учреждение высшего образования «ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ» Финансово-экономический институт УТВЕРЖДАЮ Директор Финансово-экономического института _ /Лазутина Д.В./ _ 2015 г. ЭКОНОМИКА ОБРАЗОВАНИЯ Учебно-методический комплекс. Рабочая программа для студентов направления 050100.62 «Педагогическое образование (с двумя профилями подготовки)» (Математика, информатика) очной формы...»

«Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Тихоокеанский государственный университет» В. В. Стригунов, Н. И. Шадрина, Н. Д. Берман ОСНОВЫ РАБОТЫ С ТЕКСТОВЫМ РЕДАКТОРОМ MICROSOFT WORD 2010 Хабаровск Издательство ТОГУ УДК 681.518(076.5) Основы работы с текстовым редактором Microsoft Word 2010 : лабораторный практикум / В. В. Стригунов, Н. И. Шадрина, Н. Д. Берман. – Хабаровск :...»

«Санкт-Петербургский государственный университет РАБОЧАЯ ПРОГРАММА процедуры государственной итоговой аттестации МЕЖДИСЦИПЛИНАРНЫЙ ЭКЗАМЕН ПО НАПРАВЛЕНИЮ «НАУКИ О ЗЕМЛЕ». ГЕОИНФОРМАТИКА Язык обучения: русский Трудоемкость в зачетных единицах: 3 Регистрационный номер рабочей программы: 045180 Санкт-Петербург Раздел 1. Характеристики учебных занятий Цели и задачи процедуры государственной итоговой аттестации 1.1. Целью итогового междисциплинарного экзамена по направлению «Науки о земле»....»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное автономное образовательное учреждение высшего образования «Крымский федеральный университет имени В.И. Вернадского» ТАВРИЧЕСКАЯ АКАДЕМИЯ Факультет Философский Кафедра Политических науки и международных отношений УТВЕРЖДАЮ Заместитель директора по учебной работе А.М. Тимохин _20_ г. РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ Б1.Б.9 Социология по направлению подготовки 38.03.05 Бизнес-информатика квалификация (степень)...»

«Приложение 1 к образовательной программе среднего общего образования МБОУ «Лицей» на 2015-2016 учебный год Приказ №445 от 31.08.2015 МУНИЦИПАЛЬНОЕ БЮДЖЕТНОЕ ОБЩЕОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ «ЛИЦЕЙ» РАБОЧАЯ ПРОГРАММА по учебному курсу «Математика», для 10 11 классов (базовый уровень) на 2015-2016 учебный год Составитель программы: Методическое объединение преподавателей математики и информатики г.Нижневартовск, 2015г. Алгебра и Г еометрия 10-11кл. Базовый уровень. Пояснительная записка Алгебра...»

«УТВЕРЖДАЮ Директор филиала И.В. Кузнецова «15» сентября 2011 г. Архангельской /* й области Л?. й Общая характеристика образовательной программы высшего профессионального образования Специальность 010501.65 Прикладная математика и информатика Квалификация — Математик, системный программист Форма обучения очная Нормативный срок освоения программы при очной форме обучения 5 лет. Цель обучения подготовка специалиста, имеющего квалификацию «Математик, системный программист» по специальности...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ «НОВОСИБИРСКИЙ НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ» (НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ, НГУ) УТВЕРЖДАЮ Председатель совета «»2014 г. Программа дисциплины «Современные методы программирования (Программирование 2)» Образовательная программа: прикладная математика и информатика — 010400 Квалификация (степень) выпускника Бакалавр...»

«Заключение об учебной, научной, методической и воспитательной работе на кафедре «Алгебра и методика обучения математике и информатике» в 2011-2015 гг.1. Кадровый состав кафедры За отчетный период кафедра претерпела несколько существенных преобразований как по курируемым дисциплинам, так и по составу преподавателей. В настоящее время на кафедре «Алгебра и методика обучения математике и информатике» работают 13 штатных преподавателей. Количественный состав ППС представлен в таблице. ППС по...»

«Государственное образовательное учреждение высшего профессионального образования «Поволжский государственный университет телекоммуникаций и информатики» «УТВЕРЖДАЮ» Декан факультета ИСТ наименование факультета Салмин А.А... подпись, Фамилия И.О. « 30 » августа 2013г. РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ химия. наименование учебной дисциплины (полное, сокращенное) Направление подготовки: 230400 Информационные системы и технологии (бакалавр). код и наименование специальности по Классификатору...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное государственное автономное образовательное учреждение высшего образования «Крымский федеральный университет имени В.И. Вернадского» ТАВРИЧЕСКАЯ АКАДЕМИЯ Экономический факультет Кафедра экономической кибернетики УТВЕРЖДАЮ Заместитель директора по учебной работе А.М. Тимохин “”_20_ г. РАБОЧАЯ ПРОГРАММА УЧЕБНОЙ ДИСЦИПЛИНЫ Б1.В.Э.6_ Рискология (код и наименование дисциплины по учебному плану) по направлению подготовки 38.03.05...»

«1. Цели освоения дисциплины Цель изучения дисциплины – развитие интереса у студентов к инженерной деятельности, усиление мотивации к обучению в соответствии с выбранным направлением, а также создание основы для развития навыков и умений, описанных в перечне Планируемых результатов обучения бакалавров по направлению 09.03.03.2. Место дисциплины в структуре ООП Дисциплина относится к вариативной части междисциплинарного профессионального модуля основной образовательной программы по направлению...»

«ПРОГРАММА вступительного испытания для поступающих в магистратуру МИЭМИС Направления 09.04.03 Прикладная информатика (магистерская программа «Прикладная информатика в управлении финансами») Предмет «Прикладная информатика (письменно)» Форма экзамена и критерии оценок I. Экзамен проводится в письменной форме. К экзамену допускаются абитуриенты, имеющие высшее образование. При проведении экзамена устанавливаются следующие критерии оценки знаний в отношении сформулированных в билете вопросов:...»

«Государственное образовательное учреждение высшего профессионального образования Поволжский государственный университет телекоммуникаций и информатики «УТВЕРЖДАЮ» Декан факультета ФБТО. наименование факультета. Ружников В.А. подпись, Фамилия И.О. «» 20 г. РАБОЧАЯ ПРОГРАММА по учебной дисциплине Основы фотоники наименование учебной дисциплины (полное, сокращенное) Направление подготовки 20070000.62 фотоника и оптоинформатика Профиль _оптические информационные _технологии_. ФБТО. Факультет...»

«УТВЕРЖДАЮ Первый проректор по учебной работе ФГБОУ ВПО «Алтайский государственный университет» _ Е.С. Аничкин «_» марта 2014 г. ПРОГРАММА вступительного испытания для поступающих на обучение по направлению подготовки научно-педагогических кадров в аспирантуре 09.06.01. Информатика и вычислительная техника (наименование направления) Специальные дисциплины: Утверждено на заседании экзаменационной комиссии, протокол № от «_» марта 2015 года. Председатель экзаменационной комиссии _ Петрова А.Г....»



 
2016 www.programma.x-pdf.ru - «Бесплатная электронная библиотека - Учебные, рабочие программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.