cs441 notes
hi, you can find my notes for the fall 2025 cs441 here; note that some files are not completed.
this website and its contents are source available, and not licensed permissively. the copyright belongs to their respective creators.
| topic | source | |
|---|---|---|
| propositional logic | link | link |
| propositional equivalence | link | link |
| quantifiers and predicates | link | link |
| nested quantifiers | link | link |
| rules of inference | link | link |
| informal proofs | link | link |
| proof methods | link | link |
| sets | link | link |
| set identities | link | link |
| functions | link | link |
| summations | link | link |
| infinite cardinality | link | link |
| algorithms | link | link |
| growth rates | link | link |
| complexity | link | link |
| divisibility | link | link |
| integer representations | link | link |
| primes | link | link |
| congruences | link | link |
| cryptography | link | link |
| induction | link | link |