logic
Логика с нуля
Высказывания, доказательства и строгие рассуждения — слой мышления, на котором стоят алгоритмы.
Начать трек →Высказывания, связки, таблицы истинности
Любое условие в программе — высказывание; И/ИЛИ/НЕ и импликация — вся грамматика корректных ветвлений.Аргументы, кванторы, индукция
Корректные формы рассуждений, ∀/∃ и индукция — ровно те инструменты, на которых держатся инварианты циклов и рекурсия.Множества и отношения
Множество — это принадлежность и ничего больше: строим множества, связываем их и видим типы и коллекции в коде как множества со структурой.Техники доказательства
Четыре приёма доказывают почти всё: прямая цепочка, контрапозиция, противоречие и контрпример — код-ревью использует все четыре.Рекурсия и рекурренты
Рекурсивное определение — база плюс правило через меньшее себя; разверни рекурренту, чтобы посчитать работу, индукция докажет корректность.Комбинаторные рассуждения
Счёт — два правила, применённые аккуратно: перемножай независимые выборы, складывай непересекающиеся случаи; принцип Дирихле и инварианты завершают набор.Проекты по этому треку
Guided-проекты, которые закрепляют изученное здесь.
CLI-утилита для текста
Собери небольшую утилиту командной строки, читающую текст из stdin или файла, трансформирующую (фильтр, подсчёт, нарезка) и компонующуюся через пайпы — путь Unix, без фреймворка.
Прувер по таблицам истинности
Преврати логику, которую ты изучал на бумаге, в работающий движок: распарси формулу пропозициональной логики в дерево, обойди все наборы значений и построй её таблицу истинности, а затем реши, тавтология ли она, выполнима ли и эквивалентна ли другой формуле. Логика — это место, где строгость становится механической, и написать машину, которая проверяет рассуждение, — самый верный способ понять, почему рассуждение верно. В итоге у тебя будет маленький, но честный проверяльщик теорем, которому ты доверяешь, потому что собрал каждый его шаг сам.
React с нуля до senior
Как React рендерит на самом деле — reconciliation, батчинг состояния, эффекты, мемоизация — глубже туториалов.