- •Введение
- •1. Теория множеств
- •1.1. Основные понятия
- •1.2. Операции над множествами
- •1.3. Алгебраические свойства операций над множествами
- •1.4. Нечёткие множества
- •2. Элементы комбинаторики
- •2.1. Основные правила комбинаторики
- •2.2. Выборки элементов без повторений
- •2.3. Выборки элементов с повторениями
- •2.4. Объединение комбинаторных конфигураций
- •2.5. Бином Ньютона
- •3. Отношения на множествах
- •3.1. Декартово произведение множеств
- •3.2. Булев куб и его свойства
- •3.3. Понятие отношения
- •3.4. Операции над отношениями
- •3.5. Свойства отношений на множестве
- •3.6. Отношения эквивалентности, толерантности и порядка
- •3.7. Нечеткие отношения
- •3.8. Понятие отображения
- •3.9. Алгебраическая операция
- •3.10. Общие сведения об алгебраических системах
- •4 Булевы функции
- •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. Теорема Поста
- •4.17. Нечеткая логика
- •5. Многозначные функции
- •5.1. Функции и формулы k-значной логики
- •5.2. Полнота и замкнутость функций k-значной логики
- •5.3. Особенности k – значной логики
- •6.. Основные понятия теории графов.
- •6.1. Задачи теории графов.
- •6.2. Основные определения.
- •6.3. Степени вершин графа.
- •6.4. Изоморфизм графов.
- •6.5. Матричные способы задания графов.
- •6.6. Основные операции над графами.
- •6.7. Маршруты в графах
- •6.8. Связность в графах.
- •Связность и матрица смежности графа.
- •6.9. Матрица взаимодостижимости.
- •6.10. Деревья Свободные деревья.
- •Ориентированные, упорядоченные и бинарные деревья.
- •6.11. Эйлеровы графы.
- •6.12 Гамильтоновы графы.
- •6.13. Планарные графы.
- •6.14. Потоки в сетях. Основные определения.
- •Теорема Форда и Фалкерсона.
- •Алгоритм построения максимального потока в сети.
- •7. Конечные автоматы
- •7.1. Понятие конечного автомата Общие сведения о конечных автоматах
- •7.2. Абстрактное определение конечного автомата
- •7.3. Автоматная функция и её моделирование Понятие ограниченно детерминированной функции
- •Моделирование автоматной функции с помощью схемы из функциональных элементов и задержки
- •7.4. Эксперименты с автоматами
- •8. Рекуррентные уравнения
- •8.1. Определение рекуррентного уравнения/ Решение линейного однородного рекуррентного уравнения
- •8.2. Решение линейного неоднородного рекуррентного уравнения
- •8.3. Решение рекуррентного уравнения для чисел Фибоначчи
- •Заключение
- •Библиографический список
- •Оглавление
- •1.Теория множеств 5
- •2 Элементы комбинаторики 14
- •3 Отношения на множествах 22
- •4. Булевы функции 42
- •5. Многозначные функции 64
- •6. Основные понятия теории графов 70
- •7. Конечные автоматы 106
- •8. Рекуррентные уравнения 120
- •394026 Воронеж, Московский просп., 14
8.3. Решение рекуррентного уравнения для чисел Фибоначчи
Последовательность чисел Фибоначчи задаётся рекуррентным уравнением , с двумя начальными условиями и . Это значит, что любой член этой последовательности, начиная с третьего члена, равен сумме двух её предыдущих членов. Таким образом, мы можем найти начальные члены этой последовательности. Это будут числа -1, 1, 2, 3, 5, 8, 13, 21 и т.д. Для того, чтобы определить любой член последовательности при больших её номерах, не проводя длительных арифметически расчётов целесообразно решить данное рекуррентное уравнение. Воспользуемся для этого выше приведённой теорией. С этой целью перепишем уравнение в следующем виде:
.
Анализ этого выражения показывает, что оно представляет собой линейное однородное рекуррентное уравнение второго порядка. Составляем для него характеристическое уравнение -
.
Его корни - . Следовательно, общее решение исходного рекуррентного уравнения имеет вид:
. (4)
Неизвестные константы и найдём из начальных условий. Для этого в полученную формулу сначала подставим значение , а затем . В результате получим систему линейных :алгебраических уравнений
.
Умножив второе уравнение на 2, получим . Отсюда . В результате система уравнений преобразуется к виду
.
Сложив эти два уравнения, получим:
,
а вычитая из первого уравнения второе, получим:
.
Подставив полученные значения и в формулу (4), получим окончательно:
.
Заключение
Данное пособие восполняет имеющиеся пробелы в учебной литературе по курсу дискретной математики.
Издание рекомендуется для работы студентов при самостоятельном изучении теоретического материала, на практических занятиях в качестве справочного пособия, а также при выполнении типовых расчетов и подготовки к зачетам и экзаменам, предусмотренных учебными планами по указанной дисциплине.
Пособие поможет более глубокому и полному усвоению студентами ученого материала разделов теории множеств, комбинаторики, булевых функций, графов, теории конечных автоматов, рекуррентных уравнений и будет способствовать эффективной организации учебного процесса по этой дисциплине.
Библиографический список
Биркгоф Г. Современная прикладная алгебра / Г. Биркгоф, Т. Барти. - М.: Мир, 1976. - 400с.
Деза Е.И., Модель Д.Л. Основы дискретной математики: Учебник.- М.; изд. «URSS», 2010.
Карпов Ю.Г. Теория автоматов: учебник для вузов / Ю.Г. Карпов. - СПб.: Питер, 2003.- 208с.
Криницкий Н.А. Алгоритмы вокруг нас / Н.А. Криницкий. –2-е. изд. - М.: Наука, 1984. – 224с.
Новиков Ф.А. Дискретная математика для программистов: учебник/Ф.А. Новиков. - СПб.: Питер, 2002.- 304с.
Просветов Г.И. Дискретная математика. Задачи и решения: Учебное пособие.- М. БИНОМ, 2008.
Столл Р. Множества, логика, аксиоматические теории /Р. Столл. - М.: Просвещение, 1968.- 231с.
Судоплатов С.В. Элементы дискретной математики: учебник/С.В. Судоплатов, Е.В. Овчинникова. – М.: ИНФРА-М, Новосибирск, Изд-во НГТУ, 2002. - 280 с.
Хаггарти Р. Дискретная математика для программистов.- М.ТЕХНОСФЕРА.- 2004.
Яблонский С.В. Введение в дискретную математику: учеб.пособие для вузов/С.В. Яблонский.– 3-е изд. М.: Высш. шк., 2002.– 384 с.