Учебные материалы: Учебники

Дискретная математика — графы, матроиды, алгоритмы

Полное название: Дискретная математика — графы, матроиды, алгоритмы

Описание материала:
1. Основные понятия теории графов
Основные определения
Маршруты, связность, циклы и разрезы
Ориентированные графы
Матрицы, ассоциированные с графом
2. Деревья
Леса, деревья, остовы
Блоки и точки сочленения
Число остовов в связном обыкновенном графе
3. Обходы графов
Эйлеровы графы
Гамильтоновы графы
4. Матроиды
Полумодулярные решетки, условие Жордана—Дедекинда
Конечномерные геометрические решетки и матроиды
Основные понятия теории матроидов
Различные аксиоматизации матроидов
Двойственный матроид
Жадный алгоритм
Изоморфизмы матроидов
Пространство циклов бинарного матроида
Пространство циклов и пространство разрезов графа
Монотонные полумодулярные функции. Индуцированный матроид
Трансверсальные матроиды
Дизъюнктное объединение и сумма матроидов
5. Планарность
Укладки графов, планарные графы
Формула Эйлера для плоских графов
Критерий планарности графа
Двойственные графы
6. Раскраски
Хроматические числа
Хроматические многочлены
Коэффициенты хроматических многочленов
7. Введение в алгоритмы
Алгоритмы и их сложность
Запись алгоритмов
Корневые и бинарные деревья
Сортировка массивов
8. Поиск в графе
Поиск в глубину
Алгоритм отыскания блоков и точек сочленения
Алгоритм отыскания компонент сильной связности в орграфе
Поиск в ширину
Алгоритм отыскания эйлеровой цепи в эйлеровом графе
9. Задача о минимальном остове
10. Пути в сетях
Постановка задачи
Общий случай. Алгоритм Форда—Беллмана
Cлучай неотрицательных весов. Алгоритм Дейкcтры
Случай бесконтурной сети
Задача о максимальном пути и сетевые графики
Задача о maxmin-пути
Задача о кратчайших путях между всеми парами вершин
11. Задача о максимальном потоке
Основные понятия и результаты
Алгоритм Форда—Фалкерсона
12. Паросочетания в двудольных графах
Основные понятия
Задача о наибольшем паросочетании. Алгоритм Хопкрофта—Карпа
Задача о полном паросочетании. Алгоритм Куна
Задача о назначениях. Венгерский алгоритм
13. Задача коммивояжера
Основные понятия
Алгоритм отыскания гамильтоновых циклов
Алгоритмы решения задачи коммивояжера с гарантированной оценкой точности
Решение задачи коммивояжера методом ветвей и границ


(далее…)

Дискретная математика для инженера

Полное название: Дискретная математика для инженера


(далее…)

Конечные автоматы.

Полное название: Теория автоматов

Описание материала:
ВВЕДЕНИЕ.
Глава 1. АБСТРАКТНЫЙ АВТОМАТ.
1.1. Модель абстрактного автомата
Контрольные вопросы
1.2. Типы конечных автоматов
Контрольные вопросы.
1.3. Описание автомата
Контрольные вопросы и задачи
1.4. Эквивалентность автоматов.
Контрольные вопросы и задачи
1.5. Эквивалентность состояний детерминированного автомата.
Контрольные вопросы и задачи.
1.6. Алгоритм минимизации детерминированного автомата.
Контрольные вопросы и задачи
1.7. Эквивалентность состояний недетерминированного автомата.
Контрольные вопросы и задачи.
1.8. Алгоритм минимизации недетерминированного автомата.
Контрольные вопросы и задачи.
Глава 2. Структурный автомат.
2.1. Произведение автоматов.
2.1.1. Последовательное соединение двух автоматов
2.1.2. Параллельное соединение двух автоматов
2.1.3. Обратная связь двух автоматов
2.2. Сумма автоматов
Контрольные вопросы и задачи.
2.3. Автоматное моделирование алгоритмов.
2.3.1. Автомат Мили — модель управляющего автомата.
2.3.2. Автомат Мура — модель управляющего автомата.
Контрольные вопросы и задачи.
2.4. Микропрограммный автомат.
2.5. Магазинный автомат.
Глава 3. Логическое проектирование автоматов
3.1. Логическое проектирование структурного автомата.
3.2. Кодирование алфавитов.
3.3. Выбор комбинационных автоматов.
3.4. Выбор элементов памяти — двоичной задержки.
3.5. Формирование функции выхода.
3.6. Формирование функции переходов.
3.7. Логическая схема автомата.
Индивидуальные задания
Предметный указатель
Литература


(далее…)

Л.А. Калужнин. Что такое математическая логика?

Полное название: Что такое математическая логика?

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


(далее…)

Берж. К. Теория графов и ее применение

Полное название: Теория графов и ее применение. Берж К.

Описание материала:
Книга К.Бержа — первая по теории графов на русском языке. Между тем в последние годы интерес к теории резко усилился как со стороны математиков, так и представителей самых различных дисциплин. Это объясняется тем, что методы теории графов успешно решают многочисленные задачи теории электричесих цепей, теории транспортных цепей, теории информации, кибернетики и др. В книге Бержа теория графов излагается последовательно, начиная с самых основ. Предпологается, что читатель обладает весьма скромными математическими познаниями, хотя и имеет некоторую математическую культуру. В текст включены многочисленные, зачастную забавные, примеры. Книга может быть использоана для первоначального изучения теории графов. Математики-профессионалы также найдут в ней много интересного.


(далее…)