Все публикации

1:14:33

ДМ 4 семестр 13 лекция: Перечислимые свойства языков. Теорема Райса-Шапиро

1:31:20

ДМ 2 семестр 13 лекция: Эквивалентность КСГ и МП-автоматов. Лемма о разрастании для КС языков.

1:23:53

ДМ 2 семестр 12 лекция: Нормальная форма Хомского. Алгоритм Кока-Янгера-Касами.

1:29:42

ДМ 4 семестр 11 лекция: Машина Тьюринга и другие абстрактные вычислители

1:17:44

ДМ 2 семестр 11 лекция: Контекстно-свободные грамматики

0:57:38

ДМ 4 семестр 10 лекция: Теорема о рекурсии; программы, использующие свой исходный код

1:27:32

ДМ 2 семестр 10 лекция: Уравнения в регулярных выражениях. Алгоритм Хопкрофта.

1:26:12

ДМ 4 семестр 9 лекция: Свойства языков и теорема Успенского-Райса

1:26:57

ДМ 2 семестр 9 лекция: Минимизация ДКА. Леммао разрастании

1:29:41

ДМ 4 семестр 8 лекция: Теория вычислимости: разрешимые и перечислимые языки

1:25:56

ДМ 2 семестр 8 лекция: НКА. Эквивалентность автоматов и регулярных выражений

1:25:46

ДМ 4 семестр 7 лекция: Производящие функции Дирихле

1:18:29

ДМ 2 семестр 7 лекция: Теория формальных языков: регулярные и автоматные языки

1:28:32

ДМ 4 семестр 7 лекция: Формула обращения Лагранжа. ПФ нескольких переменных.

1:20:56

ДМ 4 семестр 6 лекция: Помеченные комб. объекты и экспоненциальные производящие функции

1:25:50

ДМ 4 семестр 5 лекция: ПФ для регулярных языков, автокорреляция, разбиения на слагаемые

1:22:39

ДМ 2 семестр 5 лекция: Марковские цепи. Поглощение

1:30:48

ДМ 4 семестр 3 лекция: Явные формулы и асимптотические оценки линейных рекуррент

1:31:41

ДМ 4 семестр 2 лекция: Линейные рекурренты и рациональные ПФ

1:30:12

ДМ 2 семестр 2 лекция: Дискретные случайные величины

1:08:25

ДМ 4 семестр 1 лекция: Производящие функции: основные определения

1:22:19

ДМ 2 семестр 1 лекция: Введение в дискретную теорию вероятностей

1:23:22

ДМ 3 семестр 14 лекция: Пересечение матроидов

0:36:38

ДМ 3 семестр 13 лекция: Аксиоматизация матроидов базами, циклами, рангами