Дискретная математика. Рабочая программа дисциплины. Файзрахманов Р.А. - 5 стр.

UptoLike

ВУЗ: 

ПНИПУ | Пермь

Составители: 

Рубрика: 

5
7. ОСНОВЫ ТЕОРИИ АЛГОРИТМОВ [1]
Понятие алгоритма, свойства алгоритмов, алгоритмически разрешимые и неразрешимые
проблемы. Схемы алгоритмов установления разрешимости [11, с. 45-48]. Схемы потоков
данных и алгоритмов.
8. КОМБИНАТОРИКА [7,8]
Комбинаторные конфигурации (Объекты), и их общая характеристика. Аксиоматические
правила суммы и произведения [7, c. 134-135; 8, c. 358-360; 10, c. 171-173]. Основные свойства
комбинаторных объектов: подмножества множеств, размещения, перестановки, сочетания,
сочетания с повторениями, n-мерного куба, разбиения [7, c. 135-143; 10, c. 173-188].
Биномиальные коэффициенты, их свойства. Основные тождества для сочетаний. Бином
Ньютона, треугольник Паскаля [7, c. 144-147; 16, c. 249-259].
ТЕМЫ ВОПРОСОВ ДЛЯ ПРАКТИЧЕСКИХ ЗАНЯТИЙ И САМОСТОЯТЕЛЬНОЙ
РАБОТЫ
Операции над множествами
Алгебра множеств.
Соответствия.
Отношения.
Частично упорядоченные множества.
Решетки.
Построение сложных высказываний
Преобразования высказываний
Минимизация высказываний
Предикаты
Метод резолюции
Графы
Числовые характеристики графов
Синтез автоматов
Преобразования автоматов
Минимизация автоматов
СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ
Основная
1. Соловьев А.Е. Специальная математика: курс лекций. - Пермь: ПГТУ, 2000//
www.asu.pstu.ac.ru
Дополнительная
2. Теория множеств: Методические указания по курсу “Основы теории систем”/ Составил
Соловьев А.Е. - Пермь: ПГТУ, 1986
3. Математическая логика: Методические указания по курсу “Основы теории систем”/ Составил
Соловьев А.Е. - Пермь: ПГТУ, 1986
4. Теория автоматов: Методические указания по курсу “Основы теории систем”/ Составил
Соловьев А.Е. - Пермь: ПГТУ, 1986
5. Метод резолюции: Методические указания
по курсу “Основы теории систем”/ Составил
Соловьев А.Е. - Пермь: ПГТУ, 1985
6. Кузин Л.Т. Основы кибернетики. Т2. - М., 1979.
7. Новиков Ф.А. Дискретная математика для программистов. - Спб, 2000. 
                                                                                             5


     7. ОСНОВЫ ТЕОРИИ АЛГОРИТМОВ [1]
     Понятие алгоритма, свойства алгоритмов, алгоритмически разрешимые и неразрешимые
проблемы. Схемы алгоритмов установления разрешимости [11, с. 45-48]. Схемы потоков
данных и алгоритмов.

     8. КОМБИНАТОРИКА [7,8]
      Комбинаторные конфигурации (Объекты), и их общая характеристика. Аксиоматические
правила суммы и произведения [7, c. 134-135; 8, c. 358-360; 10, c. 171-173]. Основные свойства
комбинаторных объектов: подмножества множеств, размещения, перестановки, сочетания,
сочетания с повторениями, n-мерного куба, разбиения [7, c. 135-143; 10, c. 173-188].
Биномиальные коэффициенты, их свойства. Основные тождества для сочетаний. Бином
Ньютона, треугольник Паскаля [7, c. 144-147; 16, c. 249-259].

    ТЕМЫ ВОПРОСОВ ДЛЯ ПРАКТИЧЕСКИХ ЗАНЯТИЙ И САМОСТОЯТЕЛЬНОЙ
РАБОТЫ

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


                    СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ
                                        Основная

1. Соловьев А.Е. Специальная математика: курс лекций. - Пермь: ПГТУ, 2000//
   www.asu.pstu.ac.ru
                                     Дополнительная
2. Теория множеств: Методические указания по курсу “Основы теории систем”/ Составил
    Соловьев А.Е. - Пермь: ПГТУ, 1986
3. Математическая логика: Методические указания по курсу “Основы теории систем”/ Составил
    Соловьев А.Е. - Пермь: ПГТУ, 1986
4. Теория автоматов: Методические указания по курсу “Основы теории систем”/ Составил
    Соловьев А.Е. - Пермь: ПГТУ, 1986
5. Метод резолюции: Методические указания по курсу “Основы теории систем”/ Составил
    Соловьев А.Е. - Пермь: ПГТУ, 1985
6. Кузин Л.Т. Основы кибернетики. Т2. - М., 1979.
7. Новиков Ф.А. Дискретная математика для программистов. - Спб, 2000.

Страницы