Программа дисциплины Математическое программирование Семестры 5
| Вид материала | Программа дисциплины |
- Учебной дисциплины «Выпуклый анализ и математическое программирование» для направления, 34.33kb.
- Программа дисциплины Скрипты Семестры, 14.05kb.
- Аттестационное тестирование в сфере профессионального образования, 72.49kb.
- Программа вступительного экзамена по специальности 05. 13. 18 Математическое моделирование,, 115.33kb.
- Программа дисциплины оптимизация и математическое программирование для аспирантов 2-го, 79.44kb.
- Рабочая программа по курсу "Функциональное программирование" Специальность, 144.38kb.
- Программа вступительных экзаменов по специальности 08. 00. 13 «Математические и инструментальные, 40.42kb.
- Зированные системы управления, исследование операций, системный анализ, математическое, 136.69kb.
- Рабочая программа учебной дисциплины (модуля) Системное программирование, 108.12kb.
- Программа дисциплины "Программирование" для направления, 488.76kb.
Направление 230700 Прикладная информатика
Профиль Информационная сфера
Экономика
Степень бакалавр
Программа
дисциплины Математическое программирование
Семестры 5
Задачи курса:
Сформировать фундаментальные основы знаний в области теории алгоритмов и структур данных, познакомить с математическими основами компьютерных наук, освоить программирование в различных парадигмах.
Содержание курса
Исчисление высказываний
- Понятие высказывания. Таблица истинности.
- Конъюнктивная нормальная форма. Дизъюнктивная нормальная форма.
Исчисление предикатов
- Понятие предиката. Свободные и связанные переменные.
- Кванторы.
- Отождествление, специализация переменных.
- Выводимость формул.
- Теорема дедукции.
Лямбда-исчисление
- Понятие λ-терма. Аппликация и абстракция.
- Редукции. Нормальная форма.
- Каррирование.
- Аппликативный и нормальный порядок редукций.
- Рекурсивные алгоритмы. Y-комбинатор Карри.
- Чистое λ-исчисление.
Парадигмы программирования
- Основы функционального программирования.
- Основы логического программирования.
- Принципы функционирования систем аналитических вычислений.
- Основы скриптового программирования.