Программа курса
1. Введение в динамику
2. Задача о кузнечике
3. Задача о рюкзаке
4. Поиск кратчайшего пути
5. Мемоизация
Обозначения в курсе
$$\exists$$ - квантор существования (читать как "существует")
$$\forall$$ - квантор единственности (читать как "для всех")
$$:$$ в выражениях после кванторов следует читать как "таких, что"
$$\hookrightarrow$$ в выражениях после кванторов следует читать как "выполняется"