Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

ЭТМО-21-26(диск.мат.)

.docx
Скачиваний:
21
Добавлен:
05.06.2015
Размер:
25.71 Кб
Скачать

УЧЕБНАЯ ДИСЦИПЛИНА

«МАТЕМАТИКА (ДИСКРЕТНАЯ МАТЕМАТИКА)»

  1. ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

    1. ЛИТЕРАТУРА

А.В. Клюшин. Введение в дискретную математику. – М.: МИЭТ, 2004, 124 с.

И.Б.Кожухов. А.А.Прокофьев, Т.В.Соколова. Курс дискретной математики. М., МИЭТ, 2000 г., 2003 г., 2004 г., 207 с.

А.В.Клюшин, И.Б.Кожухов, Т.А.Олейник. Сборник задач по дискретной математике. М., МИЭТ, 2008 г., 120 с.

1.2. ЭЛЕКТРОННЫЕ РЕСУРСЫ

1

http://www.mocnit.ru/oroks-miet/srs.shtml

http://ru.wikipedia.org – определения, теоремы, исторические сведения

http://techlibrary.ru – книги по математике, физике и другим дисциплинам, доступные для скачивания)

  1. СОДЕРЖАНИЕ ДИСЦИПЛИНЫ

    1. ЛЕКЦИОННЫЕ ЗАНЯТИЯ

Содержание

  1. 1

Множества и отображения. Алгебра высказываний.

  1. 2

Булевы функции. Полнота и замкнутость систем булевых функций.

  1. 3

Булева алгебра.

  1. 4

Группы. Гомоморфизмы и изоморфизмы.

  1. 5

Подгруппы. Теорема Лагранжа. Циклические группы.

  1. 6

Теорема о строении конечных абелевых групп. Конечные группы до 10-го порядка включительно.

  1. 7

Графы. Основные понятия. Деревья.

  1. 8

Помеченные графы. Код Прюфера. Алгоритм Краскала.

  1. 9

Метод ветвей и границ.

    1. ПРАКТИЧЕСКИЕ ЗАНЯТИЯ

Содержание

  1. 1

Множества и отображения. Взаимно однозначное отображение.

  1. 2

Алгебра высказываний. Предикаты и кванторы.

  1. 3

Булевы функции. Операции над ними. Таблицы истинности. Совершенная дизъюнктивная нормальная форма.

  1. 4

Базисы булевых функций. Критерий Поста.

  1. 5

Выражение булевых функций через базис.

  1. 6

Булева алгебра.

  1. 7

Группы. Примеры. Группы геометрических объектов.

  1. 8

Группы вычетов по модулю n. Другие примеры групп.

  1. 9

Гомоморфизмы и изоморфизмы групп.

  1. 10

Циклические группы. Подгруппы. Порядок элемента. Теорема Лагранжа.

  1. 11

Теорема о строении конечных абелевых групп.

  1. 12

Конечные группы до 10-го порядка. Контрольная работа.

  1. 13

Графы. Изоморфизм графов.

  1. 14

Группы автоморфизмов графов.

  1. 15

Деревья.

  1. 16

Помеченные графы. Алгоритм Краскала.

  1. 17

Метод ветвей и границ.

    1. САМОСТОЯТЕЛЬНАЯ РАБОТА

(адрес: http://www.mocnit.ru/oroks-miet/srs.shtml - кафедра ВМ-2 - логин: u<номер студенческого билета>, пароль: <дата рождения> в формате ДД.ММ.ГГГГ)

Темы ЭМИРС

Используемый ПП

  1. 1

Множества и отображения

ОРОКС

  1. 2

Группы

ОРОКС

  1. 3

Проверочный тест

ОРОКС

  1. 4

Булевы функции и способы их задания

ОРОКС

  1. 5

Классы Поста и полнота.

ОРОКС

  1. 6

Деревья

ОРОКС

Планарные графы

ОРОКС