Дискретная математика — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Подсчёт числа объектов)
(Отношения)
(Метки: правка с мобильного устройства, правка из мобильной версии)
 
(не показано 8 промежуточных версий 5 участников)
Строка 3: Строка 3:
  
 
Символом <tex> \star </tex> помечены дополнительные темы (возможно, сложные), которые не были подробно рассмотрены (или вообще рассмотрены) в рамках курса.
 
Символом <tex> \star </tex> помечены дополнительные темы (возможно, сложные), которые не были подробно рассмотрены (или вообще рассмотрены) в рамках курса.
 +
 +
[https://youtube.com/andrewzta видеолекции Андрея Станкевича]
  
 
== Отношения ==
 
== Отношения ==
 +
*[[Множества]]
 
*[[Определение отношения]]
 
*[[Определение отношения]]
 
*[[Композиция отношений|Композиция отношений, степень отношения, обратное отношение]]
 
*[[Композиция отношений|Композиция отношений, степень отношения, обратное отношение]]
Строка 42: Строка 45:
 
*[[Метод Лупанова синтеза схем]]
 
*[[Метод Лупанова синтеза схем]]
 
*[[Представление булевых функций линейными программами]]
 
*[[Представление булевых функций линейными программами]]
 +
*[[Нижняя оценка размера схем из функциональных элементов]]
 
*[[Cумматор]]
 
*[[Cумматор]]
 
*[[Каскадный сумматор]]
 
*[[Каскадный сумматор]]
Строка 115: Строка 119:
 
* [[Конструирование комбинаторных объектов и их подсчет]]
 
* [[Конструирование комбинаторных объектов и их подсчет]]
 
* [[Подсчет деревьев]]
 
* [[Подсчет деревьев]]
 +
* [[Метод производящих функций]]
  
 
=== Свойства комбинаторных объектов ===
 
=== Свойства комбинаторных объектов ===
Строка 125: Строка 130:
 
* [[Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП]]
 
* [[Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП]]
  
== [[Производящая функция]] ==
+
=== Производящие функции  ===
 +
* [[Производящая функция]]
 
* [[Арифметические действия с формальными степенными рядами]]
 
* [[Арифметические действия с формальными степенными рядами]]
 
* [[Теорема о связи между рациональностью производящей функции и линейной рекуррентностью задаваемой ей последовательности]]
 
* [[Теорема о связи между рациональностью производящей функции и линейной рекуррентностью задаваемой ей последовательности]]
 +
* [[Асимптотическое поведение последовательности, заданной рекуррентным соотношением]]
 
* [[Использование производящих функций для доказательства тождеств]]
 
* [[Использование производящих функций для доказательства тождеств]]
 
* [[Производящие функции нескольких переменных]]
 
* [[Производящие функции нескольких переменных]]
Строка 140: Строка 147:
 
* [[Уравнение Лагранжа и теорема Лагранжа]]
 
* [[Уравнение Лагранжа и теорема Лагранжа]]
 
*[[Асимптотика коэффициентов функций, связанных между собой уравнением Лагранжа]]
 
*[[Асимптотика коэффициентов функций, связанных между собой уравнением Лагранжа]]
 +
* [[Обращение Лагранжа]]
 +
* [[Автокорреляционный многочлен]]

Текущая версия на 23:04, 16 июня 2021

Убедительная просьба читать правила оформления вики-конспектов.

Символом [math] \star [/math] помечены дополнительные темы (возможно, сложные), которые не были подробно рассмотрены (или вообще рассмотрены) в рамках курса.

видеолекции Андрея Станкевича

Отношения[править]

Булевы функции[править]

Схемы из функциональных элементов[править]

Представление информации[править]

Алгоритмы сжатия[править]

Комбинаторика[править]

Комбинаторные объекты[править]

Генерация комбинаторных объектов[править]

Подсчёт числа объектов[править]

Свойства комбинаторных объектов[править]

Производящие функции[править]