Discrete-Math-HW5 Файл Program_code.ipynb содержит выполнение заданий из первой части. Файл Proofs.pdf содержит доказательства теорем.