My thoughts exactly. Where are the lambda functions, ADTs, lattices, pre/post conditions for formal derivations, category theory? Boolean logic?
Yeah it lacks a few layers. But the embedded ~basics are worth it
It's just math. In my view, CS theory is about computations as a whole. That is – formalisations, languages, algorithms, structures, and design principles.