✖️ Discrete Math and Logic [WIP]

Binary Relations

#TODO: отображения и отношения и их свойства, транзитивное замыкание отношения, эквивалентность, отношения порядка

Logic

#TODO: логика высказываний, кванторы, метод математической индукции

Graph Theory

#TODO: основные понятия теории графов, лемма о рукопожатиях, критерий двудольности, оценки числа ребер, характеризация деревьев.