*author: niplav, created: 2021-01-28, modified: 2023-01-19, language: english, status: in progress, importance: 1, confidence: likely*

I sometimes read textbooks (broadly defined as "a book with exercises"), and create some stuff while reading them (e.g. making flashcards of facts & definitions in the textbook and solving some exercises). I collect that information here, to my and maybe others' benefit.

For flashcards, if I include the screenshot of an algorithm, the goal is not to learn the algorithm by heart in all detail, but have a good mental model of how it works.

- Flashcards
- Solutions
- Read
- p. 1-48

- Flashcards
- Missing: The
**tensor product**from p. 25 (though it's not*really*explained there)

- Missing: The
- Solutions to Exercises
- Chapter 2: 2.4 (i)-(iv), 2.6.1, 2.6.2, 2.6.3, 2.6.4

- Read:
- p. 1-26

- Flashcards
- p. 1-35

- Solutions to Exercises (wow, these are
*difficult*)- Chapter 1: 1.3

- Read:
- p. 1-35

- Flashcards
- p. 1-143
- Missing: A question about the difference between bisimilarity and bisimulation and simulation equivalence and trace equivalence

- Solutions to Exercises
- Chapter 1
- Chapter 2: 2.1-2.7, 2.12
- Chapter 3: 3.1-3.4, 3.7, 3.9, 3.12, 3.14, 3.17, 3.30, 3.37, 3.41
- Chapter 4: 4.1-4.3, 4.7, 4.9
- Chapter 5: 5.1-5.5, 5.7, 5.11
- Chapter 6: 6.4-6.5, 6.7, 6.9
- Missing: 2.8, 2.9, 2.10, 2.11, 2.13, 2.14, 3.5, 3.6, 3.8, 3.10, 3.11, 3.13, 3.15, 3.16, 3.18, 3.19, 3.20, 3.21, 3.22, 3.23, 3.24, 3.25, 3.26, 3.27, 3.28, 3.29, 3.31, 3.32, 3.33, 3.34, 3.35, 3.36, 3.38, 3.39, 3.40, 4.4, 4.5, 4.6, 4.8, 4.10, 4.11, 4.12, 4.13, 4.14, 4.15, 5.6, 5.8, 5.9, 5.10, 5.12, 5.13, 6.1, 6.2, 6.3, 6.6, 6.8, 6.10, 6.11, 6.12, 6.13, 6.14, 6.15, 6.16, 6.17, 6.18, 6.19

- Read:
- p. 1-157

- Flashcards
- p. 1-50
- p. 59-

- Solutions to Exercises
- Chapter 1: 1.1-1.2, 1.5-1.6
- Chapter 2: 2.2, 2.5, 2.7, 2.9

- Read:
- p. 1-50

- Flashcards
- Sections 1-15

- Solutions to Exercises
- Sections 3-15

- Read:
- p. 1-63

- Flashcards
- p. 1-55
- p. 166-167
- p. 309-317
- p. 322-323
- p. 692-699

- Solutions to Exercises
- Done: 1.5

- Read:
- p. 1-55
- p. 166-167
- p. 309-317
- p. 322-325
- p. 692-699

- No flashcards for this one
- Solutions to Exercises
- Sections 1-12 except 12.5

- Read:
- p. 1-152

- Flashcards
- p. 1-40
- p. 52-58

- Solutions to Exercises
- Chapter 1:
- Done: 1.1-1.3, 1.7

- Chapter 1:
- Read:
- p. 1-40
- p. 52-58

- Flashcards
- p. 1-41

- Solutions to Exercises: None yet.
- Read:
- p. 1-41

- Flashcards
- p. 1-14
- p. 37-40

- Solutions to Exercises: None yet.
- Read:
- p. 1-14
- p. 37-40

- Flashcards:
- p. 1-122
- p. 222-243 (missing: complexity of AC-3, special methods for global constraints)
- p. 254-280 (symbols in propositional logic not included)
- p. 305-335
- p. 342-355 (without the definition of a subsumption lattice)
- p. 357-359
- p. 365-370
- p. 500-544 (but not ENUMERATION-ASK)
- p. 586-601, but fixed-lag smoothing algorithms and formulae are missing
- p. 630-657 (although only the steps, but not the details of creating a decision network)
- p. 665-684 (conspicuously missing: contractions and the proof of the convergence of Bellman updates)
- p. 713-728
- p. 850-855

- Solutions to Exercises
- Chapter 1: 1.1, 1.3-1.5
- Chapter 2: 2.1, 2.3-2.4
- Chapter 3: 3.1-3.2
- Chapter 6: 6.1, 6.5
- Chapter 7: 7.10, 7.14
- Chapter 9: 9.9
- Chapter 13: 13.1-13.3, 13.5-13.6
- Chapter 14: 14.1
- Chapter 15: 15.13, 15.14
- Chapter 16: 16.1, 16.3, 16.15, 16.17
- Chapter 17: 17.3

- Read:
- p. 1-122
- p. 222-243
- p. 254-280
- p. 305-335
- p. 342-355
- p. 357-359
- p. 365-370
- p. 500-544
- p. 586-601
- p. 630-657
- p. 665-684
- p. 713-728
- p. 850-855

Strictly speaking, “Causality” by Judea Pearl is not a textbook, since it does not include exercises. It is nonetheless included here because I wrote flashcards for it.

- Flashcards
- p. 1-125
- p. 155-223

- Read:
- p. 1-125
- p. 155-223

- Flashcards
- p. 1-26

- Exercises
- Read:
- p. 1-26