All Git Users → alexanderskulikov

1 open source projects by alexanderskulikov

[ Open user page on Github ]

1. discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

✭ 98

Jupyter Notebook snippets algorithms logic probability mathematics coursera recursion discrete-mathematics recursive combinatorics ilp invariants bayes sat-solver proofs induction sat ilp-solver

1-1 of 1 user projects