Дискретная математика

01 Statements 02 Predicates 03 Sets 04 Relations 05 Equivalence 06 Order 07 Functions 08 Cardinality 09 Propositional 10 Deduction 11 FOL 12 Boolean & SAT 13 Zhegalkin 14 Circuits 15 Codes 16 Compression

01 Graphs 02 Traversal 03 Matching 04 Planarity 05 DFA 06 NFA 07 Regex 08 Minimization 09 Turing 10 Universal 11 Halting 12 Decidability 13 Counting 14 Binomial 15 GenFun 16 Ramsey

m01 Логика m02 Дедукция m03 Логика предикатов m04 Множества m05 Отношения m06 Функции m07 Мощность m08 Порядок m09 Графы m10 Булева алгебра m11 Схемы m12 Алгебраические структуры m13 Коды и информация m14 SAT m15 SMT m16 Логическое программирование m17 Матроиды m18 Комбинаторика m19 Числа и криптография m20 Вероятность m21 Производящие функции m22 Конструкции чисел m23 Автоматы m24 КС-языки m25 Машины Тьюринга m26 Разрешимость m27 Лямбда-исчисление m28 Теория типов m29 За пределами N m30 Сложность m31 Абстрактная интерпретация m32 Верификация m33 Модальная логика m34 Интуиционизм m35 Нечёткие множества m36 Категории

HW 1 HW 2 HW 3 HW 4 HW 5 HW 6 HW 7 HW 8