From 0136ab29cf5203ab4b414c07beb2b66ec49096cd Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Sat, 3 Aug 2024 02:02:21 -0600 Subject: [PATCH] Flashcard fixups. --- .../plugins/obsidian-to-anki-plugin/data.json | 18 +++++++++++------- notes/_journal/{ => 2024-07}/2024-07-30.md | 0 notes/_journal/2024-07/2024-07-31.md | 9 +++++++++ notes/_journal/2024-08-03.md | 9 +++++++++ notes/_journal/2024-08/2024-08-01.md | 9 +++++++++ notes/_journal/2024-08/2024-08-02.md | 9 +++++++++ notes/algebra/boolean.md | 4 ++-- notes/algebra/set.md | 2 +- notes/encoding/integer.md | 2 +- notes/hashing/addressing.md | 2 +- notes/ontology/rdf/index.md | 8 ++++---- notes/set/relations.md | 6 +++--- 12 files changed, 59 insertions(+), 19 deletions(-) rename notes/_journal/{ => 2024-07}/2024-07-30.md (100%) create mode 100644 notes/_journal/2024-07/2024-07-31.md create mode 100644 notes/_journal/2024-08-03.md create mode 100644 notes/_journal/2024-08/2024-08-01.md create mode 100644 notes/_journal/2024-08/2024-08-02.md diff --git a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json index 1971eee..60d9057 100644 --- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json +++ b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json @@ -277,7 +277,7 @@ "filesystems/cas.md": "d41c0d2e943adecbadd10a03fd1e4274", "git/objects.md": "03c452a26374b1a99983157f236c5a3d", "git/index.md": "ca842957bda479dfa1170ae85f2f37b8", - "encoding/integer.md": "f9786eab7f64ec63272dcca010961fe8", + "encoding/integer.md": "54130a02e1fc0a6033ce6ab7a781b0ae", "_journal/2024-02-29.md": "f610f3caed659c1de3eed5f226cab508", "_journal/2024-02/2024-02-28.md": "7489377c014a2ff3c535d581961b5b82", "_journal/2024-03-01.md": "a532486279190b0c12954966cbf8c3fe", @@ -449,7 +449,7 @@ "_journal/2024-05-13.md": "71eb7924653eed5b6abd84d3a13b532b", "_journal/2024-05/2024-05-12.md": "ca9f3996272152ef89924bb328efd365", "git/remotes.md": "cbe2cd867f675f156e7fe71ec615890d", - "programming/pred-trans.md": "a1e486d3665a7fab7be77120cd572b1c", + "programming/pred-trans.md": "2bf52362367f22f23353fcc1c8069b83", "set/axioms.md": "063955bf19c703e9ad23be2aee4f1ab7", "_journal/2024-05-14.md": "f6ece1d6c178d57875786f87345343c5", "_journal/2024-05/2024-05-13.md": "71eb7924653eed5b6abd84d3a13b532b", @@ -488,7 +488,7 @@ "_journal/2024-05-27.md": "b36636d10eab34380f17f288868df3ae", "_journal/2024-05/2024-05-26.md": "abe84b5beae74baa25501c818e64fc95", "algebra/set.md": "f7a775cd9f6bf0b3a127fc9c3b9a3c15", - "algebra/boolean.md": "ee41e624f4d3d3aca00020d9a9ae42c8", + "algebra/boolean.md": "fc47edb7d0080b73ce1ce0d3e0e16d7d", "git/merge-conflicts.md": "761ad6137ec51d3877f7d5b3615ca5cb", "_journal/2024-05-28.md": "0f6aeb5ec126560acdc2d8c5c6570337", "_journal/2024-05/2024-05-27.md": "e498d5154558ebcf7261302403ea8016", @@ -512,7 +512,7 @@ "_journal/2024-06/2024-06-04.md": "52b28035b9c91c9b14cef1154c1a0fa1", "_journal/2024-06-06.md": "3f9109925dea304e7172df39922cc95a", "_journal/2024-06/2024-06-05.md": "b06a0fa567bd81e3b593f7e1838f9de1", - "set/relations.md": "ac51368a5cd0a4cc02c3f608af78cf53", + "set/relations.md": "7ed656318eb661b9cc65d4007311f392", "_journal/2024-06-07.md": "795be41cc3c9c0f27361696d237604a2", "_journal/2024-06/2024-06-06.md": "db3407dcc86fa759b061246ec9fbd381", "_journal/2024-06-08.md": "b20d39dab30b4e12559a831ab8d2f9b8", @@ -600,7 +600,7 @@ "_journal/2024-07-13.md": "13b5101306b5542b8a1381a6477378ca", "_journal/2024-07/2024-07-12.md": "6603ed8a3f9a9e87bf40e81b03e96356", "hashing/static.md": "3ec6eaee73fb9b599700f5a56b300b83", - "hashing/addressing.md": "e97c1905cdf5787d94c857fb5f22be8a", + "hashing/addressing.md": "a5245396e39e11a012e786232b09a75b", "ontology/index.md": "0994403dcd84415f1459752129b55f65", "ontology/permissivism.md": "643e815a79bc5c050cde9f996aa44ef5", "ontology/properties.md": "91ece501551c444afcd119d7197958ef", @@ -652,7 +652,7 @@ "_journal/2024-07-28.md": "8a2393673132ac57a86b3b528bfc4a16", "_journal/2024-07/2024-07-27.md": "7c48690746d8320494e29e92390eb6ee", "ontology/rdf/uri.md": "5d9f355f314a54c5fb5099d751070656", - "ontology/rdf/index.md": "df9ce690a970cfca741b828cf1255146", + "ontology/rdf/index.md": "4875a042ed4e2ff0448e03bb17f1a736", "ontology/philosophy/permissivism.md": "643e815a79bc5c050cde9f996aa44ef5", "ontology/philosophy/nominalism.md": "46245c644238157e15c7cb6def27d90a", "ontology/philosophy/index.md": "6c7c60f91f78fdc1cdd8c012b1ac4ebd", @@ -661,7 +661,11 @@ "_journal/2024-07/2024-07-28.md": "ff5dcfb3dc1b5592894363414e20b02f", "_journal/2024-07-30.md": "025194b9b770b56a81b5a52d96a305f2", "_journal/2024-07/2024-07-29.md": "ab496a55aacc60d9456378920c599871", - "data-structures/binary-search-tree.md": "c2076aa12f7afacc96fa504dd89dae5e" + "data-structures/binary-search-tree.md": "c2076aa12f7afacc96fa504dd89dae5e", + "_journal/2024-08-01.md": "2e3da352cfbaf29b6b49e3c3a4f090df", + "_journal/2024-07/2024-07-31.md": "d397c5a4d42660eeaa290aa8316d55c1", + "_journal/2024-07/2024-07-30.md": "025194b9b770b56a81b5a52d96a305f2", + "_journal/2024-08-02.md": "24648f61c675c1c52e4cb19cbac6f0dc" }, "fields_dict": { "Basic": [ diff --git a/notes/_journal/2024-07-30.md b/notes/_journal/2024-07/2024-07-30.md similarity index 100% rename from notes/_journal/2024-07-30.md rename to notes/_journal/2024-07/2024-07-30.md diff --git a/notes/_journal/2024-07/2024-07-31.md b/notes/_journal/2024-07/2024-07-31.md new file mode 100644 index 0000000..7eb55fe --- /dev/null +++ b/notes/_journal/2024-07/2024-07-31.md @@ -0,0 +1,9 @@ +--- +title: "2024-07-31" +--- + +- [x] Anki Flashcards +- [x] KoL +- [ ] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/_journal/2024-08-03.md b/notes/_journal/2024-08-03.md new file mode 100644 index 0000000..fbb44c0 --- /dev/null +++ b/notes/_journal/2024-08-03.md @@ -0,0 +1,9 @@ +--- +title: "2024-08-03" +--- + +- [ ] Anki Flashcards +- [x] KoL +- [ ] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/_journal/2024-08/2024-08-01.md b/notes/_journal/2024-08/2024-08-01.md new file mode 100644 index 0000000..ff05475 --- /dev/null +++ b/notes/_journal/2024-08/2024-08-01.md @@ -0,0 +1,9 @@ +--- +title: "2024-08-01" +--- + +- [ ] Anki Flashcards +- [x] KoL +- [x] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/_journal/2024-08/2024-08-02.md b/notes/_journal/2024-08/2024-08-02.md new file mode 100644 index 0000000..78339dc --- /dev/null +++ b/notes/_journal/2024-08/2024-08-02.md @@ -0,0 +1,9 @@ +--- +title: "2024-08-02" +--- + +- [x] Anki Flashcards +- [x] KoL +- [x] OGS +- [ ] Sheet Music (10 min.) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/algebra/boolean.md b/notes/algebra/boolean.md index cf56741..22dc306 100644 --- a/notes/algebra/boolean.md +++ b/notes/algebra/boolean.md @@ -14,7 +14,7 @@ tags: %%ANKI Basic What name is given to $\land$ operands? -Back: Conjuncts +Back: Conjuncts. Reference: Gries, David. *The Science of Programming*. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981. END%% @@ -30,7 +30,7 @@ END%% %%ANKI Basic What name is given to $\lor$ operands? -Back: Disjuncts +Back: Disjuncts. Reference: Gries, David. *The Science of Programming*. Texts and Monographs in Computer Science. New York: Springer-Verlag, 1981. END%% diff --git a/notes/algebra/set.md b/notes/algebra/set.md index afd6de9..f4c353b 100644 --- a/notes/algebra/set.md +++ b/notes/algebra/set.md @@ -659,7 +659,7 @@ END%% %%ANKI Basic -Which law of the algebra of sets is represented by e.g. $C - (A \cup B) = (C - A) \cap (C - B)$? +Which law of the algebra of sets is represented by the following? $$C - (A \cup B) = (C - A) \cap (C - B)$$ Back: De Morgan's Law. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). diff --git a/notes/encoding/integer.md b/notes/encoding/integer.md index d1adaf4..b2dceb7 100644 --- a/notes/encoding/integer.md +++ b/notes/encoding/integer.md @@ -814,7 +814,7 @@ For two's-complement, use **sign extension** to convert numbers to larger types. %%ANKI Cloze -Use {sign} extension to convert {two's-complement} numbers to larger types. +Use {sign} extension to convert numbers encoded in {two's-complement} to larger types. Reference: Bryant, Randal E., and David O'Hallaron. *Computer Systems: A Programmer's Perspective*. Third edition, Global edition. Always Learning. Pearson, 2016. END%% diff --git a/notes/hashing/addressing.md b/notes/hashing/addressing.md index 0d7710a..8ed67e4 100644 --- a/notes/hashing/addressing.md +++ b/notes/hashing/addressing.md @@ -565,7 +565,7 @@ Sequential examination of slots during dictionary operations is called **probing %%ANKI Basic Consider an open addressing hash table of $m$ slots. What is its hash function's domain? -Back: Given universe of keys $U$, $U \times \{0, 1, \ldots, m\}$. +Back: Given universe of keys $U$, $U \times \{0, 1, \ldots, m - 1\}$. Reference: Thomas H. Cormen et al., Introduction to Algorithms, Fourth edition (Cambridge, Massachusett: The MIT Press, 2022). END%% diff --git a/notes/ontology/rdf/index.md b/notes/ontology/rdf/index.md index 6da553f..a5dbcbb 100644 --- a/notes/ontology/rdf/index.md +++ b/notes/ontology/rdf/index.md @@ -61,7 +61,7 @@ END%% %%ANKI Basic What three components make up an RDF triple? -Back: The subject, predicate, and verb. +Back: The subject, predicate, and object. Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020. END%% @@ -75,21 +75,21 @@ END%% %%ANKI Cloze -A {subject} is to RDF as a record is to a relation. +A {subject} is to a semantic triple as a row number is to a relation record. Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020. END%% %%ANKI Cloze -A {predicate} is to RDF as an attribute is to a relation. +A {predicate} is to a semantic triple as an attribute is to a relation record. Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020. END%% %%ANKI Cloze -An {object} is to RDF as a value is to a relation. +An {object} is to a semantic triple as a value is to a relation record. Reference: Allemang, Dean, James A. Hendler, and Fabien L. Gandon. _Semantic Web for the Working Ontologist_. 3e ed. ACM Books 33. New York: Association for computing machinery, 2020. END%% diff --git a/notes/set/relations.md b/notes/set/relations.md index af7bee6..c1cab93 100644 --- a/notes/set/relations.md +++ b/notes/set/relations.md @@ -1172,7 +1172,7 @@ END%% %%ANKI Basic -Given $R = \{\langle a, a \rangle\}$, is $R$ an equivalence relation? +Is $R = \{\langle a, a \rangle\}$ an equivalence relation? Back: N/A. The question must provide a reference set. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). @@ -1180,7 +1180,7 @@ END%% %%ANKI Basic -Given $R = \{\langle a, a \rangle\}$, is $R$ an equivalence relation on $\{a\}$? +Is $R = \{\langle a, a \rangle\}$ an equivalence relation on $\{a\}$? Back: Yes. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977). @@ -1188,7 +1188,7 @@ END%% %%ANKI Basic -Given $R = \{\langle a, a \rangle, \langle b, c \rangle\}$, is $R$ an equivalence relation on $\{a\}$? +Is $R = \{\langle a, a \rangle, \langle b, c \rangle\}$ an equivalence relation on $\{a\}$? Back: No. Reference: Herbert B. Enderton, *Elements of Set Theory* (New York: Academic Press, 1977).