3 ms·
it's just cs math, not cs?
by tester34 5y ago
it's just cs math, not cs?
- TuringTest 5y agoMy thoughts exactly. Where are the lambda functions, ADTs, lattices, pre/post conditions for formal derivations, category theory? Boolean logic?
- agumonkey 5y agoYeah it lacks a few layers. But the embedded ~basics are worth it
- dandanua 5y agoIt's just math. In my view, CS theory is about computations as a whole. That is – formalisations, languages, algorithms, structures, and design principles.