 Joshua Potter
|
6ba651c41b
|
Reorganize types of logic and formal systems.
|
2024-07-21 06:16:08 -06:00 |
|
Joshua Potter
|
8530fbf45b
|
Additional notes on assignment and textual substitution.
|
2024-07-20 12:29:22 -06:00 |
|
Joshua Potter
|
2ab913f70e
|
Prep for general textual substitution and assignment.
|
2024-07-20 09:41:59 -06:00 |
|
Joshua Potter
|
0c34a108cb
|
Reorganize ARS and logic notes.
|
2024-07-19 03:35:22 -06:00 |
|
Joshua Potter
|
9acf6ca60e
|
Beta-equality and dialetheism.
|
2024-07-18 20:13:52 -06:00 |
|
Joshua Potter
|
af53475ee2
|
Notes on quotient sets, function kernels, and fibers.
|
2024-07-17 07:31:50 -06:00 |
|
Joshua Potter
|
65517ee3f8
|
Image operations and b-nf class characterization.
|
2024-07-10 20:47:37 -06:00 |
|
Joshua Potter
|
dc1ee27c43
|
Image operations and the assignment command.
|
2024-07-08 08:13:15 -06:00 |
|
Joshua Potter
|
42fc08e4c1
|
Lambda calculus, hashing, financing.
|
2024-06-29 09:59:48 -06:00 |
|
Joshua Potter
|
b9b680585e
|
beta-normal forms and ARSs.
|
2024-06-22 08:50:51 -06:00 |
|
Joshua Potter
|
50ec869da9
|
Hashing, relations, VCs.
|
2024-06-21 19:29:45 -06:00 |
|
Joshua Potter
|
6c9e34e192
|
Expand notes on function categories.
|
2024-06-15 09:38:37 -06:00 |
|
Joshua Potter
|
996f6c62da
|
Notes on n-ary relations.
|
2024-06-13 19:47:47 -06:00 |
|
Joshua Potter
|
420c0d3ab9
|
Fixup flashcards.
|
2024-06-13 06:35:10 -06:00 |
|
Joshua Potter
|
9045439d0b
|
Initial notes on open/closed addressing.
|
2024-06-12 07:35:13 -06:00 |
|
Joshua Potter
|
044b58e0c6
|
Condition code registers.
|
2024-06-09 07:58:36 -06:00 |
|
Joshua Potter
|
9c39cc2b49
|
Notes on equality and formal systems.
|
2024-06-03 07:55:29 -06:00 |
|
Joshua Potter
|
216ca47217
|
Bridge ideas on substition.
|
2024-05-29 20:40:30 -06:00 |
|
Joshua Potter
|
32b180c83d
|
Predicate transformer commands and git merge conflicts.
|
2024-05-27 14:01:40 -06:00 |
|
Joshua Potter
|
47519891a4
|
More algebra of set identities and truth table analogs.
|
2024-05-27 03:58:08 -06:00 |
|
Joshua Potter
|
a81dcdf176
|
LCRS trees and set theory classes.
|
2024-05-17 12:33:05 -06:00 |
|
Joshua Potter
|
037ea0f767
|
Propositional and predicate logic notes.
|
2024-05-17 10:45:50 -06:00 |
|
Joshua Potter
|
d04bd101ad
|
Heaps and science of programming notes.
|
2024-04-29 07:29:03 -06:00 |
|
Joshua Potter
|
262683515f
|
Sequences and MOV instructions.
|
2024-04-24 15:35:24 -06:00 |
|
Joshua Potter
|
f3b59d77f6
|
Ordered/binary trees.
|
2024-04-14 11:58:01 -06:00 |
|
Joshua Potter
|
fc2c614e81
|
Add notes on trees.
|
2024-03-24 07:14:26 -06:00 |
|
Joshua Potter
|
4b65764c89
|
Rename "References" section to "Bibliography".
|
2024-03-22 09:26:41 -06:00 |
|
Joshua Potter
|
3b6d9d89c5
|
Remove awk and add x86 history.
|
2024-03-20 11:33:13 -06:00 |
|
Joshua Potter
|
db1d3dd14e
|
Week of notes.
|
2024-03-15 13:58:15 -04:00 |
|
Joshua Potter
|
0c698311d5
|
Notes on sequences.
|
2024-03-01 07:12:43 -07:00 |
|
Joshua Potter
|
2a7400a255
|
Notes on CAS and git.
|
2024-02-29 08:52:05 -07:00 |
|
Joshua Potter
|
eb3cc5743a
|
Fixup flashcards.
|
2024-02-25 06:50:52 -07:00 |
|
Joshua Potter
|
4e4fce24f7
|
Add some bit shifting notes back.
|
2024-02-24 07:43:10 -07:00 |
|
Joshua Potter
|
92e691e937
|
Update from "c" to "c17".
|
2024-02-23 07:40:31 -07:00 |
|
Joshua Potter
|
a42ccc880a
|
More integer encoding notes.
|
2024-02-22 14:21:08 -07:00 |
|
Joshua Potter
|
2a2d8f8195
|
Restructured notes on combinatorics.
|
2024-02-19 07:05:13 -07:00 |
|
Joshua Potter
|
ae71557589
|
Integer encodings and discrete math.
|
2024-02-17 12:49:56 -07:00 |
|
Joshua Potter
|
30c6fb97b5
|
Additional notes on binary shifting.
|
2024-02-15 16:23:53 -07:00 |
|
Joshua Potter
|
448bf65909
|
Notes on textual substitution.
|
2024-02-14 12:09:07 -07:00 |
|
Joshua Potter
|
9529d00b38
|
Preliminary notes on Boolean algebra.
|
2024-02-12 14:42:11 -07:00 |
|
Joshua Potter
|
df45254a66
|
Notes on textual substitution.
|
2024-02-12 11:27:16 -07:00 |
|
Joshua Potter
|
3e012b49b5
|
More tags. ASCII and c-style strings.
|
2024-02-12 10:18:47 -07:00 |
|
Joshua Potter
|
1c1ffb989a
|
Add today's journal entry and update some flashcards.
|
2024-02-12 08:40:17 -07:00 |
|
Joshua Potter
|
99e807f807
|
Notes on normal forms.
|
2024-02-11 12:05:17 -07:00 |
|
Joshua Potter
|
49fbfb0ec5
|
Nest journal entries into months.
|
2024-02-11 05:33:02 -07:00 |
|
Joshua Potter
|
31c4a76589
|
Add C declarations and quantification.
|
2024-02-09 09:07:56 -07:00 |
|
Joshua Potter
|
c3d266882f
|
Algorithms and gawk.
|
2024-02-09 08:08:41 -07:00 |
|
Joshua Potter
|
00f23d5f94
|
Add notes on sorting algorithms and equiv-trans.
|
2024-02-08 07:02:59 -07:00 |
|
Joshua Potter
|
3e5bb9b9a7
|
More "Science of Programming" and `awk`.
|
2024-02-07 06:18:19 -07:00 |
|
Joshua Potter
|
14595b857d
|
Update titles of index pages.
|
2024-02-03 17:30:17 -07:00 |