discrete-mathematics topic
CF-Matematicas
Recursos de Matemáticas en Código Facilito
problem-solving-class-lectures
Lectures for the "Problem Solving" Class at Nanjing University.
Dendriform.jl
Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees
MultilayerGraphs.jl
A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.
hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
ifmo-kt
Практические задания. Университет ИТМО, кафедра КТ
Book_About_Quadratization
Open collaborative book on quadratization in discrete optimization and quantum mechanics.
DiscreteMathProject
Discrete Mathematics Project, First Year - Dept. of Computer Science.
Software_Engineering_State_Exam
Software Engineering @ FMI
discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University