МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

МОДУЛЬ ФУО.002.2011 МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

Код ООП

Направление/специальность

Профиль/программа магистратуры/специализация

Код дисциплины по учебному плану

231000.62-01-2011

Программная инженерия

Разработка программно-информационных систем

Б2.2.3

Рабочая программа составлена авторами:

№ п/п

ФИО

Ученая степень, ученое звание

Должность

Кафедра

Подпись

1

К. ф.-м. н., доцент

Доцент

ПСС

Рабочая программа одобрена на заседании кафедр:

Наименование кафедры

Дата

ФИО заведующего кафедрой

Подпись

1

Кафедра программных средств и систем

5.  УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ

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

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

1.  Бахвалов методы. Решение задач и упражнения. М.: Дрофа, 2009. – 394 с.

2.  Самарский в численные методы. С.-П., М., Краснодар: Лань, 2009. – 289 с.

3.  Демидович методы анализа. Приближение функций, дифференциальные и интегральные уравнения. С.-П., М., Краснодар: Лань, 2008. – 400 с.

4.  Рагулина технологии в математике. М.: Академия, 2008. - 304 с.

5.  Жидков математика. М.: Академия, 2010. - 208 с.

6.  Пантина математика. М.: Маркет ДС, 2010. – 176 с.

7.  Срочко методы. Курс лекций. С.-П., М., Краснодар: Лань, 2010. – 208 с

8.  Алгоритмы + структуры данных = программы. – М.: Мир, 2009. – 406 с.

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

1.  Современные проблемы вычислительной математики и математического моделирования. Рос. Академия Наук, Институт вычислительной математики. М.: Наука, 2005. – 343 с.

НЕ нашли? Не то? Что вы ищете?

2.  , , Заляпин высшая математика т.6. Вычислительная математика. М.: УРСС, 2003. – С. 84 – 246.

3.  Н Численные методы. – М.: Наука, 1978. – 354 с

4.  КаханерД., Численные методы и программное обеспечение. М.: Издательство «Мир», 2001. 575 с.

5.  Вержбицкий методы. Учебное пособие для вузов. М.:Высшая школа, 2000. 266 с.

6.  , Гулин методы. М.: Наука, 1989. 432 с.

7.  Каганов вычисления в средах Excel и Mathcad. М.: Горячая линия – Телеком, 2003. – 328 с.

8.  Копчёнова математика в примерах и задачах. С.-П., М., Краснодар: Лань, 2008. – 368 с.

9.  Смоленцев теории вейвлетов. Вейвлеты в MATLAB. М.:ДМК Прессб 2008. – 448 с.

10.  Нейроматика: Учебное пособие для студентов. Под ред. М.: ИПРЖР, 2002. – 448 с.

11.  Дьяконов . От теории к практике. М.: СОЛОН-Пресс, 2004. – 400 с.

12.  Паун, Г. ДНК – компьютер. Новая парадигма вычислений. М.: Мир, 2004. – 40 с.

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

14.  , Шаньгин и обработка структур данных в вычислительных системах. М.: Высшая школа, 1987. 248 с.

15.  Евстигнеев теории графов в программировании. /Под ред. .- М.: Наука, Главная редакция физико-математической литературы, 1985 – 352 с.

16.  Искусство программирования для ЭВМ. Т. 3. Сортировка и поиск. М.: Издательство «Мир», 2000. 844 с.

17.  Искусство программирования для ЭВМ. Т. 1. Основные алгоритмы. Москва: Издательство «Мир», 2000. 735 с.

5.1.3. Методические разработки

1.  Александрова пакета MATLAB в инженерных исследованиях [Текст]: метод. указ. / – Екатеринбург: изд. ИПК УГТУ, 2004. -31 с.

2.  Александрова в математическую логику [Текст]: метод. указ. / – Екатеринбург: изд. ГОУ ВПО «УГТУ-УПИ», 2005. -43 с.

3.  Чагаева и структуры данных [Текст]: метод, указ. / . -
Екатеринбург: изд. ИПК УГТУ, 2001. - 46 с.

4.  Чагаева . Основные алгоритмы [Текст]: метод, указания
/ . - Екатеринбург: изд. ИПК УГТУ, 2004. - 52 с.

5.2.  Электронные образовательные ресурсы

1.  http://www. intuit. ru

2.  http://www. edu. ru

3.  http://www. idef. ru

4.  http://study. ustu. ru/

5.3.  Программное обеспечение

1.  Microsoft Windows, LINUX

2.  Математические пакеты «Mathematica», «Origin», «Statistica», «Matlab», «SPSS».

5.4 Базы данных, информационно-справочные и поисковые системы

1.  раздаточный материал для изучения лекционного материала;

2.  учебный материал в электронном виде;

5.5 Фонд оценочных средств ()

Не предусмотрено.

5.6 Информационные сервисы, обеспечивающие учебный процесс

1.  Локальный кафедральный сервер, содержащий учебные и методические материалы

2.  http://fat. ustu. ru – сервер факультета, где можно узнать расписание занятий

6.  Перечень клюЧевых слов дисциплины

№ раздела

Наименование раздела, темы

Ключевые слова

Р1

Разностные уравнения.

Теоретические основы численных методов

Сеточные функции. Разностные уравнения. Разностные краевые задачи для уравнений второго порядка. Принцип максимума для разностных уравнений. Вычислительная погрешность.

Р2

Интерполяция и численное интегрирование

Интерполяция. Приближение функций. Интерполяционные полиномы. Интерполяционный полином Лагранжа. Интерполяция сплайнами. Линейная интерполяция. Ряды Фурье. Тригонометрические полиномы. Численное интегрирование.

Р3

Численное решение систем линейных алгебраических уравнений

Прямые и итерационные методы. Двухслойная итерационная схема с Чебышевскими параметрами. Попеременно – треугольный метод. Вариационно - итерационные методы. Решение нелинейных уравнений.

Р4

Разностные методы решения краевых задач для обыкновенных дифференциальных уравнений. Задача Коши для обыкновенных

Разностные схемы. Трехточечные разностные схемы. Консервативные разностные схемы. Однородные схемы на неравномерных сетках. Метод Рунге – Кутта. Многошаговые схемы. Методы Адамса.

Р5

Математические программные системы

Математический программный пакет «Математика», «Origin», «Матлаб», «Statistica», «SPSS»

Р6

Построение алгоритмов

Алгоритм. Р, NP, и NP-полные задачи. Сложность алгоритма.