1. [x] Ациклический орграф. Теорема о монотонной нумерации.
2. [x] Схемы из функциональных элементов. Сложность и глубина схем. Способы построения схем в стандартном базисе.
3. [ ] Суперпозиция функций. Замыкание системы функций. Свойства замыкания. Полная система функций. Теорема сведения.
4. [ ] Функции, сохраняющие константы. Замкнутость классов 𝑇0, 𝑇1.