boolean-algebra.md
|
Update from "c" to "c17".
|
2024-02-23 07:40:31 -07:00 |
equiv-trans.md
|
Fixup flashcards.
|
2024-02-25 06:50:52 -07:00 |
index.md
|
More tags. ASCII and c-style strings.
|
2024-02-12 10:18:47 -07:00 |
normal-form.md
|
Notes on textual substitution.
|
2024-02-12 11:27:16 -07:00 |
propositional.md
|
Fixup flashcards.
|
2024-02-25 06:50:52 -07:00 |
quantification.md
|
Integer encodings and discrete math.
|
2024-02-17 12:49:56 -07:00 |
short-circuit.md
|
Update from "c" to "c17".
|
2024-02-23 07:40:31 -07:00 |
truth-tables.md
|
Notes on textual substitution.
|
2024-02-12 11:27:16 -07:00 |