Notes@HKU by Jax

Notes@HKU by Jax

COMP2121 Notes for HKU Logic & Satisfiability Predicate Logic Proofs Sets and relations Functions Counting Probabilities Graph Theory

Notes

COMP2121 Notes for HKU

Discrete Mathematics

Work in progress!

Next

Logic & Satisfiability