Logic for Programmers extra credits
16 hours ago
- No proper newsletter this week due to being in Budapest for a conference.
- Supplements written to cover extra topics not included in the book 'Logic for Programmers'.
- Topics covered: computing orderings of concurrent processes, first-order logic and functions, Liskov's history rule in subtyping, and total/partial orders.
- Supplements are rough and may contain errors, but provide 2-3000 words of math content.