Курс: Дискретная математика Программа
Аннотация

Учебная задача

Структура курса

Литература

Список вопросов

Список задач

Аннотация

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

Вверх

Учебная задача

Курс "Дискретная математика" рассматривается как базовая дисциплина, закладывающая основы последующей общей и специальной подготовки математика-системного программиста.

Вверх

Структура курса

Всего 51 час.
Лекции 34 час.
Практические (семинарские) занятия 17 час.

Формы контроля

Домашнее задание ДЗ
Контрольная работа КР
Экзамен

N п/п

Название раздела

Количество часов

Вид контроля

Группа

Лекц.

Практич. зан.

Лаборат. зан.

1.

Объекты, функции, абстракции

6

4

 

ДЗ, КР

все

2.

Синтаксическая теория вычислений

8

4

 

ДЗ, КР

все

3.

Динамика вычислений

10

2

 

ДЗ, КР

все

4.

Абстрактные машины

10

7

 

ДЗ, КР

все

Вверх

Литература

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

1. 681.3
    004
    В72
Вольфенгаген В.Э. Методы и средства вычислений с объектами.
Аппликативные вычислительные системы.
- М.:АО ``Центр ЮрИнфоР’’, 2004. - xvi+789 с.
2. 681.3
    В72
Вольфенгаген В.Э. Категориальная абстрактная машина. - М.:МИФИ, 1993
2-е изд. – М.: АО “ Центр ЮрИнфоР ”, 2002. – 96 с.
3. 681.3
    В72
Вольфенгаген В.Э. Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. - М.:МИФИ, 1994;
2-е изд. – М.: АО “ Центр ЮрИнфоР ”, 2003. – 336 с.

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

1. 681.3
   Б-48
Бердж В. Методы рекурсивного программирования. -  М.:Машиностроение, 1983
2. 681.3
   В72
Вольфенгаген В.Э. Конструкции языков программирования. – М.: АО “ Центр ЮрИнфоР ”, 2001. – 276 с.
3. 681.3
   В72

Вольфенгаген В.Э., Горюнова И.А., Косиков С.В. Методы и средства построения систем знания.- М.:МИФИ, 1992 (ч. 1, ч. 2)

4. 681.3
   К71
Косиков С.В., Мясников А.В. Математические методы и средства в новой информационной технологии. - М.:МИФИ, 1990
5. 681.3
   В72
Вольфенгаген В.Э., Гольцева Л.В. Аппликативные вычисления на основе комбинаторов и ламбда-исчисления. - -- М.:МИФИ, 1992
6. 007
   И49
Илюхин А.А., Исмаилова Л.Ю., Шаргатова З.И. Экспертные системы на реляционной основе. - М.:МИФИ, 1990

Вверх

     

Дискретная математика: учебный курс, Дискретная математика: что читать, Дискретная математика: программа, Дискретная математика: студенты