НЕФТЬ-ГАЗ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

Теперь на нашем сайте можно за 5 минут создать свежий реферат или доклад

Скачать книгу целиком можно на сайте: www.nglib.ru.

<< Прочее <<

Судоплатов С.В. Элементы дискретной математики

Скачать книгу здесь
Автор: Судоплатов С.В.
Название: Элементы дискретной математики
Год издания: 2002
УДК: 519.1
Число страниц: 280
Содержание книги:
§ 1.1. Множества и основные операции над ними
§ 1.2. Отношения. Функции. Взаимно однозначные соответствия
§ 1.3. Натуральные числа. Принцип математической индукции 23 § 1.4. Мощность множества. Конечные и бесконечные множества
§ 1.5. Матрица бинарного отношения. Специальные бинарные отношения
§ 1.6. Отношения эквивалентности и разбиения. Фактор-множества
§ 1.7. Отношения порядка
§ 1.8. Аксиомы теории множеств
§ 1.9. Задачи и упражнения
§ 2.1. Определения и примеры
§ 2.2. Морфизмы
§ 2.3. Подсистемы
§ 2.6. Решетки и булевы алгебры
§ 2.7. Идеалы и фильтры булевой алгебры
§ 2.8. Алгебры отношений и реляционные алгебры
§ 2.9. Задачи и упражнения
§ ЗД. Бесконечные числовые системы
§ 3.2. Системы счисления
§ 3.3. Компьютерная алгебра и численный анализ
§ 3.4. Списочное представление чисел
§ 3.5. Делимость в кольце целых чисел
§ 3.6. Разложение целых чисел на множители
§ 3.7. Целые числа по модулю т
§ 3.8. Линейные уравнения по модулю т. Китайская теорема об остатках
§ 3.9. Точные вычисления, использующие модулярную арифметику
§ 3.10. Задачи и упражнения
§ 4.1. Виды и способы задания графов
§ 4.2. Подграфы и части графа. Операции над графами
§ 4.3. Маршруты. Достижимость. Связность
§ 4.4. Расстояние в графах
§ 4.5. Нахождение кратчайших маршрутов
§ 4.6. Степени вершин
§ 4.7. Обходы графов
§ 4.8. Остовы графов
§ 4.9. Обходы графа -по глубине и ширине. Решение задачи коммивояжера
§4.10. Упорядоченные и бинарные деревья
§ 4.11. Фундаментальные циклы
§ 4.12. Разрезы
§ 4.13. Векторные пространства, связанные с графами
§ 4.14. Раскраски графов
§ 4.15. Планарные графы
§ 4.16. Задачи и упражнения
§ 5.1. Перестановки и подстановки
§ 5.2. Размещения и сочетания
§ 5.3. Размещения и сочетания с повторением
§ 5.4. Разбиения
§ 5.5. Метод включений и исключений
§ 5.6. Рекуррентные соотношения. Возвратные последовательности
§ 5.7. Задачи и упражнения
§ 6.1. Формулы алгебры логики
§ 6.3. Эквивалентность формул
§ 6.4. Дизъюнктивные и конъюнктивные нормальные формы 180 § 6.5. Двухэлементная булева алгебра. Фактор-алгебра алгебры формул
§ 6.6. Минимизация булевых функций в классе ДНФ
§ 6.7. Карты Карно
§ 6.8. Принцип двойственности для булевых функций
§ 6.9. Полные системы булевых функций
§ 6.10. Функциональная декомпозиция
§ 6.11. Логические сети
§ 6.12. Задачи и упражнения
§ 7.1. Определение формального исчисления
§' 7.2. Исчисление высказываний
§ 7.3. Алгоритмы проверки общезначимости и противоречивости в ИВ
§ 7.4. Формулы сигнатуры Е. Истинность формулы на алгебраической системе
§ 7.5. Исчисление предикатов сигнатуры
§ 7.6. Эквивалентность формул ИП . Пренексные нормальные формы
§ 7.7. Метод резолюций в ИПЕ
§ 7.8. Задачи и упражнения
Глоссарий:
2 а б в г д е ж з и к л м н о п р с т у ф х ц ч ш э я
Смотреть страницы:
1 2 30 57 84 111 138 165 192 219 246 273 279 280
Полнотекстовый поиск по книге:
Введите слово или фразу для поиска:
Близкие по содержанию книги:
Математическая логика и дискретная математика
Математика >> Анализ, высшая математика >> Прочее
Конечные графы и сети
Математика >> Вычислительная математика >> Теория графов
Комбинаторный анализ. Задачи и упражнения
Математика >> Задачники

Просмотреть оригинальные страницы книг в формате djvu можно на сайте: www.nglib.ru.


Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru