Реферат: Программа дисциплины Математическое программирование Семестры 5

Направление 230700 Прикладная информатика

Профиль Информационная сфера

Экономика

Степень бакалавр

Программа

дисциплины Математическое программирование


Семестры 5


Задачи курса:

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


Содержание курса


Исчисление высказываний

Понятие высказывания. Таблица истинности.

Конъюнктивная нормальная форма. Дизъюнктивная нормальная форма.


Исчисление предикатов

Понятие предиката. Свободные и связанные переменные.

Кванторы.

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

Выводимость формул.

Теорема дедукции.


Лямбда-исчисление

Понятие λ-терма. Аппликация и абстракция.

Редукции. Нормальная форма.

Каррирование.

Аппликативный и нормальный порядок редукций.

Рекурсивные алгоритмы. Y-комбинатор Карри.

Чистое λ-исчисление.



Парадигмы программирования

Основы функционального программирования.

Основы логического программирования.

Принципы функционирования систем аналитических вычислений.

Основы скриптового программирования.