Решение Ученого совета ргсу от «13»

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

Решение

Содержание Теория принятия решений. Алгоритмические языки и программирование. Технология разработки программного обеспечения «физико-математическое образование» Теоретические основы информатики. «прикладная математика и информатика» 2. Математический анализ

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

• Решение Ученого совета ргсу от «26», 4490.86kb.
• Заседание ученого совета бгарф от 26 апреля 2011, 38.35kb.
• Проект Решение Ученого совета гоу впо «Нижневартовский государственный гуманитарный, 58.07kb.
• Решение Ученого Совета, 752.27kb.
• Л. Л. Абрамова 2011 г решение, 36.89kb.
• Решение Ученого совета, 74.32kb.
• Заседание Ученого совета мгимо, 74.57kb.
• Уважаемый председатель ученого совета! Уважаемый президент, 520.56kb.
• Решение ученого совета ргтэу от 21 февраля 2011 года, 93.32kb.
• Решение ученого совета ниу итмо от 27. 12. 2011 по вопросу, 45.91kb.

Теория принятия решений. Линейное программирование. Формулировка задачи коммивояжера, алгоритмы решения. Выпуклые множества и их свойства. Выпуклые функции. Критерии выпуклости гладких функций. Правило множителей Лагранжа. Теорема Куна-Таккера. Градиентный метод, метод проекции градиента. Методы штрафных функций. Программное управление, обратная связь. Задачи оптимального управления. Принцип максимума Понтрягина. Управляемость. Критерий управляемости Калмана для линейных систем. Принцип оптимальности Беллмана. Линейно-квадратичная задача оптимального управления. Многокритериальные задачи. Сведение многокритериальных задач к задачам скалярной оптимизации. Метод анализа иерархий.

Рекомендуемая литература:

1. Введение в исследование операций. Под ред. Хэнди и Таха.- М.-С-П.-К.: Выс.школа, 2001, -895с.
   
2. И.К. Волков, С.М. Зуев, Г.М. Цветкова. Случайные процессы. -М. :Изд. МГТУ им. Баумана, 2000 -447 с.
   
3. Автоматизированные системы управления предприятиями. Под. ред. В.Н Четверикова. М. : Высшая школа, 1992 - 366 с.
   

Алгоритмические языки и программирование. Особенности разработки программ с подпрограммами на TURBO PASCAL.Параметры – процедуры и параметры – функции. Особенности использования параметров в процедурах и функциях. Функции: описание и вызовы функций. Процедуры: описание и вызовы процедур. Концепция подпрограммы в TURBO PASCAL. Структурные типы – строка, массив. Концепция типа данных. Типы данных в PASCAL’e. Операторы итерационных циклов. Простые операторы ввода – вывода.


Рекомендуемая литература:

1. Батасова В.С., Крюков А. А. Основы программирования на Паскале. - М.: Союз, 1999. - 82 с.
   
2. Подбельский В.В., Фомин С.С. Программирование на языке Си. – М.: Финансы и статистика, 1999. – 600 с.
   
3. Голуб А. Си и Си++. Правила программирования. - М.: Финансы и статистика, 1999. - 521 с.
   

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

Рекомендуемая литература:

1. Э. Рейнгольд, Ю. Нивергельт, Н. Део Комбинаторные алгоритмы – теория и практика. Издательство “Мир”, -Москва, 1980.
   
2. Д. Кнут Искусство программирования для ЭВМ – получисленные алгоритмы. Издательство “Мир”, -Москва, 1977.
   
3. Д. Кнут Искусство программирования для ЭВМ – основные алгоритмы. Издательство “Мир”, -Москва, 1976.
   

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


Рекомендуемая литература:

1. Б. Страуструп. Язык программирования С++, спец. изд. – М.: “БИНОМ”, 2002. – 1099с.
   
2. Баранова Е.В., Петрова Ю.А, Степанова Е.В. Введение в объектно-ориентированное программирование (на примере среды DELPHI). – СПб, 2001.
   
3. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++: Пер. с англ. — 2-е изд. — М.: «Издательство Бином»; СПб.: Невский диалект, 1999 – www.3ka.mipt.ru/vlib/books/Programming/CPP.
   

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

Рекомендуемая литература:

1. С.А. Орлов. Технологии разработки программного обеспечения. М.,ПИТЕР, 2004.-464с.
   
2. С.А. Трофимов. CASE-технологии: практическая работа в Rational Rose. – М.: БИНОМ, 2002. – 288с.
   
3. А. Якобсон, Г. Буч, Дж. Рамбо. Унифицированный процесс разработки программного обеспечения. – СПб.: Питер, 2002. – 496с.
   

Теория вычислительных процессов. Операционная, функциональная и логическая семантики программ. Последовательные и параллельные модели вычислений. Модель вычислений фон Неймана. Виды вычислительных процессов (последовательные и параллельные вычислительные процессы, детерминированные и недетерминированные, синхронные и асинхронные, и т.д.). -нотация функций как неформальная основа -исчисления. -термы как конструктивные объекты. Синтаксис -исчисления. Теорема Черча-Россера и ее следствия. Процессы редукции -термов как процессы вычислений. Решение уравнений в -исчислении. Алгебра процессов Хоара. Способы композиции процессовПротоколы и интерфейсы взаимодействия последовательных процессов. Сети Петри. Основные определения. Классификационные признаки сетей Петри. Граф сети Петри, начальная маркировка, функция переходов. Основные задачи анализа сетей Петри. Задачи достижимости маркировок и анализа активности переходов. Подклассы сетей Петри.

Рекомендуемая литература:

1. Булос Дж., Джеффри Р. Вычислимость и логика // «Мир». - М., 1994.
   
2. Бебчик Ал.М., Бебчик Ан.М., Фальк В.Н. Описание системы функционально-логического программирования S-FLOGOL. // Инструкция пользователя. Электронная версия. 2004.
   
3. Криницкий Н.А. Аналитическая теория алгоритмов // Физматгиз. - М., 1994.
   

Функциональное и логическое программирование. Основные отличия декларативных и процедурных языков программирования. Области применения языков Лисп, Пролог. Лямбда-исчисление А. Чёрча и теория рекурсивных функций. Символьные выражения: атомы и списки, функции. Предикаты и предложения. Списки: работа со списками, внутреннее представление списков.Рекурсия: рекурсия по значению, рекурсия по аргументу, параллельная и взаимная рекурсия. Простые и составные объекты данных. Динамические базы данных: объявление и использование, загрузка и сохранение фактов, добавление и удаление фактов.

Рекомендуемая литература:

1. Метакидес Г., Нероуд А. Принципы логики и логического программирования. – М.: Факториал, 1998.
   
2. Хендерсон П. Функциональное программирование: применение и реализация. - М.: Мир, 1983. – 349 С.
   
3. Братко И. Программирование на языке Пролог для искусственного интеллекта. – М.: Мир, 1990. – 560 С.
   

Направление подготовки «ФИЗИКО-МАТЕМАТИЧЕСКОЕ ОБРАЗОВАНИЕ»


ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ФИЗИКО-МАТЕМАТИЧЕСКОМ ОБРАЗОВАНИИ


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


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

Литература:

1. Акулов О.А., Медведев Н.В. Информатика: базовый курс: Учеб. пособие для студентов вузов - М., 2005.
   
2. Могилев А.В., Пак Н.И., Хённер Е.К. Информатика. – М., 2008.
   

Информационные системы и сети. Информационно-поисковые и справочные системы, базы и банки данных. Управление базами данных. Архитектура систем баз данных. Введение в реляционные базы данных. Реляционные объекты данных: домены и отношения. Целостность реляционных данных. Реляционные операторы: реляционная алгебра, реляционное исчисление. Язык SQL. Основы компьютерных сетей. Обзор вычислительных сетей. Разделение ресурсов компьютера. Построение сети. Сетевое программное обеспечение. Глобальные вычислительные сети.

Литература:

1. 
   Избачков Ю.С., Петров В.Н. Информационные системы: Учебник для вузов. 2-е изд. – СПб., 2006.
   
2. Могилев А.В., Пак Н.И., Хеннер Е.К. Информатика: Учебное пособие для студентов педагогических вузов. – М., 2005.
   

Компьютерные сети, интернет и мультимедиа технологии. Интернет как технология и информационный ресурс (сеть). Технология электронной почты. Технология обмена файлами (FTP). Технология WWW. Поиск информации в сети Интернет. Язык HTML как средство создания информационных ресурсов Интернет. Язык JavaScript (VBScript) как средство создания интерактивных ресурсов. Мультимедиа как средство и технология.

Литература:

1. Митин А.И., Василенко Л.А. Глобальная компьютерная сеть INTERNET (история, организация, доступ, перспективы). - М., 1996.
   
2. Калиногорский Н.А., Галевский Г.В. Эффективные технологии работы в сети Интернет. - М., 2004.
   
3. Информатика: Учебник для вузов / под ред. Н.В.Макаровой. – М., 2008.
   

Педагогика. Педагогическая профессия.  Понятия: образование, воспитание, обучение, самовоспитание, социализация. Закономерности и принципы обучения. Единство образовательной, воспитательной и развивающей функций. Государственный образовательный стандарт. Современные методы, модели и средства обучения. Сущность воспитания и его место в образовательном процессе. Тенденции развития мирового образовательного процесса. Социальное воспитание и социализация личности. Понятие педагогических технологий, их обусловленность характером педагогических задач. Виды педагогических задач. Педагогические технологии. Понятие управления и педагогического менеджмента. Государственно-общественная система управления образованием.

Литература:

1. Байкова Л.А., Гребёнкина Л.К. Педагогические мастерство и педагогические технологии. – М., 2000.
   
2. Коджаспирова Г.М. Педагогика. – М., 2009.
   

Психология. Психология как наука; предмет психологии. Понятие о человеке: антропологический и эволюционный подходы к его изучению. Формы взаимодействия человека с миром. Субъект; индивид, личность, индивидуальность. Познание, общение, деятельность; поведение. Сознание и самосознание. Функциональная и структурная организация психики; процессы, состояния, свойства. Психологическая компетентность и психологическая культура. Влияние образования на развитие. Здоровьесберегающая среда как фактор развития человека. Психическое развитие в разные возрастные периоды. Социализация, социальное поведение, социальное познание, социальные качества личности; социальная психология личности. Виды и феномены взаимодействия, человек как субъект взаимодействия; общение и взаимодействие.

Литература:

1. Соколова Е.Е. Введение в психологию. Изд.3. В 6 т. Т.1. – М., 2008.
   
2. Введение в социальную психологию: Учеб. пособ. / В.Г. Крысько. – М., 2000.
   

Технологии и методики обучения информатике. Методическая система обучения информатике в школе, общая характеристика ее основных компонентов. Цели и задачи обучения информатике в школе. Структура обучения информатике в средней общеобразовательной школе. Стандарт школьного образования по информатике. Пропедевтика основ информатики в начальной школе. Базовый курс школьной информатики. Дифференцированное обучение информатике на старшей ступени школы. Программное обеспечение по курсу информатики. Планирование учебного процесса по курсу информатики. Формы обучения, проверки и оценки его результатов. Методика изучения основных разделов курса информатики.

Литература:

1. Бешенков С.А., Е.А.Ракитина Е.А., Матвеева Н.В., Милохина Л.В. Непрерывный курс информатики – М., 2008.
   
2. Лапчик М.П., Семакин И.Г., Хеннер Е.К. Теория и методика обучения информатике. Учебник. – М., 2008.
   

Информационные и коммуникационные технологии в физико-математическом образовании. Использование информационных и коммуникационных технологий (ИКТ) для построения открытой системы образования. Информационные образовательные ресурсы учебного назначения: их классификация и дидактические функции. Проектирование, разработка и использование в школьном образовательном процессе информационных ресурсов учебного назначения. Образовательные информационные технологии и среда их реализации. Использование мультимедиа и коммуникационных технологий для реализации активных методов обучения. Дистанционные технологии в образовании. ИКТ в обучении информатике.

Литература:

1. Роберт И.В., Панюкова С. В., Кузнецов А.А., Кравцова А.Ю. Информационные и коммуникационные технологии в образовании/ Учебно-методическое пособие. – М., 2006.
   
2. Полат Е.С., Моисеева М.В., Нежурина М. И. Педагогические технологии дистанционного обучения. – М., 2006.
   

Дискретная математика. Множества и отношения. Операции над множествами. Функции. Основы математической логики. Математический язык. Булева алгебра. Элементы комбинаторики. Основные задачи комбинаторики и методы комбинаторных рассуждений. Элементы теории графов.

Литература:

1. Яблонский С.В. Введение в дискретную математику. - М., 1986.
   
2. Бочаров В.А., Маркин В.И. Основы логики: Учебник для вузов - М., 2001.
   

Теория алгоритмов. Понятие вычислимой функции. Разрешимые и перечислимые множества. График вычислимой функции. Формальная теория вычислимости. Тезис Чёрча. Конечные и бесконечные машины. Понятие программы. Теорема о параметризации. Существование универсальной программы. Компьютер фон Неймана. Диагональный метод. Проблема останова. Примеры неразрешимых и неперечислимых множеств. Алгоритмическая сводимость проблем. Эффективные операции над вычислимыми функциями. Теорема о неподвижной точке. Общее понятие исчисления. Грамматики. Языки и машины. Меры сложности вычисления. Приложения теории алгоритмов в информатике.

Литература:

1. Гуц А.К. Математическая логика и теория алгоритмов: Учеб. пособие. – М., 2009
   
2. Карпов Ю.Г. Теория автоматов. – СПб., 2003.
   

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

Литература:

1. Бахвалов Н.С. Численные методы. – М., 2004.
   
2. Поршнев С.В. Численные методы. Курс лекций. – СПб., 2004.
   

Теория вероятностей и математическая статистика. Статистические закономерности. Статистическая устойчивость и статистическое определение вероятности. Пространство элементарных событий, события. Свойства вероятности. Условная вероятность и ее свойства. Независимость двух и n событий. Определение случайной величины, ее свойства. Дискретные случайные величины, закон распределения. Непрерывные случайные величины. Геометрические вероятности. Независимость испытаний. Практическое использование приближенных формул. Математическое ожидание, дисперсия случайной величины, их свойства. Среднее квадратичное отклонение. Понятие о центральной предельной теореме. Задачи математической статистики.

Литература:

1. Жукова Г.С. Математика для студентов экономических специальностей. Ч.I,2.  М., 2004.
   
2. Гмурман В.Е. Теория вероятностей и математическая статистика.  М., 1998.
   

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

Литература:

1. Андрейчиков А.В., Андрейчикова О.Н. Интеллектуальные информационные системы. Учебник для вузов.– М., 2006.
   
2. Ясницкий Л.Н. Введение в искусственный интеллект. Учеб. пособие для вузов. – М., 2005.
   

Языки и методы программирования. Характеристики классов языков программирования. Трансляция и трансляторы. Язык Паскаль. Предметная область языка. Алфавит, лексика, пунктуация, ключевые слова. Структура программы. Заголовок, описания данных, тело программы. Форматы структуры. Величины в программе. Простые и сложные типы данных. Управляющие структуры: серии, ветвления, циклы. Присваивания. Операторы ввода и вывода, форматы вывода. Подпрограммы: процедуры и функции, их роль в программах. Формальные и фактические параметры. Локальные и глобальные переменные. Способы обмена параметрами между программой и подпрограммами.

Литература:

1. Аляев Ю.А., Козлов О.А. Алгоритмизация и языки программирования Pascal, C++, Visual Basic. – М., 2002.
   
2. Биллиг В.А. Основы программирования на С#. – М., 2006.
   

Архитектура вычислительных систем. Архитектура компьютера. Принципы работы микропроцессора и микроЭВМ. Вычислительная система. Архитектура вычислительной системы. Аппаратное и программное обеспечение. Особенности ЭВМ различных поколений. Структура ЭВМ. Структура памяти. Взаимодействие процессора и памяти. Основной алгоритм работы процессора. Понятие архитектуры микропроцессора. Арифметико-логическое устройство. Регистры и счетчики. Программно-доступные регистры. Понятие о машинном языке. Язык ассемблера и язык макроассемблера.

Литература:

1. Бройдо В.Л., Ильина О.П. Архитектура ЭВМ и систем: Учебник для вузов. – СПб., 2009.
   
2. Могилев А.В., Пак Н.И., Хённер Е.К. Информатика. – М., 2008.
   
3. Степанов А.Н. Архитектура вычислительных систем и компьютерных сетей. – СПб., 2007.
   

Направление подготовки «ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА»


МАТЕМАТИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ЭКОНОМИЧЕСКОЙ ДЕЯТЕЛЬНОСТИ


1. Линейная алгебра и аналитическая геометрия

1. Определители и их свойства.
   
2. Ранг матрицы. Теорема о базисном миноре. Теорема о ранге матрицы.
   
3. Исследование разрешимости систем линейных алгебраических уравнений. Общее решение системы линейных алгебраических уравнений.
   
4. Линейные пространства. Базис и размерность. Преобразование координат вектора при переходе к новому базису. Линейные подпространства.
   
5. Линейные операторы. Матрица оператора. Образ и ядро линейного оператора. Обратный оператор.
   
6. Евклидовы и унитарные пространства. Неравенство треугольника. Неравенство Коши-Буняковского.
   
7. Собственные значения и собственные векторы линейного оператора. Характеристический многочлен. Собственное подпространство.
   

Литература

1. Ильин В.А., Ким Г.Д. Линейная алгебр и аналитическая геометрия. М.: Изд-во МГУ. 2002 (и последующие издания).
   
2. Воеводин В.В. Линейная алгебра. М.: Наука. 1986 (и последующие издания).
   

2. Математический анализ.

1. Предел числовой последовательности. Cвойства сходящихся последовательностей. Частичные пределы. Критерий Коши.
   
2. Непрерывные функции и их свойства. Свойства функций, непрерывных на отрезке.
   
3. Производная и ее свойства. Правила вычисления производной. Уравнение касательной к кривой.
   
4. Производные и дифференциалы высших порядков. Формула Тейлора.
   
5. Определенный интеграл Римана. Основные свойства. Критерий интегрируемости.
   
6. Интеграл с переменным верхним пределом и его свойства. Формула Ньютона-Лейбница.
   
7. Числовые ряды. Сходимость ряда, сумма ряда. Критерий Коши сходимости ряда. Признаки сходимости числовых рядов.
   
8. Функциональные ряды. Равномерная сходимость. Признак Вейерштрасса равномерной сходимости. Непрерывность суммы функционального ряда.
   
9. Степенные ряды и их свойства. Радиус сходимости. Ряд Тейлора.
   
10. Ряды Фурье. Достаточные условия равномерной сходимости рядов Фурье.
    
11. Экстремумы функции многих переменных. Необходимые и достаточные условия экстремума.
    

Литература

1. Кудрявцев Л.Д. Математический анализ. Т. 1, 2. М.: Высшая школа. 1973 (и последу-ющие издания).

2. Лаврентьев М.А., Шабат Б.В. Методы теории функций комплексного переменного. М.: Наука. 1978 (и последующие издания).