April 24, 2026
Artificial Intelligence: A Modern Approach
Notes
The standard AI textbook. Search, logic, planning, learning, language.
Logic
Browse posts by tag
April 24, 2026
Book of Proof
Notes
Bridge from computation to proof. Sets, logic, induction, functions.
April 24, 2026
Logicomix: An Epic Search for Truth
Notes
Russell’s quest for logical foundations, told as a graphic novel.
December 17, 2025
Artificial Intelligence: A Modern Approach
Notes
Standard AI textbook covering search, logic, probabilistic reasoning, RL, multiagent systems, and more. Canonical comprehensive AI text.