I think what the prior posting was getting at (and this too is fuzzy and doesn't capture the full scope of CS) is that most of what you mention is algorithmic.

I think what the prior posting was getting at (and this too is fuzzy and doesn't capture the full scope of CS) is that most of what you mention is algorithmic. Understanding, proving, and discussing algorithms requires describing and reasoning about computation using some form of notation. That doesn't require any particular programming language or pseudo-code notation. But it does require something to communicate with any kind of rigor.