474 B
474 B
title |
---|
2024-05-13 |
- Anki Flashcards
- KoL
- Sheet Music (10 min.)
- Go (1 Life & Death Problem)
- Korean (Read 1 Story)
- Notes on set/graphs#Subgraphs and induced subgraphs.
- Notes on remotes.
- Read through chapter 7 of "The Science of Programming", touching on the
wp
predicate transformer. - Read chapter 1 of "Elements of Set Theory". Made some progress on chapter 2 which touches on the basic axiomatic foundations.